Record.ExtraSrghma.ParSequenceRecord

parSequenceRecord :: forall row row' rl parM m. RowToList row rl => ParSequenceRecord rl row () row' parM m => Record row -> m (Record row')

class ParSequenceRecord :: forall k. k -> Row Type -> Row Type -> Row Type -> (Type -> Type) -> (Type -> Type) -> Constraintclass (Parallel parM m) <= ParSequenceRecord rl row from to parM m | rl -> row from to parM m where

Members

• parSequenceRecordImpl :: Proxy rl -> Record row -> parM (Builder (Record from) (Record to))

Instances

• (IsSymbol name, Cons name (m ty) trash row, Parallel parM m, Lacks name (), Cons name ty () to) => ParSequenceRecord (Cons name (m ty) Nil) row () to parM m
• (IsSymbol name, Cons name (m ty) trash row, ParSequenceRecord tail row from from' parM m, Lacks name from', Cons name ty from' to) => ParSequenceRecord (Cons name (m ty) tail) row from to parM m
• (Parallel parM m, Applicative parM) => ParSequenceRecord Nil row () () parM m