pandora-0.2.2: 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.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 (Storage p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Storage

Methods

extract :: a <-| Storage p Source #

Extractable t => Extractable (Jack t) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Jack

Methods

extract :: a <-| Jack t Source #

Extractable (Schema t u) => Extractable (t :> u) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

extract :: a <-| (t :> u) Source #

Extractable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

extract :: a <-| Tagged tag Source #