named-records-0.2.1: Flexible records with named fields.

Safe Haskell	None

Data.NamedRecord.TH

Documentation

data Record Source

Constructors

Instances

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

record :: String -> Record Source

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

Methods

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

Instances

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

_type :: tSource

value :: tSource

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