Pandora.Paradigm.Basis.Conclusion

Documentation

data Conclusion e a

Constructors

Failure e

Success a

Instances

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

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

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

(Pointable t, Bindable t) => Bindable (Conclusion e :!: t)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

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

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

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

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

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

Monad t => Monad (Conclusion e :!: t)

Defined in Pandora.Paradigm.Basis.Conclusion

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

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