MyState

Description

A simple State monad implementation to explore it's characteristics.

Based on many articles, but principally from: The State Monad: A Tutorial for the Confused?

Synopsis

Documentation

Mock of MyState data type. (Not yet a Monad, Functor or Applicative.)

Constructors

MyState
Fields runState :: s -> (a, s)

Instances details

Applicative (MyState s) Source #
Instance details Defined in MyState Methods pure :: a -> MyState s a # (<>) :: MyState s (a -> b) -> MyState s a -> MyState s b # liftA2 :: (a -> b -> c) -> MyState s a -> MyState s b -> MyState s c # (>) :: MyState s a -> MyState s b -> MyState s b # (<*) :: MyState s a -> MyState s b -> MyState s a #
Functor (MyState s) Source #
Instance details Defined in MyState Methods fmap :: (a -> b) -> MyState s a -> MyState s b # (<$) :: a -> MyState s b -> MyState s a #
Monad (MyState s) Source #
Instance details Defined in MyState Methods (>>=) :: MyState s a -> (a -> MyState s b) -> MyState s b # (>>) :: MyState s a -> MyState s b -> MyState s b # return :: a -> MyState s a #

Returns current state.

Replace current state with the given value. Returns unit.

modify :: (s -> s) -> MyState s () Source #

Update current state using the given function.

Returns results of state function.

Returns final state.