Module

Morello.Morello.Validated

Package
purescript-morello
Repository
sigma-andex/purescript-morello

#ValidatedE Source

type ValidatedE err r = V (NonEmptyArray err) r

#ValidateE Source

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

#ValidateE' Source

type ValidateE' a err = ValidateE a err a

#invalid Source

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

#valid Source

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

#as Source

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

#asIs Source

asIs :: forall input err. ValidateE' input err