CurryInfo: currybrowse-3.0.0 / BrowserGUI.openNode

definition: Info
 
openNode :: Eq a => (a, [(a, [String])]) -> IO [Tree (String, [(a, [String])])]
openNode (mod,modimps) = let mbimps = lookup mod modimps in
  return $  maybe [] (map (\m->Leaf m (m,modimps))) mbimps
demand: Info
 argument 2
deterministic: Info
 deterministic operation
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,{(,)}) |-> _}
name: Info
 openNode
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Prelude.Eq a => (a, [(a, [String])])
-> Prelude.IO [Tree (String, [(a, [String])])]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term