object
maybe
¶
Types and predicates for type-checking and handling optional terms. Inspired by Haskell.
Author: Paulo Moura
Version: 0:6:0
Date: 2019-11-26
Compilation flags:
static, context_switching_calls
Provides:
Uses:
Remarks:
Type-checking support: Defines type
maybe(Type)
for checking optional terms where the value hold by 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 themaybe(Type)
type.
Inherited public predicates:
(none)
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)