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 (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

extract :: a <-| Outline t

Extractable t => Extractable (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

extract :: a <-| Jack 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

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 (Store p)

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <-| Store p

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)

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

Defined in Pandora.Pattern.Functor.Extractable

Methods

extract :: a <-| (->) e

Extractable u => Extractable (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u)

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <-| (((:*:) p <:<.>:> (->) p) := u)

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

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: a <-| ((->) e <.:> u)

Extractable u => Extractable ((:*:) e <:.> u)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <-| ((:*:) e <:.> u)