Records.Generic

Magic record operations using Generics

These classes need not be instantiated manually, as GHC can automatically prove valid instances via Generics. Only the Generic class needs to be derived (see examples).

Magic getter

class Generic rec => HasField rec field a where

Records that have a field with a given name

Minimal complete definition

getField

Methods

getField :: rec -> Proxy field -> a

Instances

((~) (Maybe Type) (Contains field (Collect (Rep rec))) (Just Type a), Generic rec, LookupField * Symbol (Rep rec) field a) => HasField rec field a

Methods

getField :: rec -> Proxy Symbol field -> a

Subtype relationship

class Subtype a b where

Structural subtype relationship

Minimal complete definition

upcast

Methods

upcast :: a -> b

Instances

(Convert (Rep a) (Rep b), Generic a, Generic b) => Subtype a b

Methods

upcast :: a -> b