Data.Annotated.Generic.Safe

Documentation

type Annotated a = AnnotatedT Identity a

An annotation monad parameterized by the type ann of the annotation to carry.

runAnnotated :: forall a. Annotated a -> (a, StableMap SrcInfo)

evalAnnotated :: forall a. Annotated a -> a

execAnnotated :: forall a. Annotated a -> StableMap SrcInfo

newtype AnnotatedT m a

Constructors

AnnotatedT

Fields

• unAnnotateT :: StateT (StableMap SrcInfo) m a

Instances

MonadTrans AnnotatedT

Defined in Data.Annotated.Generic.Safe

Methods

lift :: Monad m => m a -> AnnotatedT m a

MonadRWS r w s m => MonadRWS r w s (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

MonadWriter w m => MonadWriter w (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

writer :: (a, w) -> AnnotatedT m a

tell :: w -> AnnotatedT m ()

listen :: AnnotatedT m a -> AnnotatedT m (a, w)

pass :: AnnotatedT m (a, w -> w) -> AnnotatedT m a

MonadState s m => MonadState s (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

get :: AnnotatedT m s

put :: s -> AnnotatedT m ()

state :: (s -> (a, s)) -> AnnotatedT m a

MonadReader r m => MonadReader r (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

ask :: AnnotatedT m r

local :: (r -> r) -> AnnotatedT m a -> AnnotatedT m a

reader :: (r -> a) -> AnnotatedT m a

MonadError e m => MonadError e (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

throwError :: e -> AnnotatedT m a

catchError :: AnnotatedT m a -> (e -> AnnotatedT m a) -> AnnotatedT m a

Monad m => Monad (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

(>>=) :: AnnotatedT m a -> (a -> AnnotatedT m b) -> AnnotatedT m b

(>>) :: AnnotatedT m a -> AnnotatedT m b -> AnnotatedT m b

return :: a -> AnnotatedT m a

fail :: String -> AnnotatedT m a

Functor m => Functor (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

fmap :: (a -> b) -> AnnotatedT m a -> AnnotatedT m b

(<$) :: a -> AnnotatedT m b -> AnnotatedT m a

MonadFix m => MonadFix (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

mfix :: (a -> AnnotatedT m a) -> AnnotatedT m a

MonadFail m => MonadFail (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

fail :: String -> AnnotatedT m a

Monad m => Applicative (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

pure :: a -> AnnotatedT m a

(<*>) :: AnnotatedT m (a -> b) -> AnnotatedT m a -> AnnotatedT m b

liftA2 :: (a -> b -> c) -> AnnotatedT m a -> AnnotatedT m b -> AnnotatedT m c

(*>) :: AnnotatedT m a -> AnnotatedT m b -> AnnotatedT m b

(<*) :: AnnotatedT m a -> AnnotatedT m b -> AnnotatedT m a

Contravariant m => Contravariant (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

contramap :: (a -> b) -> AnnotatedT m b -> AnnotatedT m a

(>$) :: b -> AnnotatedT m b -> AnnotatedT m a

MonadIO m => MonadIO (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

liftIO :: IO a -> AnnotatedT m a

MonadPlus m => Alternative (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

empty :: AnnotatedT m a

(<|>) :: AnnotatedT m a -> AnnotatedT m a -> AnnotatedT m a

some :: AnnotatedT m a -> AnnotatedT m [a]

many :: AnnotatedT m a -> AnnotatedT m [a]

MonadCont m => MonadCont (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

callCC :: ((a -> AnnotatedT m b) -> AnnotatedT m a) -> AnnotatedT m a

MonadIO m => MonadAnnotated (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

createAnn :: a -> SrcInfo -> AnnotatedT m ()

lookupAnn :: a -> AnnotatedT m (Maybe SrcInfo)

runAnnotatedT :: forall m a. AnnotatedT m a -> m (a, StableMap SrcInfo)

evalAnnotatedT :: forall m a. Monad m => AnnotatedT m a -> m a

execAnnotatedT :: forall m a. Monad m => AnnotatedT m a -> m (StableMap SrcInfo)

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Annotated.Class