Module
Morello.Morello.Core
- Package
- purescript-morello
- Repository
- sigma-andex/purescript-morello
#applyPick Source
applyPick :: forall input err a. input -> PickE input err a -> ValidatedE err a
#dual Source
dual :: forall input err from to' to. Union from to' to => (input -> ValidatedE err (Record to')) -> Tuple input (ValidatedE err (Record from)) -> Tuple input (ValidatedE err (Record to))
#applyTemplate Source
applyTemplate :: forall input err rin rinRL rthru rthruRL rout routRL. RowToList rin rinRL => RowToList rthru rthruRL => RowToList rout routRL => FoldlRecord (HMapKRec (PickE input err) (V (NonEmptyArray err))) (Builder (Record ()) (Record ())) rinRL rin (Builder (Record ()) (Record rthru)) => FoldlRecord (HSequenceRec (V (NonEmptyArray err))) (V (NonEmptyArray err) (Builder (Record ()) (Record ()))) rthruRL rthru (V (NonEmptyArray err) (Builder (Record ()) (Record rout))) => ((PickE input err) ~> (ValidatedE err)) -> Record rin -> ValidatedE err (Record rout)
#cherry Source
cherry :: forall input err from to rin rinRL rthru rthruRL rout routRL. RowToList rin rinRL => RowToList rthru rthruRL => RowToList rout routRL => FoldlRecord (HMapKRec (PickE input err) (V (NonEmptyArray err))) (Builder (Record ()) (Record ())) rinRL rin (Builder (Record ()) (Record rthru)) => FoldlRecord (HSequenceRec (V (NonEmptyArray err))) (V (NonEmptyArray err) (Builder (Record ()) (Record ()))) rthruRL rthru (V (NonEmptyArray err) (Builder (Record ()) (Record rout))) => Union from rout to => Record rin -> Tuple input (ValidatedE err (Record from)) -> Tuple input (ValidatedE err (Record to))
#blossom Source
blossom :: forall input err output. Tuple input (ValidatedE err output) -> ValidatedE err output
#pick Source
pick :: forall (input :: Type) (err :: Type) (output :: Type) (chosen :: Type) (sym :: Symbol) (tlist :: TList). ParseSymbol sym tlist => ConstructBarlow tlist (Forget chosen) input input chosen chosen => Proxy sym -> (chosen -> V (NonEmptyArray err) output) -> PickE input err output
#core' Source
core' :: forall f s a err b. Traversable f => AGetter' s (f a) -> ValidateE a err b -> PickE s err (f b)
#core Source
core :: forall (f :: Type -> Type) (chosen :: Type) (input :: Type) (err :: Type) (output :: Type) (sym :: Symbol) (tlist :: TList). Traversable f => ParseSymbol sym tlist => ConstructBarlow tlist (Forget (f input)) chosen chosen (f input) (f input) => Proxy sym -> (input -> V (NonEmptyArray err) output) -> PickE chosen err (f output)