pandora-0.2.7: 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.Primary.Functor.Identity Methods extract :: a <-\| Identity Source #
Covariant t => Extractable (Jet t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods extract :: a <-\| Jet t Source #
Extractable (Product a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Product Methods extract :: a0 <-\| Product a Source #
Extractable t => Extractable (Yoneda t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Yoneda Methods extract :: a <-\| Yoneda t Source #
Extractable t => Extractable (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods extract :: a <-\| Jack t Source #
Monoid e => Extractable (Imprint e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Imprint Methods extract :: a <-\| Imprint e Source #
Extractable (Store p) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| Store p Source #
Covariant t => Extractable (Construction t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Construction Methods extract :: a <-\| Construction t Source #
Extractable (Equipment e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods extract :: a <-\| Equipment e 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.Primary.Functor.Tagged Methods extract :: a <-\| Tagged tag Source #
Extractable t => Extractable (Backwards t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Backwards Methods extract :: a <-\| Backwards t Source #
Extractable t => Extractable (Reverse t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Reverse Methods extract :: a <-\| Reverse t Source #
Monoid e => Extractable ((->) e :: Type -> Type) Source #
Instance details Defined in Pandora.Pattern.Functor.Extractable Methods extract :: a <-\| (->) e Source #
(Monoid e, Extractable u) => Extractable (UT Covariant Covariant ((->) e :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Imprint Methods extract :: a <-\| UT Covariant Covariant ((->) e) u Source #
Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods extract :: a <-\| TU Covariant Covariant ((:*:) e) u Source #
Extractable u => Extractable (TUT Covariant Covariant Covariant ((:*:) p) ((->) p :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods extract :: a <-\| TUT Covariant Covariant Covariant ((:*:) p) ((->) p) u Source #