Control.Applicative Control.Monad Control.Search.AllValues Control.Search.SearchTree Control.Search.SetFunctions Control.Search.Unsafe 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 |