Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Analysis.Error.Prelude

Contents

Failure probability type
- Conversions
Monad

Synopsis

data FailProb prec
failProb :: Num prec => prec -> FailProb prec
getFailProb :: FailProb prec -> prec
splitFailProb :: Fractional prec => FailProb prec -> prec -> FailProb prec
unitarySubroutineTVError :: Floating prec => FailProb prec -> FailProb prec
unitarySubroutineTVErrorTotal :: Floating prec => prec -> FailProb prec -> FailProb prec
unitarySubroutineTVBudget :: Fractional prec => FailProb prec -> FailProb prec
type ErrorAnalysisMonad ext = Reader (FunCtx ext)
type ErrorReqs size prec = (Floating prec, Num size, Ord prec, SizeToPrec size prec)

Failure probability type

data FailProb prec #

Wrapper for values representing a failure probability in [0, 1]

Instances

Instances details

Num prec => Num (FailProb prec) #
Instance details Defined in Traq.Analysis.Error.Prelude Methods (+) :: FailProb prec -> FailProb prec -> FailProb prec # (-) :: FailProb prec -> FailProb prec -> FailProb prec # (*) :: FailProb prec -> FailProb prec -> FailProb prec # negate :: FailProb prec -> FailProb prec # abs :: FailProb prec -> FailProb prec # signum :: FailProb prec -> FailProb prec # fromInteger :: Integer -> FailProb prec #
Read prec => Read (FailProb prec) #
Instance details Defined in Traq.Analysis.Error.Prelude Methods readsPrec :: Int -> ReadS (FailProb prec) # readList :: ReadS [FailProb prec] # readPrec :: ReadPrec (FailProb prec) # readListPrec :: ReadPrec [FailProb prec] #
Show prec => Show (FailProb prec) #
Instance details Defined in Traq.Analysis.Error.Prelude Methods showsPrec :: Int -> FailProb prec -> ShowS # show :: FailProb prec -> String # showList :: [FailProb prec] -> ShowS #
Eq prec => Eq (FailProb prec) #
Instance details Defined in Traq.Analysis.Error.Prelude Methods (==) :: FailProb prec -> FailProb prec -> Bool # (/=) :: FailProb prec -> FailProb prec -> Bool #
Ord prec => Ord (FailProb prec) #
Instance details Defined in Traq.Analysis.Error.Prelude Methods compare :: FailProb prec -> FailProb prec -> Ordering # (<) :: FailProb prec -> FailProb prec -> Bool # (<=) :: FailProb prec -> FailProb prec -> Bool # (>) :: FailProb prec -> FailProb prec -> Bool # (>=) :: FailProb prec -> FailProb prec -> Bool # max :: FailProb prec -> FailProb prec -> FailProb prec # min :: FailProb prec -> FailProb prec -> FailProb prec #

failProb :: Num prec => prec -> FailProb prec #

Safe constructor

getFailProb :: FailProb prec -> prec #

splitFailProb :: Fractional prec => FailProb prec -> prec -> FailProb prec #

Helper: split an epsilon into n equal parts.

Conversions

unitarySubroutineTVError :: Floating prec => FailProb prec -> FailProb prec #

Given the TV error of a unitary channel, convert it to the contribution as a subroutine via the diamond-distance of the unitary dilations.

unitarySubroutineTVErrorTotal :: Floating prec => prec -> FailProb prec -> FailProb prec #

Total error over n calls to subroutine with error eps.

unitarySubroutineTVBudget :: Fractional prec => FailProb prec -> FailProb prec #

Given a error budget for subroutine, convert to budget for its unitary dilation.

Monad

type ErrorAnalysisMonad ext = Reader (FunCtx ext) #

type ErrorReqs size prec = (Floating prec, Num size, Ord prec, SizeToPrec size prec) #