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 #

Instances

HasTypes Bool a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Bool a
HasTypes Char a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Char a
HasTypes Double a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Double a
HasTypes Float a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Float a
HasTypes Int a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Int a
HasTypes Int8 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Int8 a
HasTypes Int16 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Int16 a
HasTypes Int32 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Int32 a
HasTypes Int64 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Int64 a
HasTypes Integer a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Integer a
HasTypes Ordering a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Ordering a
HasTypes Word a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word a
HasTypes Word8 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word8 a
HasTypes Word16 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word16 a
HasTypes Word32 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word32 a
HasTypes Word64 a #
Instance details Defined in Data.Generics.Product.Types Methods types_ :: Traversal' Word64 a
HasTypes' (Interesting s a) s a => HasTypes s a #
Instance details 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]) #