Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.Search.DetSearch

Synopsis

newtype DetSearch size prec = DetSearch (PrimSearch size prec)

Documentation

newtype DetSearch size prec #

Primitive implementing brute-force classical search.

Constructors

DetSearch (PrimSearch size prec)

Instances

Instances details

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