Module

Morello.Morello.Core

#PickE 

newtype PickE input err a

Constructors

#applyPick 

applyPick :: forall input err a. input -> PickE input err a -> ValidatedE err a

#branch 

branch :: forall input err. input -> Tuple input (ValidatedE err (Record ()))

#(🌱)

Operator alias for Morello.Morello.Core.branch (right-associative / precedence 8)

#dual 

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 

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 

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))

#(🍒)

Operator alias for Morello.Morello.Core.cherry (right-associative / precedence 8)

#blossom 

blossom :: forall input err output. Tuple input (ValidatedE err output) -> ValidatedE err output

#(🌸)

Operator alias for Morello.Morello.Core.blossom (right-associative / precedence 8)

#pick 

pick :: forall s a err b. AGetter' s a -> ValidateE a err b -> PickE s err b

#pick' 

pick' :: forall s a err b. Proxy s -> AGetter' s a -> ValidateE a err b -> PickE s err b

#core 

core :: forall f s a err b. Traversable f => AGetter' s (f a) -> ValidateE a err b -> PickE s err (f b)

#(|>)

Operator alias for Control.Semigroupoid.compose (right-associative / precedence 9)

#Key 

type Key r = Proxy r

#key 

key :: forall r. Key r

#Typ 

type Typ r = Proxy r

#typ 

typ :: forall r. Proxy r

Modules