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

definition:
 
simpleRhs :: CExpr -> CRhs
simpleRhs exp = CSimpleRhs exp []
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
Transforms an expression into a simple unconditional right-hand side.
failfree:
 _
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {(_) |-> {CSimpleRhs}}
name:
 simpleRhs
precedence:
 no precedence defined
result-values:
 {CSimpleRhs}
signature:
 AbstractCurry.Types.CExpr -> AbstractCurry.Types.CRhs
solution-complete:
 operationally complete operation
terminating:
 yes
totally-defined:
 reducible on all ground data terms