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

Safe HaskellNone

Data.NamedRecord

Documentation

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

Methods

get :: o -> n -> vSource

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

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 :+ bSource

data a :+ b Source

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