generic-lens-1.1.0.0: Generically derive traversals, lenses and prisms.

Copyright(C) 2018 Csongor Kiss
LicenseBSD3
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Data.Generics.Product.Types

Contents

Description

Derive traversals of a given type in a product.

Synopsis

Traversals

class HasTypes s a Source #

Instances
HasTypes Bool a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Bool a

HasTypes Char a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Char a

HasTypes Double a Source # 
Instance details

Defined in Data.Generics.Product.Types

HasTypes Float a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Float a

HasTypes Int a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int a

HasTypes Int8 a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int8 a

HasTypes Int16 a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int16 a

HasTypes Int32 a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int32 a

HasTypes Int64 a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int64 a

HasTypes Integer a Source # 
Instance details

Defined in Data.Generics.Product.Types

HasTypes Ordering a Source # 
Instance details

Defined in Data.Generics.Product.Types

HasTypes Word a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word a

HasTypes Word8 a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word8 a

HasTypes Word16 a Source # 
Instance details

Defined in Data.Generics.Product.Types

HasTypes Word32 a Source # 
Instance details

Defined in Data.Generics.Product.Types

HasTypes Word64 a Source # 
Instance details

Defined in Data.Generics.Product.Types

HasTypes' (Interesting s a) s a => HasTypes s a Source # 
Instance details

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' s a

types :: forall a s. HasTypes s a => Traversal' s a Source #

type Interesting f a = Snd (Interesting' (Rep f) a '[f]) Source #