Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Annotated.Generic.Safe
Synopsis
- type Annotated a = AnnotatedT Identity a
- 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 = AnnotatedT {
- unAnnotateT :: StateT (StableMap SrcInfo) m a
- 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
Documentation
type Annotated a = AnnotatedT Identity a Source #
An annotation monad parameterized by the type ann
of the annotation to
carry.
evalAnnotated :: forall a. Annotated a -> a Source #
newtype AnnotatedT m a Source #
Constructors
AnnotatedT | |
Fields
|
Instances
runAnnotatedT :: forall m a. AnnotatedT m a -> m (a, StableMap SrcInfo) Source #
evalAnnotatedT :: forall m a. Monad m => AnnotatedT m a -> m a Source #
execAnnotatedT :: forall m a. Monad m => AnnotatedT m a -> m (StableMap SrcInfo) Source #
module Control.Monad
module Control.Monad.Fix