named-records-0.1: Named records.

Safe Haskell	None

Data.NamedRecord.TH

Documentation

data Record Source

Constructors

Instances

RecordTemplate Record [:= String Name] (Q [Dec])
RecordTemplate Record (:= String Name) (Q [Dec])

record :: String -> Record Source

class RecordTemplate a b c | a b -> c whereSource

Methods

(~>) :: a -> b -> cSource

Instances

RecordTemplate Record [:= String Name] (Q [Dec])
RecordTemplate Record (:= String Name) (Q [Dec])
RecordTemplate (:= String Name) [:= String Name] [:= String Name]
RecordTemplate (:= String Name) (:= String Name) [:= String Name]

_type :: tSource

_value :: tSource

has :: RecordTemplate a b c => a -> b -> cSource