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_callsProvides:
Uses:
Remarks:
Type-checking support: Defines type
maybe(Type)for checking optional term references where 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 the maybe(Type) type.
Protected predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)