Pandora.Pattern.Functor.Monad

Documentation

class (Covariant (->) (->) t, Monoidal (->) (->) (:*:) (:*:) t, Bindable (->) t) => Monad t

Let f :: (Monoidal t (->) (->) (:*:) (:*:), Bindable t) => a -> t a
Let g :: (Monoidal t (->) (->) (:*:) (:*:), Bindable t) => a -> t a
Let h :: (Monoidal 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 t => Monad (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Monad (State s)

Defined in Pandora.Paradigm.Inventory.State

Monad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

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

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

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)