Pandora.Pattern.Functor.Monad

Documentation

class (Pointable t, Bindable t) => Monad t

Let f :: (Pointable t, Bindable t) => a -> t a
Let g :: (Pointable t, Bindable t) => a -> t a
Let h :: (Pointable t, Bindable t) => t a

When providing a new instance, you should ensure it satisfies the three laws:
* Left identity: point a >>= f ≡ f a
* Right identity: h >>= point ≡ h
* Associativity: h >>= (\x -> f x >>= g) ≡ (h >>= f) >>= g

Instances

Monad Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Monad Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Monad (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Monad (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Monad (State s)

Defined in Pandora.Paradigm.Inventory.State

Monad (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

(Avoidable t, Alternative t) => Monad (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

(Pointable (t :> u), Bindable (t :> u)) => Monad (t :> u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Monad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Monad t => Monad (Continuation r t)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Monad u => Monad ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u)

Defined in Pandora.Paradigm.Inventory.State

Monad u => Monad (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad Maybe u

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Schematic Monad Maybe u = UT Covariant Covariant Maybe u

type Schematic Monad (Conclusion e) u

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad (Conclusion e) u = UT Covariant Covariant (Conclusion e) u

type Schematic Monad (Accumulator e) u

Defined in Pandora.Paradigm.Inventory.Accumulator

type Schematic Monad (Accumulator e) u = (:*:) e <.:> u

type Schematic Monad (State s) u

Defined in Pandora.Paradigm.Inventory.State

type Schematic Monad (State s) u = (((->) s :: Type -> Type) <:<.>:> (:*:) s) := u

type Schematic Monad (Environment e) u

Defined in Pandora.Paradigm.Inventory.Environment

type Schematic Monad (Environment e) u = ((->) e :: Type -> Type) <:.> u