BinderAnn-0.1.0.0: Source-to-source plugin for enhancing EDSLs with static annotations

Safe HaskellNone
LanguageHaskell2010

Data.Annotated.Pure

Documentation

class Annotated a where Source #

Methods

annotate :: a -> SrcInfo -> a Source #

Instances
Annotated a Source # 
Instance details

Defined in Data.Annotated.Pure

Methods

annotate :: a -> SrcInfo -> a Source #

annotateM :: (Monad m, Annotated a) => m a -> SrcInfo -> m a Source #