Safe Haskell	Safe
Language	Haskell2010

KleenePlugin.SWT

Synopsis

Documentation

newtype SWT w m a Source #

Strict (list) writer monad.

Constructors

SWT
Fields unSWT :: ([w] -> [w]) -> m ([w] -> [w], a)

Instances

Monad m => Monad (SWT w m) Source #
Instance details Defined in KleenePlugin.SWT Methods (>>=) :: SWT w m a -> (a -> SWT w m b) -> SWT w m b # (>>) :: SWT w m a -> SWT w m b -> SWT w m b # return :: a -> SWT w m a # fail :: String -> SWT w m a #
Functor m => Functor (SWT w m) Source #
Instance details Defined in KleenePlugin.SWT Methods fmap :: (a -> b) -> SWT w m a -> SWT w m b # (<$) :: a -> SWT w m b -> SWT w m a #
Monad m => Applicative (SWT w m) Source #
Instance details Defined in KleenePlugin.SWT Methods pure :: a -> SWT w m a # (<>) :: SWT w m (a -> b) -> SWT w m a -> SWT w m b # liftA2 :: (a -> b -> c) -> SWT w m a -> SWT w m b -> SWT w m c # (>) :: SWT w m a -> SWT w m b -> SWT w m b # (<*) :: SWT w m a -> SWT w m b -> SWT w m a #

runSWT :: Functor m => SWT w m a -> m ([w], a) Source #

liftSWT :: Functor m => m a -> SWT w m a Source #