Record.ExtraSrghma.TraverseRecord

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

Members

• traverseRecordImpl :: Record rowF -> Record rowA -> m (Builder (Record from) (Record to))

Instances

• (Applicative m) => TraverseRecord Nil rowF rowA () () m
• (IsSymbol name, Cons name (a -> m b) trashF rowF, Cons name a trashA rowA, Apply m, TraverseRecord tail rowF rowA from from' m, Lacks name from', Cons name b from' to) => TraverseRecord (Cons name (a -> m b) tail) rowF rowA from to m

traverseRecord :: forall rowF rowA rowOut rowList m. RowToList rowF rowList => TraverseRecord rowList rowF rowA () rowOut m => Record rowF -> Record rowA -> m (Record rowOut)