CurryInfo: verify-non-fail-2.0.0 / Verify.Helpers.stdConstructors

definition: Info 
 
stdConstructors :: [[QName]]
stdConstructors =
  [ [pre "False", pre "True"]
  , [pre "[]", pre ":"]
  , [pre "Nothing", pre "Just"]
  , [pre "Left", pre "Right"]
  , [pre "LT", pre "EQ", pre "GT"]
  , [pre "IOError", pre "UserError", pre "FailError", pre "NondetError"]
  ] ++
  map (\n -> [pre $ "(" ++ take n (repeat ',') ++ ")"]) [0 .. 8]
demand: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
documentation: Info 
 
---------------------------------------------------------------------------
Some predefined data constructors grouped by their types.
Used for testing in module CallTypes.
failfree: Info 
 ()
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {() |-> _}
name: Info 
 stdConstructors
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 [[(String, String)]]
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 possibly non-reducible on same data term