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