Record.ExtraSrghma.SequenceRecord

class SequenceRecord :: forall k. k -> Row Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass (Functor m) <= SequenceRecord rowList row from to m | rowList -> row from to m where

Members

• sequenceRecordImpl :: 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' rowList m. RowToList row rowList => SequenceRecord rowList row () row' m => Record row -> m (Record row')