Pandora.Paradigm.Primary.Transformer.Instruction

Documentation

data Instruction t a

Constructors

Enter a

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

Instances

Liftable Instruction

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

lift :: forall (u :: Type -> Type). Covariant u (->) (->) => u ~> Instruction u

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

lower :: forall (u :: Type -> Type). Covariant u (->) (->) => Instruction u ~> u

Monad t => Monad (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u (->) (->) => (u ~> v) -> Instruction u ~> Instruction v

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

point :: a -> Instruction t a

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Instruction t a -> u (Instruction t b)