Control.Applicative Control.Monad Curry.Compiler.Distribution Data.Char Data.Either Data.Function Data.Functor.Compose Data.Functor.Const Data.Functor.Identity Data.IORef Data.List Data.Maybe Debug.Trace Numeric Prelude System.Console.GetOpt System.CPUTime System.Environment System.IO System.IO.Unsafe Test.Prop Test.Prop.Types Text.Show
|
Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations | |
|
Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations |