has-0.1: Generic Haskell's Record Accessors
Data.Has
data a :*: b Source
Constructors
Instances
class Has e s whereSource
Methods
inj :: e -> s -> sSource
prj :: s -> eSource
upd :: Has e s => (e -> e) -> s -> sSource