Module CASS.Doc

This module contains operations to deal with the documentation of analyses registered in CASS.

Author
Michael Hanus
Version
July 2016
Exported Functions:

Exported Functions


getAnalysisDoc :: String -> IO (Maybe String)  Deterministic 

Gets the documentation of an analysis with a registered name. Returns Nothing if no documentation exist. The documentation of an analysis with name AN is usually stored in the file <PACKAGEROOT>/docs/AN.md.