Pandora.Paradigm.Schemes.P_Q_T

Documentation

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

Constructors

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

Instances

Semigroupoid (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(.) :: Lens Exactly b c -> Lens Exactly a b -> Lens Exactly a c

Semigroupoid (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c

Category (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

identity :: Lens Exactly a a

(<--------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<-------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<-----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<---) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<--) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(-------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(------>) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(----->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(---->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(--->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(-->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

Category (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

identity :: Lens Maybe a a

(<--------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<-------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<-----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<---) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<--) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(-------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(------>) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(----->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(---->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(--->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(-->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

Semimonoidal (-->) (:*:) (:*:) (Lens Exactly source :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

mult :: forall (a :: k) (b :: k). (Lens Exactly source a :*: Lens Exactly source b) --> Lens Exactly source (a :*: b)

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Arguments (P_Q_T (->) Store Exactly source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Exactly source target)

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Maybe source target)

Invariant (Flip (Lens available) tgt)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(<!<) :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

invmap :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

Gettable (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Getting (Lens Exactly) e r

Methods

get :: Getting (Lens Exactly) e r

Gettable (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Getting (Lens Maybe) e r

Methods

get :: Getting (Lens Maybe) e r

Pointable t => Settable (Lens t :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Setting (Lens t) e r

Methods

set :: Setting (Lens t) e r

(Gettable (Lens t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Pointable t) => Modifiable (Lens t :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Modification (Lens t) e r

Methods

modify :: Modification (Lens t) e r

Interpreted ((->) :: Type -> Type -> Type) (P_Q_T p q t a)

Defined in Pandora.Paradigm.Schemes.P_Q_T

Associated Types

type Primary (P_Q_T p q t a) a

Methods

run :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

unite :: ((->) < Primary (P_Q_T p q t a) a0) < P_Q_T p q t a a0

(<~~~~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(<~) :: ((->) < P_Q_T p q t a a0) < Primary (P_Q_T p q t a) a0

(=#-) :: (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

(-#=) :: (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

(<$=#-) :: (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)

(-#=$>) :: (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)

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type) = (source -> target) -> (source -> target -> source) -> Lens Exactly source target

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type)

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 Exactly) source target

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Getting (Lens Exactly) source target = Lens Exactly source target -> source -> target

type Getting (Lens Maybe) source target

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

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

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

Defined in Pandora.Paradigm.Schemes.P_Q_T

type Primary (P_Q_T p q t a) b = p a (q (t b) a)