Copyright	(C) 2018 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

Traversals

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
type Interesting f a = Snd (Interesting' (Rep f) a '[f])

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 Methods types_ :: Traversal' Double a
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 Methods types_ :: Traversal' Integer a
HasTypes Ordering a Source #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Ordering a
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 Methods types_ :: Traversal' Word16 a
HasTypes Word32 a Source #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word32 a
HasTypes Word64 a Source #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word64 a
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 #