Data.Generics.Product.Typed

Derive record field getters and setters generically.

Lenses

class HasType a s where

Minimal complete definition

typed | setTyped, getTyped

Methods

typed :: Lens' s a

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

getTyped :: s -> a

Get field at type

setTyped :: a -> s -> s

Set field at type

Instances

(Generic s, ErrorUnlessOne a s (CountTotalType a (Rep s)), GHasType (Rep s) a) => HasType a s

Methods

typed :: Lens' s a

getTyped :: s -> a

setTyped :: a -> s -> s

Internals

class GHasType f a where

As HasType but over generic representations as defined by GHC.Generics.

Minimal complete definition

gtyped

Methods

gtyped :: Lens' (f x) a

Instances

GHasType (K1 R a) a

Methods

gtyped :: Functor f => (a -> f a) -> K1 R a x -> f (K1 R a x)

(GHasType l a, GHasType r a) => GHasType ((:+:) l r) a

Methods

gtyped :: Functor f => (a -> f a) -> (l :+: r) x -> f ((l :+: r) x)

GProductHasType l r a (HasTotalTypeP a l) => GHasType ((:*:) l r) a

Methods

gtyped :: Functor f => (a -> f a) -> (l :*: r) x -> f ((l :*: r) x)

GHasType f a => GHasType (M1 m meta f) a

Methods

gtyped :: Functor f => (a -> f a) -> M1 m meta f x -> f (M1 m meta f x)