Module

Morello.Morello.Validated

#ValidatedE 

type ValidatedE err r = V (NonEmptyArray err) r

#ValidateE 

type ValidateE a err b = a -> ValidatedE err b

#ValidateE' 

type ValidateE' a err = ValidateE a err a

#invalid 

invalid :: forall err r. err -> ValidatedE err r

#valid 

valid :: forall err r. r -> ValidatedE err r

#as 

as :: forall input err a. Newtype a input => (input -> a) -> ValidateE input err a

#asIs 

asIs :: forall input err. ValidateE' input err

Modules