object
maybe¶
Types and predicates for type-checking and handling optional term references. Inspired by Haskell.
Author: Paulo Moura
Version: 0.5
Date: 2019/1/24
Compilation flags:
static, context_switching_callsPublic interface¶
cat/2¶
Returns the terms stored in the non-empty references.
Compilation flags:
staticTemplate:
cat(References,Values)Mode and number of proofs:
cat(+list(optional),-list) - oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
Type maybe(Type): Allows type-checking optional term references where the optional term must be of the given type.
QuickCheck support: Defines clauses for the arbitrary::arbitrary/1-2 predicates to allow generating random values for the maybe(Type) type.
See also