CurryInfo: currybrowse-3.0.0 / BrowserGUI.storeTrees

definition:
storeTrees :: IORef GuiState -> ImportTree -> IO ()
storeTrees gs trees = do
  (GS _ mm ms _ ct _ fana) <- readIORef gs
  writeIORef gs (GS trees mm ms [] ct False fana)
demand:
no demanded arguments
deterministic:
deterministic operation
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_) |-> _}
name:
storeTrees
precedence:
no precedence defined
result-values:
_
signature:
Data.IORef.IORef GuiState -> [Tree (String, [(String, [String])])]
-> Prelude.IO ()
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms