Module DA.Record

Exports the record machinery necessary to allow one to annotate code that is polymorphic in the underlying record type.

Typeclasses

class HasField x r a where

getField

: r -> a

setField

: a -> r -> r