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

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.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 Identity Maybe

Defined in Pandora.Paradigm.Inventory.Optics

Associated Types

type Lensally Identity Maybe :: Type -> Type

Methods

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

Lensic Maybe Identity

Defined in Pandora.Paradigm.Inventory.Optics

Associated Types

type Lensally Maybe Identity :: Type -> Type

Methods

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

Orphan instances

Semigroupoid (Lens Identity)

Methods

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

Semigroupoid (Lens Maybe)

Methods

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

Category (Lens Identity)

Methods

identity :: Lens Identity a a

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

Category (Lens Maybe)

Methods

identity :: Lens Maybe a a

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

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

Methods

mult :: forall (a :: k) (b :: k). (Lens Identity source a :*: Lens Identity source b) --> Lens Identity source (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