|
Database.HaskellDB.HDBRec | Portability | non-portable | Stability | experimental | Maintainer | haskelldb-users@lists.sourceforge.net |
|
|
|
|
|
Description |
This is a replacement for some of TREX.
|
|
Synopsis |
|
|
|
|
Record types
|
|
|
The empty record.
| Constructors | |
|
|
|
Constructor that adds a field to a record.
f is the field tag, a is the field value and b is the rest of the record.
| Constructors | |
|
|
|
The type used for records. This is a function
that takes a RecNil so that the user does not have to
put a RecNil at the end of every record.
|
|
Record construction
|
|
|
The empty record
|
|
|
:: l f a | Label
| -> a | Value
| -> Record (RecCons f a RecNil) | New record
| Creates one-field record from a label and a value
|
|
|
|
:: Record (RecCons f a RecNil) | Field to add
| -> b -> c | Rest of record
| -> b -> RecCons f a c | New record
| Adds the field from a one-field record to another record.
|
|
|
Labels
|
|
|
Class for field labels.
| | Methods | | Gets the name of the label.
|
|
|
|
Record predicates and operations
|
|
|
The record r has the field f if there is an instance of
HasField f r.
|
|
|
class Select f r a | f r -> a where | Source |
|
| Methods | | Field selection operator. It is overloaded so that
users (read HaskellDB) can redefine it for things
with phantom record types.
|
|
|
|
|
|
|
|
|
Showing and reading records
|
|
class ShowLabels r where | Source |
|
|
|
class ShowRecRow r where | Source |
|
Convert a record to a list of label names and field values.
| | Methods | |
|
|
class ReadRecRow r where | Source |
|
| Methods | | Convert a list of labels and strins representating values
to a record.
|
|
|
|
Produced by Haddock version 2.6.1 |