Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Schemes.P_Q_T

Documentation

newtype P_Q_T (p :: * -> * -> *) (q :: * -> * -> *) (t :: * -> *) (a :: *) (b :: *) Source #

Constructors

P_Q_T (p a (q (t b) a))

Instances

Instances details

Semigroupoid (Lens Identity) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Methods (.) :: Lens Identity b c -> Lens Identity a b -> Lens Identity a c Source #
Semigroupoid (Lens Maybe) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Methods (.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c Source #
Category (Lens Identity) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Methods identity :: Lens Identity a a Source # (#) :: Lens Identity (Lens Identity a b) (Lens Identity a b) Source #
Category (Lens Maybe) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Methods identity :: Lens Maybe a a Source # (#) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
Semimonoidal (-->) (::) (::) (Lens Identity source :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Methods mult :: forall (a :: k) (b :: k). (Lens Identity source a :: Lens Identity source b) --> Lens Identity source (a :: b) Source #
Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Associated Types type Arguments (P_Q_T (->) Store Identity source target) = (args :: Type) Source # Methods imply :: Arguments (P_Q_T (->) Store Identity source target) Source #
Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Associated Types type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type) Source # Methods imply :: Arguments (P_Q_T (->) Store Maybe source target) Source #
Invariant (Flip (Lens available) tgt) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Methods (<!<) :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b Source # invmap :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b Source #
Gettable (Lens Identity) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Associated Types type Getting (Lens Identity) e r Source # Methods get :: Getting (Lens Identity) e r Source #
Gettable (Lens Maybe) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Associated Types type Getting (Lens Maybe) e r Source # Methods get :: Getting (Lens Maybe) e r Source #
Pointable t => Settable (Lens t :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Associated Types type Setting (Lens t) e r Source # Methods set :: Setting (Lens t) e r Source #
(Gettable (Lens t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Pointable t) => Modifiable (Lens t :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics Associated Types type Modification (Lens t) e r Source # Methods modify :: Modification (Lens t) e r Source #
Interpreted ((->) :: Type -> Type -> Type) (P_Q_T p q t a) Source #
Instance details Defined in Pandora.Paradigm.Schemes.P_Q_T Associated Types type Primary (P_Q_T p q t a) a Source # Methods run :: P_Q_T p q t a a0 -> Primary (P_Q_T p q t a) a0 Source # unite :: Primary (P_Q_T p q t a) a0 -> P_Q_T p q t a a0 Source # (!) :: P_Q_T p q t a a0 -> Primary (P_Q_T p q t a) a0 Source # (\|\|=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary (P_Q_T p q t a) a0 -> Primary u b) -> P_Q_T p q t a a0 -> u b Source # (=\|\|) :: (Semigroupoid (->), Interpreted (->) u) => (P_Q_T p q t a a0 -> u b) -> Primary (P_Q_T p q t a) a0 -> Primary u b Source # (<$\|\|=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary (P_Q_T p q t a) a0 -> Primary u b) -> (j := P_Q_T p q t a a0) -> (j := u b) Source # (=\|\|$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (P_Q_T p q t a a0 -> u b) -> (j := Primary (P_Q_T p q t a) a0) -> (j := Primary u b) Source #
type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type) = (source -> target) -> (source -> target -> source) -> Lens Identity source target
type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type) = (source -> Maybe target) -> (source -> Maybe target -> source) -> Lens Maybe source target
type Getting (Lens Identity) source target Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics type Getting (Lens Identity) source target = Lens Identity source target -> source -> target
type Getting (Lens Maybe) source target Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics type Getting (Lens Maybe) source target = Lens Maybe source target -> source -> Maybe target
type Setting (Lens t :: Type -> Type -> Type) source target Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics type Setting (Lens t :: Type -> Type -> Type) source target = target -> Lens t source target -> source -> source
type Modification (Lens t :: Type -> Type -> Type) source target Source #
Instance details Defined in Pandora.Paradigm.Inventory.Some.Optics type Modification (Lens t :: Type -> Type -> Type) source target = (target -> target) -> Lens t source target -> source -> source
type Primary (P_Q_T p q t a) b Source #
Instance details Defined in Pandora.Paradigm.Schemes.P_Q_T type Primary (P_Q_T p q t a) b = p a (q (t b) a)