ForSyDe-3.1.1: ForSyDe's Haskell-embedded Domain Specific Language. Source code Contents Index

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

data AbstExt a = Abst | Prst a fromAbstExt :: a -> AbstExt a -> a unsafeFromAbstExt :: AbstExt a -> a abstExt :: a -> AbstExt a psi :: (a -> b) -> AbstExt a -> AbstExt b isAbsent :: AbstExt a -> Bool isPresent :: AbstExt a -> Bool abstExtFunc :: (a -> b) -> AbstExt a -> AbstExt b

Documentation

data AbstExt a Source

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 Abst Prst a Instances Typeable1 AbstExt Eq a => Eq (AbstExt a) Data a => Data (AbstExt a) Read a => Read (AbstExt a) Show a => Show (AbstExt a) Lift a[a7REf] => Lift (AbstExt a[a7REf]) ProcType a => ProcType (AbstExt a)

fromAbstExt Source

:: a Default value returned if the input is Abst -> AbstExt a -> a The function fromAbstExt extracts the inner value contained in AbstExt

unsafeFromAbstExt :: AbstExt a -> a Source

Similar to fromAbstExt, but without default value

abstExt :: a -> AbstExt a Source

The function abstExt converts a usual value to a present value.

psi :: (a -> b) -> AbstExt a -> AbstExt b Source

The function psi is identical to abstExtFunc and should be used in future.

isAbsent :: AbstExt a -> Bool Source

The functions isAbsent checks for the absence of a value.

isPresent :: AbstExt a -> Bool Source

The functions isPresent checks for the presence of a value.

abstExtFunc :: (a -> b) -> AbstExt a -> AbstExt b Source

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.6.1