Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.Amplify.CAmplify

Contents

Symbolic formulas

Synopsis

newtype CAmplify size prec = CAmplify (Amplify size prec)
_QMax :: forall prec. Floating prec => FailProb prec -> prec -> prec
_EQ :: forall prec. (Floating prec, Ord prec) => FailProb prec -> prec -> prec -> prec

Documentation

newtype CAmplify size prec #

Classical (probabilistic) bounded repetition.

Constructors

CAmplify (Amplify size prec)

Instances

Instances details

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

Symbolic formulas

_QMax :: forall prec. Floating prec => FailProb prec -> prec -> prec #

Maximum queries

_EQ :: forall prec. (Floating prec, Ord prec) => FailProb prec -> prec -> prec -> prec #

Expected queries