Pandora.Paradigm.Basis.Conclusion

Documentation

data Conclusion e a

Constructors

Failure e

Success a

Instances

Composition (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Outline (Conclusion e) a :: Type

Methods

composition :: Conclusion e a -> Outline (Conclusion e) a

Covariant (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

comap :: (a -> b) -> Conclusion e a -> Conclusion e b

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

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

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

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

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

(<$$>) :: Covariant u => (a -> b) -> ((Conclusion e :.: u) >< a) -> (Conclusion e :.: u) >< b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Conclusion e :.: (u :.: v)) >< a) -> (Conclusion e :.: (u :.: v)) >< b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Conclusion e :.: (u :.: (v :.: w))) >< a) -> (Conclusion e :.: (u :.: (v :.: w))) >< b

(<&&>) :: Covariant u => ((Conclusion e :.: u) >< a) -> (a -> b) -> (Conclusion e :.: u) >< b

(<&&&>) :: (Covariant u, Covariant v) => ((Conclusion e :.: (u :.: v)) >< a) -> (a -> b) -> (Conclusion e :.: (u :.: v)) >< b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Conclusion e :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Conclusion e :.: (u :.: (v :.: w))) >< b

Bindable (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

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

bind :: (a -> Conclusion e b) -> Conclusion e a -> Conclusion e b

join :: (Conclusion e :.: Conclusion e) a -> Conclusion e a

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

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

Applicative (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

apply :: Conclusion e (a -> b) -> Conclusion e a -> Conclusion e b

(*>) :: Conclusion e a -> Conclusion e b -> Conclusion e b

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

forever :: Conclusion e a -> Conclusion e b

(<**>) :: Applicative u => (Conclusion e :.: u) (a -> b) -> (Conclusion e :.: u) a -> (Conclusion e :.: u) b

(<***>) :: (Applicative u, Applicative v) => (Conclusion e :.: (u :.: v)) (a -> b) -> (Conclusion e :.: (u :.: v)) a -> (Conclusion e :.: (u :.: v)) b

(<****>) :: (Applicative u, Applicative v, Applicative w) => (Conclusion e :.: (u :.: (v :.: w))) (a -> b) -> (Conclusion e :.: (u :.: (v :.: w))) a -> (Conclusion e :.: (u :.: (v :.: w))) b

Alternative (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

alter :: Conclusion e a -> Conclusion e a -> Conclusion e a

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

point :: a -> Conclusion e a

Monad (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Transformer (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Layout (Conclusion e) u a = (r :: Type)

Methods

lay :: Covariant u => u a -> Layout (Conclusion e) u a

equip :: Pointable u => Conclusion e a -> Layout (Conclusion e) u a

Traversable (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(->>) :: (Pointable u, Applicative u) => Conclusion e a -> (a -> u b) -> (u :.: Conclusion e) b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Conclusion e a -> (u :.: Conclusion e) b

sequence :: (Pointable u, Applicative u) => (Conclusion e :.: u) a -> (u :.: Conclusion e) a

(->>>) :: (Pointable u, Applicative u, Traversable v) => (v :.: Conclusion e) a -> (a -> u b) -> (u :.: (v :.: Conclusion e)) b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => (w :.: (v :.: Conclusion e)) a -> (a -> u b) -> (u :.: (w :.: (v :.: Conclusion e))) b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: Conclusion e))) a -> (a -> u b) -> (u :.: (j :.: (w :.: (v :.: Conclusion e)))) b

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

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

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

Defined in Pandora.Paradigm.Basis.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.Basis.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

Covariant u => Covariant (UT (Conclusion e) () (Conclusion e) u)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(<$>) :: (a -> b) -> UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b

comap :: (a -> b) -> UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b

(<$) :: a -> UT (Conclusion e) () (Conclusion e) u b -> UT (Conclusion e) () (Conclusion e) u a

($>) :: UT (Conclusion e) () (Conclusion e) u a -> b -> UT (Conclusion e) () (Conclusion e) u b

void :: UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u ()

loeb :: UT (Conclusion e) () (Conclusion e) u (UT (Conclusion e) () (Conclusion e) u a -> a) -> UT (Conclusion e) () (Conclusion e) u a

(<&>) :: UT (Conclusion e) () (Conclusion e) u a -> (a -> b) -> UT (Conclusion e) () (Conclusion e) u b

(<$$>) :: Covariant u0 => (a -> b) -> ((UT (Conclusion e) () (Conclusion e) u :.: u0) >< a) -> (UT (Conclusion e) () (Conclusion e) u :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) >< a) -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) >< b

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) >< a) -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) >< b

(<&&>) :: Covariant u0 => ((UT (Conclusion e) () (Conclusion e) u :.: u0) >< a) -> (a -> b) -> (UT (Conclusion e) () (Conclusion e) u :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v) => ((UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) >< a) -> (a -> b) -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) >< b

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) >< a) -> (a -> b) -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) >< b

(Pointable u, Bindable u) => Bindable (UT (Conclusion e) () (Conclusion e) u)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(>>=) :: UT (Conclusion e) () (Conclusion e) u a -> (a -> UT (Conclusion e) () (Conclusion e) u b) -> UT (Conclusion e) () (Conclusion e) u b

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

bind :: (a -> UT (Conclusion e) () (Conclusion e) u b) -> UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b

join :: (UT (Conclusion e) () (Conclusion e) u :.: UT (Conclusion e) () (Conclusion e) u) a -> UT (Conclusion e) () (Conclusion e) u a

(>=>) :: (a -> UT (Conclusion e) () (Conclusion e) u b) -> (b -> UT (Conclusion e) () (Conclusion e) u c) -> a -> UT (Conclusion e) () (Conclusion e) u c

(<=<) :: (b -> UT (Conclusion e) () (Conclusion e) u c) -> (a -> UT (Conclusion e) () (Conclusion e) u b) -> a -> UT (Conclusion e) () (Conclusion e) u c

Applicative u => Applicative (UT (Conclusion e) () (Conclusion e) u)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

(<*>) :: UT (Conclusion e) () (Conclusion e) u (a -> b) -> UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b

apply :: UT (Conclusion e) () (Conclusion e) u (a -> b) -> UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b

(*>) :: UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b -> UT (Conclusion e) () (Conclusion e) u b

(<*) :: UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b -> UT (Conclusion e) () (Conclusion e) u a

forever :: UT (Conclusion e) () (Conclusion e) u a -> UT (Conclusion e) () (Conclusion e) u b

(<**>) :: Applicative u0 => (UT (Conclusion e) () (Conclusion e) u :.: u0) (a -> b) -> (UT (Conclusion e) () (Conclusion e) u :.: u0) a -> (UT (Conclusion e) () (Conclusion e) u :.: u0) b

(<***>) :: (Applicative u0, Applicative v) => (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) (a -> b) -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) a -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: v)) b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) (a -> b) -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) a -> (UT (Conclusion e) () (Conclusion e) u :.: (u0 :.: (v :.: w))) b

Pointable u => Pointable (UT (Conclusion e) () (Conclusion e) u)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

point :: a -> UT (Conclusion e) () (Conclusion e) u a

Monad u => Monad (UT (Conclusion e) () (Conclusion e) u)

Defined in Pandora.Paradigm.Basis.Conclusion

type Outline (Conclusion e) a

Defined in Pandora.Paradigm.Basis.Conclusion

type Outline (Conclusion e) a = Conclusion e a

type Layout (Conclusion e) u a

Defined in Pandora.Paradigm.Basis.Conclusion

type Layout (Conclusion e) u a = UT (Conclusion e) () (Conclusion e) u a

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

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