pandora-0.4.8: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Transformer.Outline

Documentation

data Outline t a where Source #

Constructors

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

Instances

Instances details
Hoistable ((->) :: Type -> Type -> Type) Outline Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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

Liftable ((->) :: Type -> Type -> Type) Outline Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Outline t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

(<-|-) :: (a -> b) -> Outline t a -> Outline t b Source #