| definition: |
setMainContentsModule :: IORef GuiState -> String -> ContentsKind -> String
-> IO ()
setMainContentsModule gs cntmod cntkind contents = do
(GS t mm ms fs _ flag fana) <- readIORef gs
writeIORef gs (GS t mm ms fs
(if cntkind==OtherText then "" else cntmod,cntkind,contents)
flag fana)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_) |-> _}
|
| name: |
setMainContentsModule |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Data.IORef.IORef GuiState -> String -> BrowserAnalysisTypes.ContentsKind -> String -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |