Pandora.Paradigm.Primary.Functor.Validation

Documentation

data Validation e a

Constructors

Flaws e

Validated a

Instances

Semigroup e => Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) (Validation e :: 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 ((->) :: Type -> Type -> Type) (:*:) (:*:) (Validation e :: 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, 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

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

unit :: Proxy (:*:) -> (Unit (:*:) -> a) -> Validation e a

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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