Data.Generics.Product.Types

Derive traversals of a given type in a product.

Traversals

class HasTypes s a

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 Int8 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int8 a

HasTypes Int16 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int16 a

HasTypes Int32 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int32 a

HasTypes Int64 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Int64 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 Word a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word a

HasTypes Word8 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word8 a

HasTypes Word16 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word16 a

HasTypes Word32 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word32 a

HasTypes Word64 a

Defined in Data.Generics.Product.Types

Methods

types_ :: Traversal' Word64 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

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