Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Analysis.Error.Prelude

Contents

Failure probability type
- Conversions
Monad

Synopsis

data FailProb precT
failProb :: Num precT => precT -> FailProb precT
getFailProb :: FailProb precT -> precT
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 precT #

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

Instances

Instances details

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

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

Safe constructor

getFailProb :: FailProb precT -> precT #

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) #