RSolve.MultiState

state monads extended to have branches Author: Taine Zhao(thautwarm) Date: 2018-12 License: MIT

Documentation

newtype MS s a

Constructors

MS

Fields

• runMS :: s -> [(a, s)]

Instances

Monad (MS s)

Defined in RSolve.MultiState

Methods

(>>=) :: MS s a -> (a -> MS s b) -> MS s b

(>>) :: MS s a -> MS s b -> MS s b

return :: a -> MS s a

fail :: String -> MS s a

Functor (MS s)

Defined in RSolve.MultiState

Methods

fmap :: (a -> b) -> MS s a -> MS s b

(<$) :: a -> MS s b -> MS s a

MonadFail (MS s)

Defined in RSolve.MultiState

Methods

fail :: String -> MS s a

Applicative (MS s)

Defined in RSolve.MultiState

Methods

pure :: a -> MS s a

(<*>) :: MS s (a -> b) -> MS s a -> MS s b

liftA2 :: (a -> b -> c) -> MS s a -> MS s b -> MS s c

(*>) :: MS s a -> MS s b -> MS s b

(<*) :: MS s a -> MS s b -> MS s a

Alternative (MS s)

Defined in RSolve.MultiState

Methods

empty :: MS s a

(<|>) :: MS s a -> MS s a -> MS s a

some :: MS s a -> MS s [a]

many :: MS s a -> MS s [a]

getMS :: MS s s

putMS :: s -> MS s ()

getsMS :: (s -> a) -> MS s a

modifyMS :: (s -> s) -> MS s ()