CurryInfo: rw-data-generator-2.0.0 / RW.Build.fromIndex0

definition:
fromIndex0 :: [a] -> [Int]
fromIndex0 = fromIndex 0
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Generates a list [0,1,2,...] with the same length as the input list
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {fromIndex}}
name:
fromIndex0
precedence:
no precedence defined
result-values:
{fromIndex}
signature:
[a] -> [Prelude.Int]
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
reducible on all ground data terms