Pandora.Paradigm.Inventory.Optics

Documentation

type Lens = P_Q_T (->) Store

type family Convex lens where ...

Equations

Convex Lens = Lens Identity

type family Obscure lens where ...

Equations

Obscure Lens = Lens Maybe

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

view :: Lens available source target -> source -> available target

Get focused target value

set :: Lens available source target -> available target -> source -> source

over :: Covariant available => Lens available source target -> (available target -> available target) -> source -> source

Modify focused target value

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

Representable based lens

Orphan instances

Category (Lens Identity)

Methods

identity :: Lens Identity a a

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

($) :: Lens Identity (Lens Identity a b) (Lens Identity a b)

(#) :: Lens Identity (Lens Identity a b) (Lens Identity a b)

Category (Lens Maybe)

Methods

identity :: Lens Maybe a a

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

($) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(#) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

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

Associated Types

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

Methods

imply :: Arguments (P_Q_T (->) Store Identity 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