pandora-0.3.0: A box of patterns and paradigms
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.Outline
extract :: a <-| Outline t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Jack
extract :: a <-| Jack t Source #
Defined in Pandora.Paradigm.Inventory.Imprint
extract :: a <-| Imprint e Source #
Defined in Pandora.Paradigm.Inventory.Store
extract :: a <-| Store p Source #
Defined in Pandora.Paradigm.Inventory.Equipment
extract :: a <-| Equipment e 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.Controlflow.Effect.Transformer.Monadic
extract :: a <-| (t :> u) Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic
extract :: a <-| (t :< u) Source #
Defined in Pandora.Paradigm.Primary.Functor.Tagged
extract :: a <-| Tagged tag 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.Pattern.Functor.Extractable
extract :: a <-| (->) e Source #
extract :: a <-| (((:*:) p <:<.>:> (->) p) := u) Source #
extract :: a <-| ((->) e <.:> u) Source #
extract :: a <-| ((:*:) e <:.> u) Source #