Pandora.Paradigm.Primary.Functor.Conclusion

Documentation

data Conclusion e a

Constructors

Failure e

Success a

Instances

Monoidal (-->) (-->) (:*:) (:*:) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

Monoidal (-->) (-->) (:*:) (:*:) (Flip Conclusion a)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a0) --> Flip Conclusion a a0

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

Semimonoidal (-->) (:*:) (:*:) (Conclusion e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

Semimonoidal (-->) (:*:) (:*:) (Flip Conclusion a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

mult :: forall (a0 :: k) (b :: k). (Flip Conclusion a a0 :*: Flip Conclusion a b) --> Flip Conclusion a (a0 :*: b)

Catchable e (Conclusion e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

catch :: forall (a :: k). Conclusion e a -> (e -> Conclusion e a) -> Conclusion e a

(Monoidal (-->) (-->) (:*:) (:*:) u, Bindable ((->) :: Type -> Type -> Type) u) => Catchable e (Conclusion e <.:> u :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

catch :: forall (a :: k). (Conclusion e <.:> u) a -> (e -> (Conclusion e <.:> u) a) -> (Conclusion e <.:> u) a

Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Flip Conclusion e)) <::> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe

Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Conclusion e)) <::> Maybe) ~> Morphing ('Into (Conclusion e)) Maybe

Morphable ('Into Maybe) (Conclusion e)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into Maybe) (Conclusion e) :: Type -> Type

Methods

morphing :: (Tagged ('Into Maybe) <::> Conclusion e) ~> Morphing ('Into Maybe) (Conclusion e)

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

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

Bindable ((->) :: Type -> Type -> Type) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(=<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

(==<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

(===<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

(====<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

(=====<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

(======<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

(=======<<) :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

Interpreted ((->) :: Type -> Type -> Type) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Associated Types

type Primary (Conclusion e) a

Methods

run :: ((->) < Conclusion e a) < Primary (Conclusion e) a

unite :: ((->) < Primary (Conclusion e) a) < Conclusion e a

(<~~~~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(<~) :: ((->) < Conclusion e a) < Primary (Conclusion e) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Conclusion e) a) < Primary u b) -> ((->) < Conclusion e a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Conclusion e a) < u b) -> ((->) < Primary (Conclusion e) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Conclusion e) a) < Primary u b) -> (j > Conclusion e a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Conclusion e a) < u b) -> (j > Primary (Conclusion e) a) -> (j > Primary u b)

Monadic ((->) :: Type -> Type -> Type) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < Conclusion e a) < (Conclusion e :> u) a

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Conclusion a)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<-/-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

(<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

(<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

(<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

(<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

(<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

(<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a0 -> u b) -> Flip Conclusion a a0 -> u (Flip Conclusion a b)

type Schematic Monad (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad (Conclusion e) = (<.:>) (Conclusion e)

type Primary (Conclusion e) a

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Primary (Conclusion e) a = Conclusion e a

type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe

Defined in Pandora.Paradigm.Structure

type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Flip Conclusion e

type Morphing ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe

Defined in Pandora.Paradigm.Structure

type Morphing ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Conclusion e

type Morphing ('Into Maybe) (Conclusion e)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into Maybe) (Conclusion e) = Maybe

conclusion :: (e -> r) -> (a -> r) -> Conclusion e a -> r

fail :: (e -> r) -> Conclusion e ~> Conclusion r

type Failable e t = Adaptable t (->) (Conclusion e)

failure :: Failable e t => e -> t a

class Catchable e t where

Methods

catch :: t a -> (e -> t a) -> t a

Instances

Catchable e (Conclusion e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

catch :: forall (a :: k). Conclusion e a -> (e -> Conclusion e a) -> Conclusion e a

(Monoidal (-->) (-->) (:*:) (:*:) u, Bindable ((->) :: Type -> Type -> Type) u) => Catchable e (Conclusion e <.:> u :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

catch :: forall (a :: k). (Conclusion e <.:> u) a -> (e -> (Conclusion e <.:> u) a) -> (Conclusion e <.:> u) a