|
FRP.Grapefruit.Record.Optionality |
|
|
Description |
This module provides support for optionality records.
Optionality records are used to specify interfaces with optional input data. Compared to an
ordinary record type, an optionality record type states for every field whether it is required
or optional. This is done by a slight abuse of field names. A field name name is replaced by
either Req name or Opt name. Optionality record types are never used directly in
types of actual values. Instead, they are converted into ordinary record types with the type
functions All and Required.
|
|
Synopsis |
|
|
|
Documentation |
|
|
A marker for required fields.
|
|
|
|
A marker for optional fields.
|
|
|
|
The class of all optionality record types.
| | Associated Types | type All optRecord :: * -> * | Source |
| Converts an optionality record type into an ordinary record type by dropping all Req
and Opt annotations.
|
| | type Required optRecord :: * -> * | Source |
| Extracts all required fields from an optionality record type and drops their Req
annotations.
|
|
| | Methods | | | Instances | |
|
|
Produced by Haddock version 2.4.2 |