Control.Monad.Push

Documentation

data Res a

The internal return type of a push action. The Int value is the new vector used length.

Constructors

Res !Int !a

Instances

Functor Res

Methods

fmap :: (a -> b) -> Res a -> Res b

(<$) :: a -> Res b -> Res a

newtype Push v p a

A monad that lets you push things onto a stack.

Constructors

Push (forall s. Int -> STRef s (v s p) -> ST s (Res a))

Instances

MVector v p => MonadPush p (Push v p)

Methods

push :: p -> Push v p ()

Monad (Push v p)

Methods

(>>=) :: Push v p a -> (a -> Push v p b) -> Push v p b

(>>) :: Push v p a -> Push v p b -> Push v p b

return :: a -> Push v p a

fail :: String -> Push v p a

Functor (Push v p)

Methods

fmap :: (a -> b) -> Push v p a -> Push v p b

(<$) :: a -> Push v p b -> Push v p a

Applicative (Push v p)

Methods

pure :: a -> Push v p a

(<*>) :: Push v p (a -> b) -> Push v p a -> Push v p b

(*>) :: Push v p a -> Push v p b -> Push v p b

(<*) :: Push v p a -> Push v p b -> Push v p a

runPush :: Vector v p => Push (Mutable v) p a -> (a, v p)

Run the Push monad. Get the return value and the output stack.

runPushU :: forall p a. Unbox p => Push MVector p a -> (a, Vector p)

Specialized to Unboxed vectors.

runPushB :: forall p a. Push MVector p a -> (a, Vector p)

Specialized to standard Boxed vectors.

runPushS :: forall p a. Storable p => Push MVector p a -> (a, Vector p)

Specialized to Storable vectors.