pandora-0.4.2: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Inventory.Optics

Synopsis

Documentation

type Lens = P_Q_T (->) Store Source #

type family Convex lens where ... Source #

Equations

Convex Lens = Lens Identity 

type family Obscure lens where ... Source #

Equations

Obscure Lens = Lens Maybe 

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

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

Get focused target value

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

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

Modify focused target value

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

Representable based lens

Orphan instances

Category (Lens Identity) Source # 
Instance details

Category (Lens Maybe) Source # 
Instance details

Methods

identity :: Lens Maybe a a Source #

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

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

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

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Identity source target :: Type) Source # 
Instance details

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

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

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 #