Data.NamedRecord

Documentation

data a := b

Constructors

a := b

Instances

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

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

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

(Show a, Show b) => Show (:= a b)

Property (:+ (:= n v) b) n v

Property (:= n v) n v

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))]

class Property o n v | o n -> v where

Methods

get :: o -> n -> v

set :: o -> (n := v) -> o

Instances

Property b n v => Property (:+ a b) n v

Property (:+ (:= n v) b) n v

Property (:= n v) n v

add :: b -> a -> a :+ b

data a :+ b

Constructors

a :+ b

Instances

(Show a, Show b) => Show (:+ a b)

Property b n v => Property (:+ a b) n v

Property (:+ (:= n v) b) n v