Pandora.Paradigm.Primary.Functor.Validation

Documentation

data Validation e a

Constructors

Flaws e

Validated a

Instances

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

mult :: 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

(?=) :: Validation e a -> Validation e a -> r -> r -> r

(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 ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Validation e)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u (v a)) -> Validation e (u (v b))

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

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

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

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

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

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

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

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) 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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u (v a0)) -> Flip Validation a (u (v b))

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