Portability | portable |
---|---|
Stability | experimental |
Maintainer | forsyde-dev@ict.kth.se |
The AbstExt
is used to extend existing data types with the value
'absent', which models the absence of a value.
Documentation
fromAbstExt :: a -> AbstExt a -> aSource
The function fromAbstExt
converts a value from a extended value.
psi :: (a -> b) -> AbstExt a -> AbstExt bSource
The function psi
is identical to abstExtFunc
and should be used in future.
abstExtFunc :: (a -> b) -> AbstExt a -> AbstExt bSource
The function abstExtFunc
extends a function in order to process absent extended values. If the input is ("bottom"), the output will also be ("bottom").