Pandora.Pattern.Functor.Extractable
class Covariant t => Extractable t where Source #
Methods
extract :: a <-| t Source #
Defined in Pandora.Paradigm.Primary.Functor.Identity
extract :: a <-| Identity Source #
Defined in Pandora.Paradigm.Primary.Transformer.Jet
extract :: a <-| Jet t Source #
Defined in Pandora.Paradigm.Primary.Functor.Product
extract :: a0 <-| Product a Source #
Defined in Pandora.Paradigm.Primary.Transformer.Yoneda
extract :: a <-| Yoneda t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Jack
extract :: a <-| Jack t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Outline
extract :: a <-| Outline t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Tap
extract :: a <-| Tap t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Construction
extract :: a <-| Construction t Source #
Defined in Pandora.Paradigm.Inventory.Store
extract :: a <-| Store s Source #
Defined in Pandora.Paradigm.Inventory.Imprint
extract :: a <-| Imprint e Source #
Defined in Pandora.Paradigm.Inventory.Equipment
extract :: a <-| Equipment e Source #
Defined in Pandora.Paradigm.Primary.Functor.Tagged
extract :: a <-| Tagged tag Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic
extract :: a <-| (t :> u) Source #
Defined in Pandora.Paradigm.Primary.Transformer.Day
extract :: a <-| Day t u Source #
Defined in Pandora.Paradigm.Primary.Transformer.Backwards
extract :: a <-| Backwards t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Reverse
extract :: a <-| Reverse t Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic
extract :: a <-| (t :< u) Source #
Defined in Pandora.Paradigm.Schemes.TUT
extract :: a <-| ((t <:<.>:> t') := u) Source #
Defined in Pandora.Paradigm.Schemes.UT
extract :: a <-| (t <.:> u) Source #
Defined in Pandora.Paradigm.Schemes.TU
extract :: a <-| (t <:.> u) Source #