Pandora.Paradigm.Primary.Transformer.Instruction

Documentation

data Instruction t a

Constructors

Enter a

Instruct ((t :. Instruction t) := a)

Instances

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Monoidal (-->) (-->) (:*:) (:*:) (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Semimonoidal (-->) (:*:) (:*:) (Instruction t :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

(forall (v :: Type -> Type). Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v) => Hoistable ((->) :: Type -> Type -> Type) Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

Liftable ((->) :: Type -> Type -> Type) Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

(forall (t :: Type -> Type). Bindable ((->) :: Type -> Type -> Type) t, forall (t :: Type -> Type). Monoidal (-->) (-->) (:*:) (:*:) t) => Lowerable ((->) :: Type -> Type -> Type) Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

lower :: Covariant (->) (->) u => Instruction u a -> u a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Bindable ((->) :: Type -> Type -> Type) (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

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

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

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

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

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

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

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

Monad ((->) :: Type -> Type -> Type) t => Monad ((->) :: Type -> Type -> Type) (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

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

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

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

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

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

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

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

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

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

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

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

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

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

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

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

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