Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Documentation

class Interpreted (->) t => Monadic t where

Methods

wrap :: Pointable u => t ~> (t :> u)

Instances

Monadic Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

Monadic (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

Monadic (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

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

Monadic (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

wrap :: forall (u :: Type -> Type). Pointable u => Environment e ~> (Environment e :> u)

Monoid e => Monadic (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

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

newtype (t :> u) a infixr 3

Constructors

TM

Fields

• tm :: Schematic Monad t u a

Instances

Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Schematic Monad t u) => Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (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)

(Lifting t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Lifting u (Schematic Monad v (w :> (x :> (y :> (z :> (f :> h)))))), Lifting v (Schematic Monad w (x :> (y :> (z :> (f :> h))))), Lifting w (Schematic Monad x (y :> (z :> (f :> h)))), Lifting x (Schematic Monad y (z :> (f :> h))), Lifting y (Schematic Monad z (f :> h)), Lifting z (Schematic Monad f h), Wrappable f h) => Adaptable (f :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: f ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Lifting u (Schematic Monad v (w :> (x :> (y :> (z :> (f :> h)))))), Lifting v (Schematic Monad w (x :> (y :> (z :> (f :> h))))), Lifting w (Schematic Monad x (y :> (z :> (f :> h)))), Lifting x (Schematic Monad y (z :> (f :> h))), Lifting y (Schematic Monad z (f :> h)), Lifting z (Schematic Monad f h), Lifting f h) => Adaptable (h :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: h ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> f)))))), Lifting u (Schematic Monad v (w :> (x :> (y :> (z :> f))))), Lifting v (Schematic Monad w (x :> (y :> (z :> f)))), Lifting w (Schematic Monad x (y :> (z :> f))), Lifting x (Schematic Monad y (z :> f)), Lifting y (Schematic Monad z f), Wrappable z f) => Adaptable (z :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: z ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> f)))))), Lifting u (Schematic Monad v (w :> (x :> (y :> (z :> f))))), Lifting v (Schematic Monad w (x :> (y :> (z :> f)))), Lifting w (Schematic Monad x (y :> (z :> f))), Lifting x (Schematic Monad y (z :> f)), Lifting y (Schematic Monad z f), Lifting z f) => Adaptable (f :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: f ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> (y :> z))))), Lifting u (Schematic Monad v (w :> (x :> (y :> z)))), Lifting v (Schematic Monad w (x :> (y :> z))), Lifting w (Schematic Monad x (y :> z)), Lifting x (Schematic Monad y z), Wrappable y z) => Adaptable (y :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> z))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: y ~> (t :> (u :> (v :> (w :> (x :> (y :> z))))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> (y :> z))))), Lifting u (Schematic Monad v (w :> (x :> (y :> z)))), Lifting v (Schematic Monad w (x :> (y :> z))), Lifting w (Schematic Monad x (y :> z)), Lifting x (Schematic Monad y z), Lifting y z) => Adaptable (z :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> z))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: z ~> (t :> (u :> (v :> (w :> (x :> (y :> z))))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> y)))), Lifting u (Schematic Monad v (w :> (x :> y))), Lifting v (Schematic Monad w (x :> y)), Lifting w (Schematic Monad x y), Wrappable x y) => Adaptable (x :: Type -> Type) (t :> (u :> (v :> (w :> (x :> y)))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: x ~> (t :> (u :> (v :> (w :> (x :> y)))))

(Lifting t (Schematic Monad u (v :> (w :> (x :> y)))), Lifting u (Schematic Monad v (w :> (x :> y))), Lifting v (Schematic Monad w (x :> y)), Lifting w (Schematic Monad x y), Lifting x y) => Adaptable (y :: Type -> Type) (t :> (u :> (v :> (w :> (x :> y)))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: y ~> (t :> (u :> (v :> (w :> (x :> y)))))

(Lifting t (Schematic Monad u (v :> (w :> x))), Lifting u (Schematic Monad v (w :> x)), Lifting v (Schematic Monad w x), Wrappable w x) => Adaptable (w :: Type -> Type) (t :> (u :> (v :> (w :> x))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: w ~> (t :> (u :> (v :> (w :> x))))

(Lifting t (Schematic Monad u (v :> (w :> x))), Lifting u (Schematic Monad v (w :> x)), Lifting v (Schematic Monad w x), Lifting w x) => Adaptable (x :: Type -> Type) (t :> (u :> (v :> (w :> x))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: x ~> (t :> (u :> (v :> (w :> x))))

(Lifting t (Schematic Monad u v), Lifting t (Schematic Monad u (v :> w)), Lifting u (Schematic Monad v w), Lifting v w) => Adaptable (w :: Type -> Type) (t :> (u :> (v :> w)) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: w ~> (t :> (u :> (v :> w)))

(Liftable ((->) :: Type -> Type -> Type) (Schematic Monad t), Lifting t (Schematic Monad u (v :> w)), Lifting u (Schematic Monad v w), Wrappable v w) => Adaptable (v :: Type -> Type) (t :> (u :> (v :> w)) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: v ~> (t :> (u :> (v :> w)))

(Lifting t (Schematic Monad u v), Lifting u v) => Adaptable (v :: Type -> Type) (t :> (u :> v) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: v ~> (t :> (u :> v))

(Liftable ((->) :: Type -> Type -> Type) (Schematic Monad t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u v), Wrappable u v) => Adaptable (u :: Type -> Type) (t :> (u :> v) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: u ~> (t :> (u :> v))

Wrappable t u => Adaptable (t :: Type -> Type) (t :> u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: t ~> (t :> u)

Lifting t u => Adaptable (u :: Type -> Type) (t :> u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: u ~> (t :> u)

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

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

Methods

(/|\) :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant (->) (->) u => (u ~> v) -> (t :> u) ~> (t :> v)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) h, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad v (w :> (x :> (y :> (z :> (f :> h)))))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad w (x :> (y :> (z :> (f :> h))))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad x (y :> (z :> (f :> h)))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad y (z :> (f :> h))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad z (f :> h)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad f h), Hoistable ((:>) (t :> (u :> (v :> w)))), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Hoistable (Schematic Monad v), Hoistable (Schematic Monad w), Hoistable (Schematic Monad x), Hoistable (Schematic Monad y), Hoistable (Schematic Monad z), Hoistable (Schematic Monad f), Adaptable h h') => Adaptable (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))) :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h'))))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h'))))))))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) f, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u (v :> (w :> (x :> (y :> (z :> f)))))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad v (w :> (x :> (y :> (z :> f))))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad w (x :> (y :> (z :> f)))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad x (y :> (z :> f))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad y (z :> f)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad z f), Hoistable ((:>) (t :> (u :> (v :> w)))), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Hoistable (Schematic Monad v), Hoistable (Schematic Monad w), Hoistable (Schematic Monad x), Hoistable (Schematic Monad y), Hoistable (Schematic Monad z), Adaptable f f') => Adaptable (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))) :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> f')))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f')))))))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) z, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u (v :> (w :> (x :> (y :> z))))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad v (w :> (x :> (y :> z)))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad w (x :> (y :> z))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad x (y :> z)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad y z), Hoistable ((:>) (t :> (u :> (v :> w)))), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Hoistable (Schematic Monad v), Hoistable (Schematic Monad w), Hoistable (Schematic Monad x), Hoistable (Schematic Monad y), Adaptable z z') => Adaptable (t :> (u :> (v :> (w :> (x :> (y :> z))))) :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> z'))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> (v :> (w :> (x :> (y :> z)))))) ~> (t :> (u :> (v :> (w :> (x :> (y :> z'))))))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) y, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u (v :> (w :> (x :> y)))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad v (w :> (x :> y))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad w (x :> y)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad x y), Hoistable ((:>) (t :> (u :> (v :> w)))), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Hoistable (Schematic Monad v), Hoistable (Schematic Monad w), Hoistable (Schematic Monad x), Adaptable y y') => Adaptable (t :> (u :> (v :> (w :> (x :> y)))) :: Type -> Type) (t :> (u :> (v :> (w :> (x :> y')))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> (v :> (w :> (x :> y))))) ~> (t :> (u :> (v :> (w :> (x :> y')))))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) x, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u (v :> (w :> x))), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad v (w :> x)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad w x), Hoistable ((:>) (t :> (u :> v))), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Hoistable (Schematic Monad v), Hoistable (Schematic Monad w), Adaptable x x') => Adaptable (t :> (u :> (v :> (w :> x))) :: Type -> Type) (t :> (u :> (v :> (w :> x'))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> (v :> (w :> x)))) ~> (t :> (u :> (v :> (w :> x'))))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) w, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u v), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u (v :> w)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad v w), Hoistable ((:>) (t :> (u :> v))), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Hoistable (Schematic Monad v), Adaptable w w') => Adaptable (t :> (u :> (v :> w)) :: Type -> Type) (t :> (u :> (v :> w')) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> (v :> w))) ~> (t :> (u :> (v :> w')))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad u v), Hoistable ((:>) (t :> u)), Hoistable (Schematic Monad t), Hoistable (Schematic Monad u), Adaptable v v') => Adaptable (t :> (u :> v) :: Type -> Type) (t :> (u :> v') :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> (u :> v)) ~> (t :> (u :> v'))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Hoistable ((:>) t), Adaptable u u') => Adaptable (t :> u :: Type -> Type) (t :> u' :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: (t :> u) ~> (t :> u')

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

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

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

(||=) :: (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)

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

(<$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u0) => (Primary (t :> u) a -> Primary u0 b) -> ((j :. (k :. l)) := (t :> u) a) -> ((j :. (k :. l)) := u0 b)

(<$$$$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u0) => (Primary (t :> u) a -> Primary u0 b) -> ((j :. (k :. (l :. n))) := (t :> u) a) -> ((j :. (k :. (l :. n))) := u0 b)

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

(=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u0) => ((t :> u) a -> u0 b) -> ((j :. k) := Primary (t :> u) a) -> ((j :. k) := Primary u0 b)

(=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u0) => ((t :> u) a -> u0 b) -> ((j :. (k :. l)) := Primary (t :> u) a) -> ((j :. (k :. l)) := Primary u0 b)

(=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u0) => ((t :> u) a -> u0 b) -> ((j :. (k :. (l :. n))) := Primary (t :> u) a) -> ((j :. (k :. (l :. n))) := Primary u0 b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad t u), Monoidal (-->) ((->) :: Type -> Type -> Type) (:*:) (:*:) (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

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)

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 (->)) (->) (:*:) (:*:) 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