CurryInfo: searchtree-unsafe-3.0.0 / Control.Search.SearchTree.Unsafe.varId

definition: Info
 
varId :: a -> Int
varId x =
  maybe (error "Control.Search.SearchTree.Unsafe.varId: argument not a variable")
        id
        (lookupVarId x)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Returns the unique identifier of a free variable,
if the argument was not a free variable, otherwise an error is raised.
This function is only meaningful when applied to
a part of a result of an encapsulated expression
if the argument stems from a `Value` node of
a SearchTree
failfree: Info
 _
indeterministic: Info
 might be indeterministic
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> _}
name: Info
 varId
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 a -> Prelude.Int
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms