Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Inventory.Optics

Contents

Orphan instances

Synopsis

type Lens = P_Q_T (->) Store
type family Convex lens where ...
type family Obscure lens where ...
type (#=@) source target available = forall a. Lens available (source a) (target a)
view :: Lens available source target -> source -> available target
set :: Lens available source target -> available target -> source -> source
over :: Lens available source target -> (available target -> available target) -> source -> source
represent :: forall t a. (Representable t, Setoid (Representation t)) => Representation t -> Convex Lens (t a) a

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 :: 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

Semigroupoid (Lens Identity) Source #
Instance details Methods (.) :: Lens Identity b c -> Lens Identity a b -> Lens Identity a c Source #
Semigroupoid (Lens Maybe) Source #
Instance details Methods (.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c Source #
Category (Lens Identity) Source #
Instance details Methods identity :: Lens Identity a a Source # ($) :: Lens Identity (Lens Identity a b) (Lens Identity a b) Source # (#) :: Lens Identity (Lens Identity a b) (Lens Identity a b) Source #
Category (Lens Maybe) Source #
Instance details Methods identity :: Lens Maybe a a 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 #