CurryInfo: graph-inductive-3.0.0 / Data.GraphInductive.lpre'

definition: Info
 
lpre' :: Context _ b -> [(Node,b)] 
lpre' (p,_,_,_) = map flip2 p
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
All 'Node's linked from in a 'Context', and the label of the links.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({(,,,)}) |-> {:,[]}}
name: Info
 lpre'
precedence: Info
 no precedence defined
result-values: Info
 {:,[]}
signature: Info
 ([(a, Prelude.Int)], Prelude.Int, b, [(a, Prelude.Int)]) -> [(Prelude.Int, a)]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms