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

Liftable Outline

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

point :: a -> Outline t a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Outline t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

extract :: Outline t a -> a

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

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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