Data.NamedRecord

Documentation

data a := b

Constructors

a := b

Instances

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

RecordTemplate Record (:= String Name) (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] [:= String Name]

RecordTemplate (:= String Name) (:= String Name) [:= String Name]

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