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.Typed

Contents

Description

Derive record field getters and setters generically.

Synopsis

Lenses

class HasType a s where Source #

Records that have a field with a unique type.

Minimal complete definition

Methods

A lens that focuses on a field with a unique type in its parent type. Compatible with the lens package's Lens type.

>>> human ^. typed @Int
50

Get field at type.

setTyped :: a -> s -> s Source #

Set field at type.

Instances

(Generic s, ErrorUnlessOne a s (CountTotalType a (Rep s)), GHasType (Rep s) a) => HasType a s Source #
Methods typed :: Lens' s a Source # getTyped :: s -> a Source # setTyped :: a -> s -> s Source #