Pandora.Paradigm.Primary.Functor.Conclusion

Documentation

data Conclusion e a

Constructors

Failure e

Success a

Instances

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

Monadic (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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)

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 (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) 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.Primary

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.Primary

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.Primary

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

(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

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

(||=) :: (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)

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

(<$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u) => (Primary (Conclusion e) a -> Primary u b) -> ((j :. (k :. l)) := Conclusion e a) -> ((j :. (k :. l)) := u b)

(<$$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u) => (Primary (Conclusion e) a -> Primary u b) -> ((j :. (k :. (l :. n))) := Conclusion e a) -> ((j :. (k :. (l :. n))) := u b)

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

(=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u) => (Conclusion e a -> u b) -> ((j :. k) := Primary (Conclusion e) a) -> ((j :. k) := Primary u b)

(=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u) => (Conclusion e a -> u b) -> ((j :. (k :. l)) := Primary (Conclusion e) a) -> ((j :. (k :. l)) := Primary u b)

(=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u) => (Conclusion e a -> u b) -> ((j :. (k :. (l :. n))) := Primary (Conclusion e) a) -> ((j :. (k :. (l :. n))) := Primary u b)

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<$>) :: (a -> b) -> Flip Conclusion e a -> Flip Conclusion e b

Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Conclusion

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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.Primary

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.Primary

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

type Morphing ('Into Maybe) (Conclusion e)

Defined in Pandora.Paradigm.Primary

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 = Adaptable (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 (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) 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