pandora-0.3.7: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Functor.Extractable

Documentation

class Covariant t => Extractable t where Source #

Methods

extract :: a <:= t Source #

Instances

Instances details
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 #

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

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

extract :: a <:= Outline t Source #

Covariant t => Extractable (Tap t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

extract :: a <:= Tap t Source #

Covariant t => Extractable (Construction t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Extractable (Store s) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <:= Store s Source #

Monoid e => Extractable (Imprint e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: a <:= Imprint e Source #

Extractable (Equipment e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <:= Equipment e Source #

Extractable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

extract :: a <:= Tagged tag Source #

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

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

extract :: a <:= (t :> u) Source #

(Extractable t, Extractable u) => Extractable (Day t u) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

extract :: a <:= Day t u 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 #

Extractable (Schematic Comonad t u) => Extractable (t :< u) Source # 
Instance details

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Methods

extract :: a <:= (t :< u) Source #

(Adjoint t t', Extractable u) => Extractable ((t <:<.>:> t') := u) Source # 
Instance details

Defined in Pandora.Paradigm.Schemes.TUT

Methods

extract :: a <:= ((t <:<.>:> t') := u) Source #

(Extractable t, Extractable u) => Extractable (t <.:> u) Source # 
Instance details

Defined in Pandora.Paradigm.Schemes.UT

Methods

extract :: a <:= (t <.:> u) Source #

(Extractable t, Extractable u) => Extractable (t <:.> u) Source # 
Instance details

Defined in Pandora.Paradigm.Schemes.TU

Methods

extract :: a <:= (t <:.> u) Source #