Module

Heterogenous.Mapping

Package
purescript-heterogenous
Repository
natefaubion/purescript-heterogenous

#Mapping Source

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

Members

Instances

#MappingWithIndex Source

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

Members

Instances

#ConstMapping Source

newtype ConstMapping f

Constructors

Instances

#HMap Source

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

Members

Instances

#HMapWithIndex Source

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

Members

Instances

#MapRecordWithIndex Source

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

Members

Instances