CurryInfo: rewriting-3.0.0 / Rewriting.Position.eps

definition:
eps :: Pos
eps = []
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- The root position of a term.
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {[]}}
name:
eps
precedence:
no precedence defined
result-values:
{[]}
signature:
[Prelude.Int]
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms