| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Iri.Optics
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
- type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t
- type Lens' s a = Lens s s a a
- type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t)
- type Prism' s a = Prism s s a a
- type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t
- type Traversal' s a = Traversal s s a a
- textIriIri :: Prism' Text Iri
- textIriHttpIri :: Prism' Text HttpIri
- byteStringIri :: Prism' ByteString Iri
- byteStringHttpIri :: Prism' ByteString HttpIri
- byteStringTextInUtf8 :: Prism' ByteString Text
- iriHttpIri :: Prism' Iri HttpIri
- iriScheme :: Lens' Iri Scheme
- iriHierarchy :: Lens' Iri Hierarchy
- iriQuery :: Lens' Iri Query
- iriFragment :: Lens' Iri Fragment
- schemeByteString :: Lens' Scheme ByteString
- fragmentByteString :: Lens' Fragment ByteString
Documentation
type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t) Source #
type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t Source #
type Traversal' s a = Traversal s s a a Source #