BinderAnn-0.1.0.0: Source-to-source plugin for enhancing EDSLs with static annotations
Data.Annotated.Pure
class Annotated a where Source #
Methods
annotate :: a -> SrcInfo -> a Source #
Defined in Data.Annotated.Pure
annotateM :: (Monad m, Annotated a) => m a -> SrcInfo -> m a Source #