State -is:module
A state monad parameterized by the type
s of the state to
carry.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
Keeps track of the remaining tests and the results of the performed
tests. As each test is performed, the path is removed and the counts
are updated as appropriate.
A state monad which is strict in the state s, but lazy in the
value a.
See Note [Strict State monad] for the particular notion of strictness
and implementation details.
This is the Megaparsec's state parametrized over stream type
s and custom error component type e.
A ChaChaPoly1305 State.
The state is immutable, and only new state can be created
The encryption state for RC4
This type is an instance of
ByteArrayAccess for debugging
purpose. Internal layout is architecture dependent, may contain
uninitialized data fragments, and change in future versions. The
bytearray should not be used as input to cryptographic algorithms.
Poly1305 State
This type is an instance of
ByteArrayAccess for debugging
purpose. Internal layout is architecture dependent, may contain
uninitialized data fragments, and change in future versions. The
bytearray should not be used as input to cryptographic algorithms.
An effect for providing statefulness. Note that unlike mtl's
StateT, there is no restriction that the
State effect
corresponds necessarily to
local state. It could could just as
well be interrpeted in terms of HTTP requests or database access.
Interpreters which require statefulness can
reinterpret
themselves in terms of
State, and subsequently call
runState.
A memoized state monad parameterized by a representable functor
g, where the representatation of
g,
Rep g
is the state to carry.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
The state of an
RLock.
- Nothing indicates an "unlocked" state.
- Just (tid, n) indicates a "locked" state where the
thread identified by tid acquired the lock n
times.
Provide access to a mutable value of type s.
Provide access to a strict (WHNF), thread local, mutable value of type
s.
Provide access to a strict (WHNF), shared, mutable value of type
s.