Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.Search.RandomSearch

Synopsis

newtype RandomSearch size prec = RandomSearch (PrimSearch size prec)

Documentation

newtype RandomSearch size prec #

Primitive implementing search using classical random sampling. The unitary mode does a brute-force loop.

Constructors

RandomSearch (PrimSearch size prec)

Instances

Instances details

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