Module

Heterogeneous.Mapping

Package: purescript-heterogeneous
Repository: natefaubion/purescript-heterogeneous

#Mapping Source

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

Members

mapping :: f -> a -> b

Instances

Mapping (a -> b) a b

#MappingWithIndex Source

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

Members

mappingWithIndex :: f -> i -> a -> b

Instances

(Mapping f a b) => MappingWithIndex (ConstMapping f) ix a b

#ConstMapping Source

newtype ConstMapping f

Constructors

ConstMapping f

Instances

(Mapping f a b) => MappingWithIndex (ConstMapping f) ix a b

#HMap Source

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

Members

hmap :: f -> a -> b

Instances

(Functor f, Mapping fn a b) => HMap fn (App f a) (App f b)
(RowToList rin rl, MapRecordWithIndex rl (ConstMapping fn) rin rout) => HMap fn (Record rin) (Record rout)
(Mapping fn a a', Mapping fn b b') => HMap fn (Tuple a b) (Tuple a' b')

#HMapWithIndex Source

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

Members

hmapWithIndex :: f -> a -> b

Instances

(FunctorWithIndex i f, MappingWithIndex fn i a b) => HMapWithIndex fn (App f a) (App f b)
(RowToList rin rl, MapRecordWithIndex rl fn rin rout) => HMapWithIndex fn (Record rin) (Record rout)

#MapRecordWithIndex Source

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

Members

mapRecordWithIndexBuilder :: RLProxy xs -> f -> Builder (Record as) (Record bs)

Instances

(IsSymbol sym, MappingWithIndex f (SProxy sym) a b, MapRecordWithIndex rest f as bs', Cons sym a bx bs', Cons sym b bx bs) => MapRecordWithIndex (Cons sym a rest) f as bs
MapRecordWithIndex Nil fn as as

Modules: Heterogeneous.Folding; Heterogeneous.Mapping