Record.ExtraSrghma.SequenceRecord

class (Functor m) <= SequenceRecord rl 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 :: forall row row' rl m. RowToList row rl => SequenceRecord rl row () row' m => Record row -> m (Record row')