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

definition: Info
 
pVars :: Int -> [CPattern]
pVars n = [CPVar (i,"x"++show i) | i<-[0..n-1]] 
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Constructs, for given n, a list of n PVars starting from 0.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {:,[]}}
name: Info
 pVars
precedence: Info
 no precedence defined
result-values: Info
 {:,[]}
signature: Info
 Prelude.Int -> [AbstractCurry.Types.CPattern]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term