HList-0.2: Heterogeneous lists

Safe HaskellNone

Data.HList.TypeCastGeneric2

Documentation

class TypeCast a b | a -> b, b -> a where

Methods

typeCast :: a -> b

Instances

TypeCast' () a b => TypeCast a b 

class TypeCast' t a b | t a -> b, t b -> a where

Methods

typeCast' :: t -> a -> b

Instances

TypeCast'' t a b => TypeCast' t a b 

class TypeCast'' t a b | t a -> b, t b -> a where

Methods

typeCast'' :: t -> a -> b

Instances

TypeCast'' () a a