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 Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Monad Identity

Defined in Pandora.Paradigm.Basis.Identity

Monad (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

Monad (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

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

Defined in Pandora.Paradigm.Basis.Twister

Monad (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Monad (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Monad (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Monad t => Monad (Continuation r t)

Defined in Pandora.Paradigm.Basis.Continuation

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

Defined in Pandora.Paradigm.Basis.Maybe

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

Defined in Pandora.Paradigm.Basis.Conclusion

Monad u => Monad (TUV Co Co Co ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful