Module
Record.Extra
- Package
- purescript-record-extra
- Repository
- justinwoo/purescript-record-extra
#MapRecord Source
#ZipRecord Source
#slistKeys Source
slistKeys :: forall rl tuples g. SListToRowList tuples rl => Keys rl => g tuples -> List String
#SCons Source
data SCons :: Symbol -> SList -> SList
Instances
(SListToRowList sTail tail) => SListToRowList (SCons name sTail) (Cons name trash tail)
#SListToRowList Source
class SListToRowList (xs :: SList) (rl :: RowList) | xs -> rl, rl -> xs
Instances
SListToRowList SNil Nil
(SListToRowList sTail tail) => SListToRowList (SCons name sTail) (Cons name trash tail)
#SequenceRecord Source
class (Applicative m) <= SequenceRecord rl row from to m | rl -> row from to m where
Members
Instances
(IsSymbol name, Applicative m, Cons name (m ty) trash row, 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 m rl row' row. RowToList row rl => Applicative m => SequenceRecord rl row () row' m => Record row -> m (Record row')
- Modules
- Record.
Extra