| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.Analysis.Annotate.Basic
Synopsis
- annNoPrims :: m ~ AnnotateMonad ext (AnnFailProb ext) => ext -> m (AnnFailProb ext)
- annFixedEps :: (m ~ AnnotateMonad ext (AnnFailProb ext), prec ~ PrecType ext, Num prec) => FailProb prec -> ext -> m (AnnFailProb ext)
- annSinglePrim :: (m ~ AnnotateMonad ext (AnnFailProb ext), prec ~ PrecType ext, Num prec) => FailProb prec -> ext -> m (AnnFailProb ext)
Documentation
annNoPrims :: m ~ AnnotateMonad ext (AnnFailProb ext) => ext -> m (AnnFailProb ext) #
Trivially annotate a program with no primitive calls.
annFixedEps :: (m ~ AnnotateMonad ext (AnnFailProb ext), prec ~ PrecType ext, Num prec) => FailProb prec -> ext -> m (AnnFailProb ext) #
Annotate each primitive with the given epsilon
annSinglePrim :: (m ~ AnnotateMonad ext (AnnFailProb ext), prec ~ PrecType ext, Num prec) => FailProb prec -> ext -> m (AnnFailProb ext) #
Annotate the only primitive with the given epsilon, | and raise an error if there are multiple.