pandora-0.2.3: A box of patterns and paradigms

Safe Haskell	Safe
Language	Haskell2010

Pandora.Pattern.Functor.Extractable

Documentation

class Covariant t => Extractable t where Source #

Methods

extract :: a <-| t Source #

Instances

Extractable Identity Source #
Instance details Defined in Pandora.Paradigm.Basis.Identity Methods extract :: a <-\| Identity Source #
Extractable t => Extractable (Yoneda t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Yoneda Methods extract :: a <-\| Yoneda t Source #
Covariant t => Extractable (Jet t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Jet Methods extract :: a <-\| Jet t Source #
Covariant t => Extractable (Twister t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Twister Methods extract :: a <-\| Twister t Source #
Extractable (Product a) Source #
Instance details Defined in Pandora.Paradigm.Basis.Product Methods extract :: a0 <-\| Product a Source #
Extractable (Store p) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| Store p Source #
Extractable t => Extractable (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Jack Methods extract :: a <-\| Jack t Source #
Extractable (Schematic Monad t u) => Extractable (t :> u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Monadic Methods extract :: a <-\| (t :> u) Source #
Extractable (Schematic Comonad t u) => Extractable (t :< u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic Methods extract :: a <-\| (t :< u) Source #
Extractable (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Basis.Tagged Methods extract :: a <-\| Tagged tag Source #
Extractable u => Extractable (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| TUV Covariant Covariant Covariant ((:*:) p) u ((->) p) Source #