| Copyright | (C) 2017 Csongor Kiss |
|---|---|
| License | BSD3 |
| Maintainer | Csongor Kiss <kiss.csongor.kiss@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.Generics.Product.Types
Contents
Description
Derive traversals of a given type in a product.
Synopsis
- class HasTypes s a
- types :: forall a s. HasTypes s a => Traversal' s a
Traversals
Instances
| HasTypes Bool a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Bool a | |
| HasTypes Char a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Char a | |
| HasTypes Double a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Double a | |
| HasTypes Float a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Float a | |
| HasTypes Int a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Int a | |
| HasTypes Integer a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Integer a | |
| HasTypes Ordering a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Ordering a | |
| HasTypes' (Interesting s a) s a => HasTypes s a # | |
Defined in Data.Generics.Product.Types Methods types_ :: Traversal' s a | |
types :: forall a s. HasTypes s a => Traversal' s a #