Pandora.Pattern.Functor.Extractable

Documentation

class Covariant t => Extractable t where

Methods

extract :: a <-| t

Instances

Extractable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

extract :: a <-| Identity

Covariant t => Extractable (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

extract :: a <-| Jet t

Extractable (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

extract :: a0 <-| Product a

Extractable (Store p)

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <-| Store p

Extractable t => Extractable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

extract :: a <-| Yoneda t

Extractable t => Extractable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

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

Covariant t => Extractable (Twister t)

Defined in Pandora.Paradigm.Basis.Twister

Methods

extract :: a <-| Twister t

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

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

Methods

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

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

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

Methods

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

Extractable (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

extract :: a <-| Tagged tag

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

Defined in Pandora.Pattern.Functor.Extractable

Methods

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

(Monoid e, Extractable u) => Extractable (UT Covariant Covariant ((->) e :: Type -> Type) u)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: a <-| UT Covariant Covariant ((->) e) u

Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <-| TU Covariant Covariant ((:*:) e) u

Extractable u => Extractable (TUT Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type))

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <-| TUT Covariant Covariant Covariant ((:*:) p) u ((->) p)