CurryInfo: abstract-curry-4.0.0 / AbstractCurry.Build.singleCConstraint

definition: Info
 
singleCConstraint :: QName -> CTypeExpr -> CConstraint
singleCConstraint qc clsarg = (qc,[clsarg])
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
A class constraint with a single parameter.
The arguments are the class name and the type parameter of the class.
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> {(,)}}
name: Info
 singleCConstraint
precedence: Info
 no precedence defined
result-values: Info
 {(,)}
signature: Info
 (String, String) -> AbstractCurry.Types.CTypeExpr
-> ((String, String), [AbstractCurry.Types.CTypeExpr])
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms