CurryInfo: global-3.2.0 / Data.Global.globalT

 
globalT :: String -> a -> GlobalT a
globalT n v = (prim_globalT $## n) v

 argument 1

 deterministic operation

 
`globalT` is used only to declare a temporary global value
as a top-level entity. It should not be used elsewhere.
The first argument is the unique name of the temporary global entity.
It should be the qualified name of the corresponding program entity.
The second argument is the initial value which will be evaluated
to a ground normal form when the global entity is used for the first time.

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,_) |-> _}

 globalT

 no precedence defined

 _

 String -> a -> GlobalT a

 operation might suspend on free variables

 yes

 reducible on all ground data terms