System.REPL.State

Helper functions relating to State.

Convenience functions for handling state

These can be convenient when one wishes to to extract a number of elements from the current state via pattern -matching, e.g.

 data State = State{f::a,g::b,h::c}
    ...
    do (x,z) <- get2 f h
       ...do something with x and z...

get1 :: Monad m => (s -> a) -> StateT s m a

Extracts a result from the current state. Defined as get1 f = liftM f get.

get2 :: Monad m => (s -> a) -> (s -> b) -> StateT s m (a, b)

Extracts two results from the current state.

get3 :: Monad m => (s -> a) -> (s -> b) -> (s -> c) -> StateT s m (a, b, c)

Extracts three results from the current state.

get4 :: Monad m => (s -> a) -> (s -> b) -> (s -> c) -> (s -> d) -> StateT s m (a, b, c, d)

Extracts four results from the current state.

get5 :: Monad m => (s -> a) -> (s -> b) -> (s -> c) -> (s -> d) -> (s -> e) -> StateT s m (a, b, c, d, e)

Extracts five results from the current state.

get6 :: Monad m => (s -> a) -> (s -> b) -> (s -> c) -> (s -> d) -> (s -> e) -> (s -> f) -> StateT s m (a, b, c, d, e, f)

Extracts six results from the current state.

get7 :: Monad m => (s -> a) -> (s -> b) -> (s -> c) -> (s -> d) -> (s -> e) -> (s -> f) -> (s -> g) -> StateT s m (a, b, c, d, e, f, g)

Extracts seven results from the current state.

get8 :: Monad m => (s -> a) -> (s -> b) -> (s -> c) -> (s -> d) -> (s -> e) -> (s -> f) -> (s -> g) -> (s -> h) -> StateT s m (a, b, c, d, e, f, g, h)

Extracts eight results from the current state.