Pandora.Pattern.Functor.Extractable

Documentation

class Covariant_ t source source => Extractable t source where

Methods

extract :: source (t a) a

Instances

Extractable Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

extract :: Identity a -> a

Extractable ((:*:) a) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Product

Methods

extract :: (a :*: a0) -> a0

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Yoneda t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

extract :: Yoneda t a -> a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Jack t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

extract :: Jack t a -> a

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Extractable (Jet t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jet

Methods

extract :: Jet t a -> a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Outline t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

extract :: Outline t a -> a

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Extractable (Construction t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

extract :: Construction t a -> a

Extractable (Store s) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: Store s a -> a

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Extractable (Tap t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

extract :: Tap t a -> a

Monoid e => Extractable (Imprint e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: Imprint e a -> a

Extractable (Equipment e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: Equipment e a -> a

Extractable (Flip (:*:) a) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary

Methods

extract :: Flip (:*:) a a0 -> a0

Extractable (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

extract :: Tagged tag a -> a

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

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

Methods

extract :: (t :> u) a -> a

(Extractable t ((->) :: Type -> Type -> Type), Extractable u ((->) :: Type -> Type -> Type)) => Extractable (Day t u) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

extract :: Day t u a -> a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Backwards t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

extract :: Backwards t a -> a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Reverse t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

extract :: Reverse t a -> a

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

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

Methods

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

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

Defined in Pandora.Paradigm.Schemes.TUT

Methods

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

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

Defined in Pandora.Paradigm.Schemes.UT

Methods

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

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

Defined in Pandora.Paradigm.Schemes.TU

Methods

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