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)
- represent :: forall t a. (Representable t, Setoid (Representation t)) => Representation t -> Convex Lens (t a) a
- class Lensic previous next where
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 #