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 |
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 Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Bool a | |
HasTypes Char a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Char a | |
HasTypes Double a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Double a | |
HasTypes Float a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Float a | |
HasTypes Int a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Int a | |
HasTypes Integer a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Integer a | |
HasTypes Ordering a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' Ordering a | |
HasTypes' (Interesting s a) s a => HasTypes s a Source # | |
Defined in Data.Generics.Product.Types types_ :: Traversal' s a |
types :: forall a s. HasTypes s a => Traversal' s a Source #