Ether.State

MonadState class

class MonadState tag s m

get

put

state

modify

gets

The State monad

type State tag r

runState

evalState

execState

The StateT monad transformer

type StateT tag s

stateT

runStateT

evalStateT

execStateT

The State monad (lazy)

type LazyState tag r

runLazyState

evalLazyState

execLazyState

The StateT monad transformer (lazy)

type LazyStateT tag s

lazyStateT

runLazyStateT

evalLazyStateT

execLazyStateT

The State monad (flattened)

type States s

runStates

The StateT monad transformer (flattened)

type StatesT s

runStatesT

MonadState class (implicit)

type MonadState' s

get'

put'

state'

modify'

gets'

The State monad (implicit)

type State' s

runState'

evalState'

execState'

The StateT monad transformer (implicit)

type StateT' s

stateT'

runStateT'

evalStateT'

execStateT'

The State monad (lazy, implicit)

type LazyState' s

runLazyState'

evalLazyState'

execLazyState'

The StateT monad transformer (lazy, implicit)

type LazyStateT' s

lazyStateT'

runLazyStateT'

evalLazyStateT'

execLazyStateT'

Zoom

type ZoomT t z

zoom

Internal labels

data TAGGED e t

data STATE

type family STATES (ts :: HList xs) :: [Type] where ...

data ZOOM t z