StateT
A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
mtl Control.Monad.State.Lazy Control.Monad.State.Strict,
protolude Protolude,
relude Relude.Monad.Reexport,
rio RIO.State,
monads-tf Control.Monad.State.Lazy Control.Monad.State.Strict,
pipes-parse Pipes.Parse,
universum Universum.Monad.Reexport,
rebase Rebase.Prelude,
mtl-prelude MTLPrelude,
dunai Control.Monad.Trans.MSF.State,
has-transformers Control.Monad.Trans.Has.State,
mempack Data.MemPack,
monadology Control.Monad.Ology.Specific.StateT A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by:
- g - A representable functor used to memoize results for a
state Rep g
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by:
- s - The state.
- m - The inner monad.
The
return function leaves the state unchanged, while
>>= uses the final state of the first computation as
the initial state of the second.
A state transformer monad parameterized by the state and inner monad.
The implementation is copied from the transformers package with the
return tuple swapped.
The possible types of states of an object
Indicates a window is currently the active window, or an object is the
active subelement within a container or table. ATK_STATE_ACTIVE should
not be used for objects which have ATK_STATE_FOCUSABLE or
ATK_STATE_SELECTABLE: Those objects should use ATK_STATE_FOCUSED and
ATK_STATE_SELECTED respectively. ATK_STATE_ACTIVE is a means to
indicate that an object which is not focusable and not selectable is
the currently-active item within its parent container.
Indicates that the object changes its appearance dynamically as an
inherent part of its presentation. This state may come and go if an
object is only temporarily animated on the way to a 'final' onscreen
presentation. **note**: some applications, notably content viewers,
may not be able to detect all kinds of animated content. Therefore the
absence of this state should not be taken as definitive evidence that
the object's visual representation is static; this state is advisory.
Indicates that the object is 'armed', i.e. will be activated by if a
pointer button-release event occurs within its bounds. Buttons often
enter this state when a pointer click occurs within their bounds, as a
precursor to activation. ATK_STATE_ARMED has been deprecated since
ATK-2.16 and should not be used in newly-written code.
Indicates the current object is busy, i.e. onscreen representation is
in the process of changing, or the object is temporarily unavailable
for interaction due to activity already in progress. This state may be
used by implementors of Document to indicate that content loading is
underway. It also may indicate other 'pending' conditions; clients may
wish to interrogate this object when the ATK_STATE_BUSY flag is
removed.
Indicates this object has the potential to be checked, such as a
checkbox or toggle-able table cell. since: ATK-2.12
Indicates this object is currently checked, for instance a checkbox is
'non-empty'.