Module

Heterogeneous.Mapping

#Mapping

class Mapping f a b | f a -> b where

Members

Instances

#MappingWithIndex

class MappingWithIndex f i a b | f i a -> b where

Members

Instances

#ConstMapping

newtype ConstMapping f

Constructors

Instances

#HMap

class HMap f a b | f a -> b where

Members

Instances

#HMapWithIndex

class HMapWithIndex f a b | f a -> b where

Members

Instances

#MapRecordWithIndex

class MapRecordWithIndex :: RowList Type -> Type -> Row Type -> Row Type -> Constraintclass MapRecordWithIndex (xs :: RowList Type) f (as :: Row Type) (bs :: Row Type) | xs f -> bs, xs -> as where

Members

Instances

#MapVariantWithIndex

class MapVariantWithIndex :: RowList Type -> Type -> Row Type -> Row Type -> Constraintclass MapVariantWithIndex (xs :: RowList Type) f (as :: Row Type) (bs :: Row Type) | xs f -> bs, xs -> as where

Members

Instances

#MapVariantFWithIndex

class MapVariantFWithIndex :: RowList (Type -> Type) -> Type -> Row (Type -> Type) -> Row (Type -> Type) -> Type -> Type -> Constraintclass MapVariantFWithIndex (xs :: RowList (Type -> Type)) f (as :: Row (Type -> Type)) (bs :: Row (Type -> Type)) x y | xs f x -> as bs y where

Members

Instances

Modules