CurryInfo: currycheck-4.0.0 / CurryCheck.generatorModule

definition:
generatorModule :: String
generatorModule = "Control.Search.SearchTree.Generators"
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Name of the SearchTreeGenerator module.
indeterministic:
referentially transparent operation
infix:
no fixity defined
name:
generatorModule
precedence:
no precedence defined
result-values:
{:}
signature:
String
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms