Module

Record.Extra

Package: purescript-record-extra
Repository: justinwoo/purescript-record-extra

#mapRecord Source

mapRecord :: forall row xs a b row'. RowToList row xs => MapRecord xs row a b () row' => (a -> b) -> Record row -> Record row'

#MapRecord Source

class MapRecord (xs :: RowList Type) (row :: Row Type) a b (from :: Row Type) (to :: Row Type) | xs -> row a b from to where

Members

mapRecordBuilder :: Proxy xs -> (a -> b) -> Record row -> Builder (Record from) (Record to)

Instances

(IsSymbol name, Cons name a trash row, MapRecord tail row a b from from', Lacks name from', Cons name b from' to) => MapRecord (Cons name a tail) row a b from to
MapRecord Nil row a b () ()

#ZipRecord Source

class ZipRecord (rla :: RowList Type) (ra :: Row Type) (rlb :: RowList Type) (rb :: Row Type) (from :: Row Type) (to :: Row Type) | rla -> ra from to, rlb -> rb from to where

Members

zipRecordImpl :: Proxy rla -> Record ra -> Proxy rlb -> Record rb -> Builder (Record from) (Record to)

Instances

ZipRecord Nil trashA Nil trashB () ()
(IsSymbol k, Cons k a trashA ra, Cons k b trashB rb, Cons k (Tuple a b) from' to, Lacks k from', ZipRecord ta ra tb rb from from') => ZipRecord (Cons k a ta) ra (Cons k b tb) rb from to

#zipRecord Source

zipRecord :: forall ta ra tb rb rc. RowToList ra ta => RowToList rb tb => ZipRecord ta ra tb rb () rc => Record ra -> Record rb -> Record rc

#Keys Source

class Keys (xs :: RowList Type)  where

Members

keysImpl :: Proxy xs -> List String

Instances

Keys Nil
(IsSymbol name, Keys tail) => Keys (Cons name ty tail)

#keys Source

keys :: forall g row rl. RowToList row rl => Keys rl => g row -> List String

#pickFn Source

pickFn :: forall r1 r2. Fn2 (Array String) (Record r1) (Record r2)

#pick Source

pick :: forall a r b l. Union b r a => RowToList b l => Keys l => Record a -> Record b

#slistKeys Source

slistKeys :: forall g tuples rl. SListToRowList tuples rl => Keys rl => g tuples -> List String

#SList Source

data SList

#SCons Source

data SCons :: Symbol -> SList -> SList

Instances

(SListToRowList sTail tail) => SListToRowList (SCons name sTail) (Cons name trash tail)

#SNil Source

data SNil :: SList

Instances

SListToRowList SNil Nil

#type (:::) Source

Operator alias for Record.Extra.SCons (right-associative / precedence 6)

#SListToRowList Source

class SListToRowList (xs :: SList) (rl :: RowList Type) | xs -> rl, rl -> xs

Instances

SListToRowList SNil Nil
(SListToRowList sTail tail) => SListToRowList (SCons name sTail) (Cons name trash tail)

#OrdRecord Source

class OrdRecord (rl :: RowList Type) row | rl -> row where

Members

compareRecordImpl :: Proxy rl -> Record row -> Record row -> Ordering

Instances

(IsSymbol name, Ord ty, Cons name ty trash row, OrdRecord tail row) => OrdRecord (Cons name ty tail) row
OrdRecord Nil row

#compareRecord Source

compareRecord :: forall row rl. RowToList row rl => OrdRecord rl row => Record row -> Record row -> Ordering

#SequenceRecord Source

class (Functor m) <= SequenceRecord (rl :: RowList Type) row from to m | rl -> row from to m where

Members

sequenceRecordImpl :: Proxy rl -> Record row -> m (Builder (Record from) (Record to))

Instances

(IsSymbol name, Cons name (m ty) trash row, Functor m, Lacks name (), Cons name ty () to) => SequenceRecord (Cons name (m ty) Nil) row () to m
(IsSymbol name, Cons name (m ty) trash row, Apply m, SequenceRecord tail row from from' m, Lacks name from', Cons name ty from' to) => SequenceRecord (Cons name (m ty) tail) row from to m
(Applicative m) => SequenceRecord Nil row () () m

#sequenceRecord Source

sequenceRecord :: forall row row' rl m. RowToList row rl => SequenceRecord rl row () row' m => Record row -> m (Record row')

Modules: Record.Extra