Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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)
- type (@>>>) source target = forall a. Lens target (source a) a
- represent :: forall t a. (Representable t, Setoid (Representation t)) => Representation t -> Convex Lens (t a) a
- class Lensic previous next where
- 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
Documentation
type (#=@) source target available = forall a. Lens available (source a) (target a) infixl 2 Source #
represent :: forall t a. (Representable t, Setoid (Representation t)) => Representation t -> Convex Lens (t a) a Source #
Representable based lens
class Lensic previous next where Source #
(>>>) :: Lens previous source between -> Lens next between target -> Lens (Lensally previous next) source target Source #
transwrap :: (Covariant (->) (->) u, Liftable (->) t, Lowerable (->) t) => (Lens u < t u e) < e Source #