definition: |
globalPersistent :: (Read a, Show a) => String -> a -> GlobalP a globalPersistent = globalP |
demand: |
no demanded arguments |
deterministic: |
deterministic operation |
documentation: |
`globalPersistent` is used only to declare a persistent global value as a top-level entity. It should not be used elsewhere. The first argument is the file name where the global value is persistently stored. The file is created and initialized with the second argument if it does not exist. |
failfree: |
(_, _) |
indeterministic: |
might be indeterministic |
infix: |
no fixity defined |
iotype: |
{(_,_) |-> {globalP}} |
name: |
globalPersistent |
precedence: |
no precedence defined |
result-values: |
{globalP} |
signature: |
(Prelude.Read a, Prelude.Show a) => String -> a -> GlobalP a |
solution-complete: |
operation might suspend on free variables |
terminating: |
possibly non-terminating |
totally-defined: |
reducible on all ground data terms |