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

definition: Info
 
noGuard :: CExpr -> (CExpr, CExpr)
noGuard e = (CSymbol (pre "True"), e)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Constructs a guarded expression with the trivial guard.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {(,)}}
name: Info
 noGuard
precedence: Info
 no precedence defined
result-values: Info
 {(,)}
signature: Info
 AbstractCurry.Types.CExpr
-> (AbstractCurry.Types.CExpr, AbstractCurry.Types.CExpr)
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms