Pandora.Paradigm.Inventory.Some.Optics

Documentation

type Lens = P_Q_T (->) Store

type family Convex lens where ...

Equations

Convex Lens = Lens Exactly

type family Obscure lens where ...

Equations

Obscure Lens = Lens Maybe

type (#=@) source target available = forall a. Lens available (source a) (target a) infixl 7

type (@>>>) source target = forall a. Lens target (source a) a infixr 6

represent :: forall t a. (Representable t, Setoid (Representation t)) => Representation t -> Convex Lens (t a) a

Representable based lens

class Lensic previous next where

Associated Types

type Lensally previous next :: * -> *

Methods

(>>>) :: Lens previous source between -> Lens next between target -> Lens (Lensally previous next) source target

Instances

Semigroupoid (Lens t) => Lensic t t

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Lensally t t :: Type -> Type

Methods

(>>>) :: Lens t source between -> Lens t between target -> Lens (Lensally t t) source target

Lensic Exactly Maybe

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Lensally Exactly Maybe :: Type -> Type

Methods

(>>>) :: Lens Exactly source between -> Lens Maybe between target -> Lens (Lensally Exactly Maybe) source target

Lensic Maybe Exactly

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Lensally Maybe Exactly :: Type -> Type

Methods

(>>>) :: Lens Maybe source between -> Lens Exactly between target -> Lens (Lensally Maybe Exactly) source target

view :: Lens i source target -> source -> i target

replace :: forall i source target. i target -> Lens i source target -> source -> source

mutate :: (i target -> i target) -> Lens i source target -> source -> source

transwrap :: (Covariant (->) (->) u, Liftable (->) t, Lowerable (->) t) => (Lens u < t u e) < e

primary :: Interpreted (->) t => (Lens Exactly < t a) < Primary t a

Orphan instances

Semigroupoid (Lens Exactly)

Methods

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

Semigroupoid (Lens Maybe)

Methods

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

Category (Lens Exactly)

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)

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)

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)

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)

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)

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)

Associated Types

type Getting (Lens Exactly) e r

Methods

get :: Getting (Lens Exactly) e r

Gettable (Lens Maybe)

Associated Types

type Getting (Lens Maybe) e r

Methods

get :: Getting (Lens Maybe) e r

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

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)

Associated Types

type Modification (Lens t) e r

Methods

modify :: Modification (Lens t) e r