Module Analysis.NondetOps

Nondeterminism analysis: checks whether operations encapsulate or produce non-deterministic values

Author: Michael Hanus

Version: February 2023

Summary of exported operations:

showNondet :: AOutFormat -> Nondet -> String  Deterministic 
nondetOperations :: Analysis Nondet  Deterministic 
Non-determinism type analysis.

Exported datatypes:


Nondet

Data type to represent the (non-)determinism status of expressions and functions.

Constructors:

  • Det :: Nondet
  • Nondet :: Nondet
  • FunD :: Nondet -> Nondet -> Nondet

Exported operations:

showNondet :: AOutFormat -> Nondet -> String  Deterministic 

nondetOperations :: Analysis Nondet  Deterministic 

Non-determinism type analysis.