object
maybe
Types and predicates for type-checking and handling optional terms. Inspired by Haskell.
Availability:
logtalk_load(optionals(loader))Author: Paulo Moura
Version: 0:7:0
Date: 2021-01-03
Compilation flags:
static, context_switching_callsProvides:
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-2predicates to allow generating random values for themaybe(Type)type.
Inherited public predicates:
(none)
Public predicates
cat/2
Returns the values stored in the non-empty optional terms.
Compilation flags:
staticTemplate:
cat(Optionals,Values)Mode and number of proofs:
cat(+list(optional),-list) - oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)
See also