Module

Heterogeneous.Mapping

Package
purescript-heterogeneous
Repository
natefaubion/purescript-heterogeneous

#Mapping Source

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

Members

Instances

#MappingWithIndex Source

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

Members

Instances

#ConstMapping Source

newtype ConstMapping f

Constructors

Instances

#HMap Source

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

Members

Instances

#HMapWithIndex Source

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

Members

Instances

#MapRecordWithIndex Source

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

Members

Instances

#MapVariantWithIndex Source

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

Members

Instances

#MapVariantFWithIndex Source

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

Members

Instances