IdrisDoc
: Effect.State
Index
Effect.State
updateM
:
(
x
->
y
) ->
Eff
()
[
STATE
x
]
[
STATE
y
]
update
:
(
x
->
x
) ->
Eff
()
[
STATE
x
]
putM
:
y
->
Eff
()
[
STATE
x
]
[
STATE
y
]
put
:
x
->
Eff
()
[
STATE
x
]
locally
:
x
->
Eff
t
[
STATE
x
]
->
Eff
t
[
STATE
y
]
get
:
Eff
x
[
STATE
x
]
data
State
:
Effect
Get
:
sig
State
a
a
Put
:
b
->
sig
State
()
a
b
STATE
:
Type
->
EFFECT