Pandora.Pattern.Transformer.Lowerable

Documentation

class Lowerable cat t where

When providing a new instance, you should ensure it satisfies one law:
* Interchange: extract . lower ≡ extract

Methods

lower :: Covariant cat cat u => cat (t u a) (u a)

Instances

Lowerable ((->) :: Type -> Type -> Type) Tap

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

lower :: Covariant (->) (->) u => Tap u a -> 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

(forall (u :: Type -> Type). Semimonoidal (<--) (:*:) (:*:) u) => Lowerable ((->) :: Type -> Type -> Type) Construction

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

Lowerable ((->) :: Type -> Type -> Type) (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

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

Lowerable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

Lowerable ((->) :: Type -> Type -> Type) (Schematic Comonad t) => Lowerable ((->) :: Type -> Type -> Type) ((:<) t)

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

Methods

lower :: Covariant (->) (->) u => (t :< u) a -> u a

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t t', Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t') => Lowerable ((->) :: Type -> Type -> Type) (t <:<.>:> t')

Defined in Pandora.Paradigm.Schemes.TUT

Methods

lower :: Covariant (->) (->) u => (t <:<.>:> t') u a -> u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

lower :: Covariant (->) (->) u => UT Covariant Covariant t u a -> u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lower :: Covariant (->) (->) u => TU Covariant Covariant t u a -> u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (TT Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

lower :: Covariant (->) (->) u => TT Covariant Covariant t u a -> u a