pandora-0.1.7: A box of patterns and paradigms
Pandora.Pattern.Functor.Extractable
class Covariant t => Extractable t where Source #
Methods
extract :: t a -> a Source #
Defined in Pandora.Paradigm.Basis.Identity
extract :: Identity a -> a Source #
Defined in Pandora.Paradigm.Basis.Yoneda
extract :: Yoneda t a -> a Source #
Defined in Pandora.Paradigm.Basis.Jet
extract :: Jet t a -> a Source #
Defined in Pandora.Paradigm.Basis.Twister
extract :: Twister t a -> a Source #
Defined in Pandora.Paradigm.Basis.Product
extract :: Product a a0 -> a0 Source #
Defined in Pandora.Paradigm.Basis.Jack
extract :: Jack t a -> a Source #
Defined in Pandora.Paradigm.Inventory.Storage
extract :: Storage p a -> a Source #
Defined in Pandora.Paradigm.Basis.Tagged
extract :: Tagged tag a -> a Source #
Defined in Pandora.Paradigm.Junction.Transformer
extract :: Y t u a -> a Source #
extract :: T t u a -> a Source #
Defined in Pandora.Paradigm.Junction.Composition
extract :: U Co Co t u a -> a Source #
extract :: UU Co Co Co t u v a -> a Source #
extract :: UUU Co Co Co Co t u v w a -> a Source #