RSolve.BrMonad

Documentation

newtype Br s a

Constructors

Br

Fields

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

Instances

Monad (Br s)

Defined in RSolve.BrMonad

Methods

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

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

return :: a -> Br s a

fail :: String -> Br s a

Functor (Br s)

Defined in RSolve.BrMonad

Methods

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

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

MonadFail (Br s)

Defined in RSolve.BrMonad

Methods

fail :: String -> Br s a

Applicative (Br s)

Defined in RSolve.BrMonad

Methods

pure :: a -> Br s a

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

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

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

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

Alternative (Br s)

Defined in RSolve.BrMonad

Methods

empty :: Br s a

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

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

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

getBy :: (t -> a) -> Br t a

putBy :: (t -> t) -> Br t ()