pandora-0.2.7: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

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

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

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

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 #