|
ForSyDe.AbsentExt | Portability | portable | Stability | experimental | Maintainer | forsyde-dev@ict.kth.se |
|
|
|
Description |
The AbstExt is used to extend existing data types with the value
'absent', which models the absence of a value.
|
|
Synopsis |
|
|
|
Documentation |
|
|
The data type AbstExt has two constructors. The constructor Abst is used to model the absence of a value, while the constructor Prst is used to model present values.
| Constructors | | Instances | |
|
|
|
|
|
|
Similar to fromAbstExt, but without default value
|
|
|
The function abstExt converts a usual value to a present value.
|
|
|
The function psi is identical to abstExtFunc and should be used in future.
|
|
|
The functions isAbsent checks for the absence of a value.
|
|
|
The functions isPresent checks for the presence of a value.
|
|
|
The function abstExtFunc extends a function in order to process absent extended values. If the input is ("bottom"), the output will also be ("bottom").
|
|
Produced by Haddock version 2.1.0 |