pandora-0.1.6: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Pattern.Functor.Lowerable

Documentation

class Lowerable t where Source #

Methods

lower :: Covariant u => t u ~> u Source #

Instances
(forall (u' :: Type -> Type). Extractable u', Lowerable t) => Lowerable (Y t) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Transformer

Methods

lower :: Covariant u => Y t u ~> u Source #

Extractable t => Lowerable (T t) Source # 
Instance details

Defined in Pandora.Paradigm.Junction.Transformer

Methods

lower :: Covariant u => T t u ~> u Source #