Idris2Doc : Data.Validated

Data.Validated

IsValid : Validatedea -> Type
Totality: total
Constructor: 
ItIsValid : IsValid (Validx)
Validated : Type -> Type -> Type
`Validated` is like an `Either` but accumulates all errors with semigroup operation.
Totality: total
Constructors:
Valid : a -> Validatedea
Invalid : e -> Validatedea
ValidatedL : Type -> Type -> Type
Special case of `Validated` with a `List` as an error accumulator.
Totality: total
fromEither : Eitherea -> Validatedea
Totality: total
fromEitherL : Eitherea -> ValidatedLea
Totality: total
fromMaybe : Monoide => Maybea -> Validatedea
Totality: total
isItValid : (v : Validatedea) -> Dec (IsValidv)
Totality: total
oneInvalid : e -> Applicativef => Validated (fe) a
Totality: total
toEither : Validatedea -> Eitherea
Totality: total
toMaybe : Validatedea -> Maybea
Totality: total