Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Analysis.Error.Unitary

Synopsis

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

Documentation

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

Trace-norm error w.r.t unitary compiler

Methods

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

Instances

Instances details

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

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