Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Documentation

class Interpreted m t => Monadic m t where

Methods

wrap :: Pointable u => (m < t a) < (t :> u) a

Instances

Monadic ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < Maybe a) < (Maybe :> u) a

Monadic ((->) :: Type -> Type -> Type) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < Conclusion e a) < (Conclusion e :> u) a

Monadic ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < State s a) < (State s :> u) a

Monadic ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < Provision e a) < (Provision e :> u) a

Monoid e => Monadic ((->) :: Type -> Type -> Type) (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < Accumulator e a) < (Accumulator e :> u) a

newtype (t :> u) a infixr 8

Constructors

TM

Fields

• tm :: Schematic Monad t u a

Instances

Monoidal (-->) (-->) (:*:) (:*:) (Schematic Monad t u) => Monoidal (-->) (-->) (:*:) (:*:) (t :> u)

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

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t :> u) a

Semimonoidal (-->) (:*:) (:+:) (Schematic Monad t u) => Semimonoidal (-->) (:*:) (:+:) (t :> u :: Type -> Type)

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

Methods

mult :: forall (a :: k) (b :: k). ((t :> u) a :*: (t :> u) b) --> (t :> u) (a :+: b)

Semimonoidal (-->) (:*:) (:*:) (Schematic Monad t u) => Semimonoidal (-->) (:*:) (:*:) (t :> u :: Type -> Type)

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

Methods

mult :: forall (a :: k) (b :: k). ((t :> u) a :*: (t :> u) b) --> (t :> u) (a :*: b)

Effectful m v t u => Adaptable (t :> u :: Type -> Type) (m :: k -> Type -> Type) (v :: Type -> k)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: forall (a :: k0). (m < v a) < (t :> u) a

Hoistable ((->) :: Type -> Type -> Type) (Schematic Monad t) => Hoistable ((->) :: Type -> Type -> Type) ((:>) t :: (Type -> Type) -> Type -> Type)

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

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). (t :> u) a -> (t :> v) a

Liftable ((->) :: Type -> Type -> Type) (Schematic Monad t) => Liftable ((->) :: Type -> Type -> Type) ((:>) t)

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

Methods

lift :: Covariant (->) (->) u => u a -> (t :> u) a

Extendable ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Extendable ((->) :: Type -> Type -> Type) (t :> u)

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

Methods

(<<=) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<==) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<===) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<====) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<=====) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<======) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<=======) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

(<<========) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

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

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

Methods

(=<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

(==<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

(===<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

(====<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

(=====<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

(======<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

(=======<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

Interpreted ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Interpreted ((->) :: Type -> Type -> Type) (t :> u)

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

Associated Types

type Primary (t :> u) a

Methods

run :: ((->) < (t :> u) a) < Primary (t :> u) a

unite :: ((->) < Primary (t :> u) a) < (t :> u) a

(<~~~~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(<~) :: ((->) < (t :> u) a) < Primary (t :> u) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (t :> u) a) < Primary u0 b) -> ((->) < (t :> u) a) < u0 b

(-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < (t :> u) a) < u0 b) -> ((->) < Primary (t :> u) a) < Primary u0 b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (t :> u) a) < Primary u0 b) -> (j > (t :> u) a) -> (j > u0 b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < (t :> u) a) < u0 b) -> (j > Primary (t :> u) a) -> (j > Primary u0 b)

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

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

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

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

Methods

(<-|-) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|--) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|---) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|----) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|-----) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|------) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|-------) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|--------) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 (v a)) -> (t :> u) (u0 (v b))

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :> u)

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

Methods

(-<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

(--<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

(---<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

(----<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

(-----<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

(------<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

(-------<<) :: Covariant (->) (->) u0 => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :> u)

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

Methods

(<-/-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

(<-/-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

(<-/------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

(<-/-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

(<-/----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

(<-/---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

(<-/--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t :> u) a -> u0 ((t :> u) b)

type Primary (t :> u) a

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

type Primary (t :> u) a = Primary (Schematic Monad t u) a