Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.Amplify.QAmplify

Contents

Query Formulas

Synopsis

newtype QAmplify sizeT precT = QAmplify (Amplify sizeT precT)
_FPAA_L :: forall precT. Floating precT => FailProb precT -> precT -> precT
_WQSearch :: forall precT. Floating precT => FailProb precT -> precT -> precT
_EQSearch :: forall precT. (Floating precT, Ord precT) => FailProb precT -> precT -> precT -> precT

Documentation

newtype QAmplify sizeT precT #

Quantum Amplitude Amplification.

Constructors

QAmplify (Amplify sizeT precT)

Instances

Instances details

Generic (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Associated Types type Rep (QAmplify sizeT precT) :: Type -> Type # Methods from :: QAmplify sizeT precT -> Rep (QAmplify sizeT precT) x # to :: Rep (QAmplify sizeT precT) x -> QAmplify sizeT precT #
Read precT => Read (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods readsPrec :: Int -> ReadS (QAmplify sizeT precT) # readList :: ReadS [QAmplify sizeT precT] # readPrec :: ReadPrec (QAmplify sizeT precT) # readListPrec :: ReadPrec [QAmplify sizeT precT] #
Show precT => Show (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods showsPrec :: Int -> QAmplify sizeT precT -> ShowS # show :: QAmplify sizeT precT -> String # showList :: [QAmplify sizeT precT] -> ShowS #
Eq precT => Eq (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods (==) :: QAmplify sizeT precT -> QAmplify sizeT precT -> Bool # (/=) :: QAmplify sizeT precT -> QAmplify sizeT precT -> Bool #
(Show prec, Fractional prec) => SerializePrim (QAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods primNames :: [Ident] # primNameOf :: QAmplify size prec -> Ident # parsePrimParams :: TokenParser () -> Ident -> Parser (QAmplify size prec) # printPrimParams :: QAmplify size prec -> [String] #
MapSize (QAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Associated Types type MappedSize (QAmplify size prec) size' # Methods mapSize :: (size0 ~ SizeType (QAmplify size prec), size' ~ SizeType ext', ext' ~ MappedSize (QAmplify size prec) size') => (size0 -> size') -> QAmplify size prec -> ext' #
TypingReqs sizeT => TypeCheckPrim (QAmplify sizeT precT) sizeT #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods inferRetTypesPrim :: forall ext' shape m. (m ~ TypeChecker ext', sizeT ~ SizeType ext', shape ~ PrimFnShape (QAmplify sizeT precT)) => QAmplify sizeT precT -> shape (FnType sizeT) -> m [VarType sizeT] #
(EvalReqs sizeT precT, Ord precT) => EvalPrim (QAmplify sizeT precT) sizeT precT #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods evalPrim :: forall ext' shape m. (Evaluatable ext' sizeT precT, m ~ Evaluator ext', SizeType ext' ~ sizeT, PrecType ext' ~ precT, shape ~ PrimFnShape (QAmplify sizeT precT)) => QAmplify sizeT precT -> shape ([Value sizeT] -> m [Value sizeT]) -> m [Value sizeT] #
(EvalReqs size prec, Floating prec, Ord prec) => QuantumExpCostPrim (QAmplify size prec) size prec #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods quantumExpQueryCostsQuantum :: (shape ~ PrimFnShape (QAmplify size prec), m ~ EvaluationMonad prec) => QAmplify size prec -> FailProb prec -> shape ([Value size] -> m [Value size]) -> shape [([Value size], prec)] # quantumExpQueryCostsUnitary :: (shape ~ PrimFnShape (QAmplify size prec), m ~ EvaluationMonad prec) => QAmplify size prec -> FailProb prec -> shape ([Value size] -> m [Value size]) -> shape (UnitaryQueries prec) # quantumExpExprCosts :: forall shape cost m. (CostModel cost, prec ~ PrecType cost, shape ~ PrimFnShape (QAmplify size prec), m ~ EvaluationMonad prec) => QAmplify size prec -> FailProb prec -> shape ([Value size] -> m [Value size]) -> cost #
(TypingReqs size, SizeToPrec size prec, Floating prec) => QuantumHavocCostPrim (QAmplify size prec) size prec #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods quantumQueryCostsQuantum :: QAmplify size prec -> FailProb prec -> PrimFnShape (QAmplify size prec) prec # quantumQueryCostsUnitary :: QAmplify size prec -> FailProb prec -> PrimFnShape (QAmplify size prec) (UnitaryQueries prec) # quantumExprCosts :: (CostModel cost, prec ~ PrecType cost) => QAmplify size prec -> FailProb prec -> cost #
(TypingReqs size, Floating prec) => UnitaryCostPrim (QAmplify size prec) size prec #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods unitaryQueryCosts :: QAmplify size prec -> FailProb prec -> PrimFnShape (QAmplify size prec) (UnitaryQueries prec) # unitaryExprCosts :: (CostModel cost, prec ~ PrecType cost) => QAmplify size prec -> FailProb prec -> cost #
(Amplify sizeT precT) :<: (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify Methods inject :: Amplify sizeT precT -> QAmplify sizeT precT # project :: QAmplify sizeT precT -> Maybe (Amplify sizeT precT) #
type Rep (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type Rep (QAmplify sizeT precT) = D1 ('MetaData "QAmplify" "Traq.Primitives.Amplify.QAmplify" "traq-0.2.0.0-inplace" 'True) (C1 ('MetaCons "QAmplify" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Amplify sizeT precT))))
type PrecType (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type PrecType (QAmplify sizeT precT) = precT
type SizeType (QAmplify sizeT precT) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type SizeType (QAmplify sizeT precT) = sizeT
type PrimFnShape (QAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type PrimFnShape (QAmplify size prec) = SamplerFn
type MappedSize (QAmplify size prec) size' #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type MappedSize (QAmplify size prec) size' = QAmplify size' prec

Query Formulas

_FPAA_L :: forall precT. Floating precT => FailProb precT -> precT -> precT #

Fixed-Point Amplitude Amplification.

_WQSearch :: forall precT. Floating precT => FailProb precT -> precT -> precT #

Cost of quantum search adapted to general amplitude amplification. Eq. 4 of https://arxiv.org/abs/2203.04975

_EQSearch :: forall precT. (Floating precT, Ord precT) => FailProb precT -> precT -> precT -> precT #

Cost of quantum search adapted to general amplitude amplification. Eq. 2 of https://arxiv.org/abs/2203.04975