iri-0.3: RFC-based International Resource Identifier library

Safe HaskellNone
LanguageHaskell2010

Iri.Optics

Contents

Description

These are the beginnings of a Lens API. It is compatible with the general Van Laarhoven lens libraries, such as "lens".

Many more definitions can be implemented, so do PRs if you miss any!

Synopsis

Definitions

type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t Source #

type Lens' s a = Lens s s a a Source #

type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t) Source #

type Prism' s a = Prism s s a a Source #

Prisms

Lenses