Pandora.Pattern.Functor.Monad

Documentation

class (Covariant t (->) (->), 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:
* Left identity: point a >>= f ≡ f a
* Right identity: h >>= point ≡ h
* Associativity: h >>= (f >=> 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 t => Monad (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

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

Monad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

(Covariant (Schematic Monad t u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Pointable (t :> u) ((->) :: Type -> Type -> Type), Bindable (t :> u) ((->) :: Type -> Type -> Type)) => Monad (t :> u)

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

Monad t => Monad (Continuation r t)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

type Schematic Monad Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Schematic Monad Maybe = (<.:>) Maybe

type Schematic Monad (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Schematic Monad (Conclusion e) = (<.:>) (Conclusion e)

type Schematic Monad (State s)

Defined in Pandora.Paradigm.Inventory.State

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

type Schematic Monad (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

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

type Schematic Monad (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

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