Pandora.Pattern.Functor.Extractable

Documentation

class Covariant t => Extractable t where

Methods

extract :: a <:= t

Instances

Extractable Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

extract :: a <:= Identity

Covariant t => Extractable (Jet t)

Defined in Pandora.Paradigm.Primary.Transformer.Jet

Methods

extract :: a <:= Jet t

Extractable (Product a)

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

extract :: a0 <:= Product a

Extractable t => Extractable (Yoneda t)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

extract :: a <:= Yoneda t

Extractable t => Extractable (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

extract :: a <:= Jack t

Extractable t => Extractable (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

extract :: a <:= Outline t

Covariant t => Extractable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

extract :: a <:= Tap t

Covariant t => Extractable (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

extract :: a <:= Construction t

Extractable (Store s)

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <:= Store s

Monoid e => Extractable (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: a <:= Imprint e

Extractable (Equipment e)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <:= Equipment e

Extractable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

extract :: a <:= Tagged tag

Extractable (Schematic Monad t u) => Extractable (t :> u)

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

Methods

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

(Extractable t, Extractable u) => Extractable (Day t u)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

extract :: a <:= Day t u

Extractable t => Extractable (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

extract :: a <:= Backwards t

Extractable t => Extractable (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

extract :: a <:= Reverse t

Extractable (Schematic Comonad t u) => Extractable (t :< u)

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

Methods

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

(Adjoint t t', Extractable u) => Extractable ((t <:<.>:> t') := u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

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

(Extractable t, Extractable u) => Extractable (t <.:> u)

Defined in Pandora.Paradigm.Schemes.UT

Methods

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

(Extractable t, Extractable u) => Extractable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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