Morello.Morello.Validated

type ValidatedE err r = V (NonEmptyArray err) r

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

type ValidateE' a err = ValidateE a err a

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

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

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

asIs :: forall input err. ValidateE' input err