Copyright	(C) 2012-16 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	GHC
Safe Haskell	None
Language	Haskell98

Generics.Deriving.Lens

Contents

Description

Note: Generics.Deriving exports a number of names that collide with Control.Lens.

You can use hiding to mitigate this to an extent, and the following import represents a fair compromise for user code:

import Generics.Deriving hiding (from, to)

You can use generic to replace from and to from Generics.Deriving.

Synopsis

Isomorphisms for `GHC.Generics`

Convert from the data type to its representation (or back)

>>> "hello"^.generic.from generic :: String
"hello"

Convert from the data type to its representation (or back)

Generic Traversal

A Generic Traversal that visits every occurrence of something Typeable anywhere in a container.

>>> allOf tinplate (=="Hello") (1::Int,2::Double,(),"Hello",["Hello"])
True

>>> mapMOf_ tinplate putStrLn ("hello",[(2 :: Int, "world!")])
hello
world!

Used to traverse Generic data by uniplate.

Minimal complete definition

tinplated

Instances

GTraversal V1 Source
Methods tinplated :: Typeable * b => Maybe TypeRep -> Traversal' (V1 a) b
GTraversal U1 Source
Methods tinplated :: Typeable * b => Maybe TypeRep -> Traversal' (U1 a) b
(Generic a, GTraversal (Rep a), Typeable * a) => GTraversal (K1 i a) Source
Methods tinplated :: Typeable * c => Maybe TypeRep -> Traversal' (K1 i a b) c
(GTraversal f, GTraversal g) => GTraversal ((:+:) f g) Source
Methods tinplated :: Typeable * b => Maybe TypeRep -> Traversal' ((f :+: g) a) b
(GTraversal f, GTraversal g) => GTraversal ((:*:) f g) Source
Methods tinplated :: Typeable * b => Maybe TypeRep -> Traversal' ((f :*: g) a) b
GTraversal a => GTraversal (M1 i c a) Source
Methods tinplated :: Typeable * d => Maybe TypeRep -> Traversal' (M1 i c a b) d