Pandora.Paradigm.Primary.Functor.Validation

Documentation

data Validation e a

Constructors

Flaws e

Validated a

Instances

Bivariant Validation ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<->) :: (a -> b) -> (c -> d) -> Validation a c -> Validation b d

Semigroup e => Semimonoidal (Validation e :: Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:+:)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

multiply_ :: forall (a :: k) (b :: k). (Validation e a :*: Validation e b) -> Validation e (a :+: b)

Semigroup e => Semimonoidal (Validation e :: Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

multiply_ :: forall (a :: k) (b :: k). (Validation e a :*: Validation e b) -> Validation e (a :*: b)

Pointable (Validation e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

point :: a -> Validation e a

Covariant (Validation e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(-<$>-) :: (a -> b) -> Validation e a -> Validation e b

Traversable (Validation e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Validation e a -> u (Validation e b)

(Semigroup e, Semigroup a) => Semigroup (Validation e a)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(+) :: Validation e a -> Validation e a -> Validation e a

(Setoid e, Setoid a) => Setoid (Validation e a)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(==) :: Validation e a -> Validation e a -> Boolean

(!=) :: Validation e a -> Validation e a -> Boolean

(Chain e, Chain a) => Chain (Validation e a)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<=>) :: Validation e a -> Validation e a -> Ordering

(<) :: Validation e a -> Validation e a -> Boolean

(<=) :: Validation e a -> Validation e a -> Boolean

(>) :: Validation e a -> Validation e a -> Boolean

(>=) :: Validation e a -> Validation e a -> Boolean

Covariant (Flip Validation a) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(-<$>-) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

validation :: (e -> r) -> (a -> r) -> Validation e a -> r