Fuzion Logo
flang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

quantors

🌌quantors

quantors provides forAll and exists-quantors for use in contracts qualified
for analysis.

exists quantors for use in analysis parts of contracts

These quantors can be used to check that predicates hold for at least one
value of one or several specific types.

NYI: If open generics could be passed as actual generic arguments, we no
longer need this code duplication here:
exists<A...>(f Function<bool, A>) bool is intrinsic

forAll quantors for use in analysis parts of contracts

These quantors can be used to check that predicates hold for all values
of one or several specific types.

NYI: If open generics could be passed as actual generic arguments, we no
longer need this code duplication here:
forAll<A...>(f Function<bool, A>) bool is intrinsic

short-hand forAll using '∀' symbol

short-hand exists using '∃' symbol