Pandora.Pattern.Functor.Lowerable

Documentation

class Lowerable t where

Methods

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

Instances

Lowerable Twister

Defined in Pandora.Paradigm.Basis.Twister

Methods

lower :: Covariant u => Twister u ~> u