Pandora.Pattern.Functor.Lowerable

Documentation

class Lowerable t where

Methods

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

Instances

(forall (u' :: Type -> Type). Extractable u', Lowerable t) => Lowerable (UTU Co Co t)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

lower :: Covariant u => UTU Co Co t u ~> u

Extractable t => Lowerable (UT Co Co t)

Defined in Pandora.Pattern.Junction.Schemes.UT

Methods

lower :: Covariant u => UT Co Co t u ~> u