Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Analysis.Error.Unitary

Synopsis

class (ErrorReqs size prec, SizeType ext ~ size, PrecType ext ~ prec) => TVErrorU ext size prec | ext -> size prec where
- tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => ext -> m (FailProb prec)
tvErrorUProg :: (TVErrorU ext size prec, SizeType ext ~ size, PrecType ext ~ prec) => Program ext -> FailProb prec

Documentation

class (ErrorReqs size prec, SizeType ext ~ size, PrecType ext ~ prec) => TVErrorU ext size prec | ext -> size prec where #

Total variation error w.r.t unitary compiler

Methods

tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => ext -> m (FailProb prec) #

Instances

Instances details

(UnitaryCostPrim prim size prec, ErrorReqs size prec) => TVErrorU (AnnFailProb (Primitive prim)) size prec #
Instance details Defined in Traq.Primitives.Class Methods tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => AnnFailProb (Primitive prim) -> m (FailProb prec) #
TVErrorU ext size prec => TVErrorU (Expr ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Expr ext -> m (FailProb prec) #
TVErrorU ext size prec => TVErrorU (FunDef ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => FunDef ext -> m (FailProb prec) #
TVErrorU ext size prec => TVErrorU (NamedFunDef ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => NamedFunDef ext -> m (FailProb prec) #
TVErrorU ext size prec => TVErrorU (Stmt ext) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Stmt ext -> m (FailProb prec) #
ErrorReqs size prec => TVErrorU (Core size prec) size prec #
Instance details Defined in Traq.Analysis.Error.Unitary Methods tvErrorU :: forall ext' m. (m ~ ErrorAnalysisMonad ext', TVErrorU ext' size prec, SizeType ext' ~ size, PrecType ext' ~ prec) => Core size prec -> m (FailProb prec) #

tvErrorUProg :: (TVErrorU ext size prec, SizeType ext ~ size, PrecType ext ~ prec) => Program ext -> FailProb prec #