Pandora.Paradigm.Primary.Transformer.Outline

Documentation

data Outline t a where

Constructors

Line :: a -> Outline t a

Outlined :: t a -> Outline t (a -> b) -> Outline t b

Instances

Hoistable Outline

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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

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

Liftable ((->) :: Type -> Type -> Type) Outline

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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