Precis.ReportMonad

Logging monad for collecting report fragments

Report-monad

data ReportM a

Instances

Monad ReportM

Functor ReportM

type Log = ([Html], ChangeStats)

data CMP a

Constructors

NEW a

OLD a

Instances

Functor CMP

Eq a => Eq (CMP a)

Show a => Show (CMP a)

data ChangeStats

Constructors

ChangeStats

Fields

unresolved_mods :: [CMP StrName]

unparseable_mods :: [CMP StrName]

removed_mods :: Int

removed_exports :: Int

changed_exports :: Int

removed_datatypes :: Int

changed_datatypes :: Int

removed_typesigs :: Int

changed_typesigs :: Int

removed_instances :: Int

changed_instances :: Int

Instances

Show ChangeStats

type ModuleParseFunction = HsSourceFile -> IO (Either ModuleParseError Module)

data ReportLevel

Constructors

JUST_MSG

MSG_AND_HTML

Instances

Eq ReportLevel

Show ReportLevel

runReportM :: ModuleParseFunction -> ReportLevel -> ReportM a -> IO (a, Log)

execReportM :: ModuleParseFunction -> ReportLevel -> ReportM a -> IO Log

askParseFun :: ReportM ModuleParseFunction

liftIO :: IO a -> ReportM a

tellHtml :: Html -> ReportM ()

tellUnresolved :: CMP StrName -> ReportM ()

tellParseFail :: CMP StrName -> ReportM ()

incrRemovedModules :: ReportM ()

incrRemovedExports :: ReportM ()

incrChangedExports :: ReportM ()

incrRemovedDatatypes :: ReportM ()

incrChangedDatatypes :: ReportM ()

incrRemovedTypeSigs :: ReportM ()

incrChangedTypeSigs :: ReportM ()

incrRemovedInstances :: ReportM ()

incrChangedInstances :: ReportM ()