Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Prelude

Synopsis

type Ident = String
type SizeT = Int
type family SizeType p
type family PrecType p

Documentation

type Ident = String #

type SizeT = Int #

type family SizeType p #

The size type (usually some Integral) of a given type.

Instances

Instances details

type SizeType (AnnFailProb ext) #
Instance details Defined in Traq.Analysis.Annotate.Prelude type SizeType (AnnFailProb ext) = SizeType ext
type SizeType (CProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (CProcBody size) = size
type SizeType (ProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (ProcBody size) = size
type SizeType (ProcDef size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (ProcDef size) = size
type SizeType (Program size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (Program size) = size
type SizeType (Stmt size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (Stmt size) = size
type SizeType (UProcBody size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (UProcBody size) = size
type SizeType (UStmt size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (UStmt size) = size
type SizeType (Unitary size) #
Instance details Defined in Traq.CQPL.Syntax type SizeType (Unitary size) = size
type SizeType (CheckingCtx size) #
Instance details Defined in Traq.CQPL.TypeCheck type SizeType (CheckingCtx size) = size
type SizeType (LoweringCtx size) #
Instance details Defined in Traq.Compiler.Prelude type SizeType (LoweringCtx size) = size
type SizeType (Context e) #
Instance details Defined in Traq.Prelude type SizeType (Context e) = SizeType e
type SizeType (Primitive p) #
Instance details Defined in Traq.Primitives.Class type SizeType (Primitive p) = SizeType p
type SizeType (EvaluationEnv ext) #
Instance details Defined in Traq.ProtoLang.Eval type SizeType (EvaluationEnv ext) = SizeType ext
type SizeType (FunInterp size) #
Instance details Defined in Traq.ProtoLang.Eval type SizeType (FunInterp size) = size
type SizeType (DistrExpr size) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (DistrExpr size) = size
type SizeType (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Expr ext) = SizeType ext
type SizeType (FnType size) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (FnType size) = size
type SizeType (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (FunBody ext) = SizeType ext
type SizeType (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (FunDef ext) = SizeType ext
type SizeType (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (NamedFunDef ext) = SizeType ext
type SizeType (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Program ext) = SizeType ext
type SizeType (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Stmt ext) = SizeType ext
type SizeType (Value size) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Value size) = size
type SizeType (VarType size) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (VarType size) = size
type SizeType [e] #
Instance details Defined in Traq.Prelude type SizeType [e] = SizeType e
type SizeType (Map k v) #
Instance details Defined in Traq.Prelude type SizeType (Map k v) = SizeType v
type SizeType (DefaultPrimCollection size prec) #
Instance details Defined in Traq.Primitives type SizeType (DefaultPrimCollection size prec) = size
type SizeType (CAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.CAmplify type SizeType (CAmplify size prec) = size
type SizeType (Amplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.Prelude type SizeType (Amplify size prec) = size
type SizeType (QAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type SizeType (QAmplify size prec) = size
type SizeType (QMax size prec) #
Instance details Defined in Traq.Primitives.Max.QMax type SizeType (QMax size prec) = size
type SizeType (DetSearch size prec) #
Instance details Defined in Traq.Primitives.Search.DetSearch type SizeType (DetSearch size prec) = size
type SizeType (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude type SizeType (PrimSearch size prec) = size
type SizeType (QSearchCFNW size prec) #
Instance details Defined in Traq.Primitives.Search.QSearchCFNW type SizeType (QSearchCFNW size prec) = size
type SizeType (RandomSearch size prec) #
Instance details Defined in Traq.Primitives.Search.RandomSearch type SizeType (RandomSearch size prec) = size
type SizeType (QSearchSym size prec) #
Instance details Defined in Traq.Primitives.Search.Symbolic type SizeType (QSearchSym size prec) = Sym size
type SizeType (FindXorPeriod size prec) #
Instance details Defined in Traq.Primitives.Simons.Prelude type SizeType (FindXorPeriod size prec) = size
type SizeType (SimonsFindXorPeriod size prec) #
Instance details Defined in Traq.Primitives.Simons.Quantum type SizeType (SimonsFindXorPeriod size prec) = size
type SizeType (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch type SizeType (TreeSearch size prec) = size
type SizeType (Core size prec) #
Instance details Defined in Traq.ProtoLang.Syntax type SizeType (Core size prec) = size

type family PrecType p #

The precision type (usually some Floating) of a given type.

Instances

Instances details

type PrecType (AnnFailProb ext) #
Instance details Defined in Traq.Analysis.Annotate.Prelude type PrecType (AnnFailProb ext) = PrecType ext
type PrecType (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost type PrecType (QueryCost prec) = prec
type PrecType (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost type PrecType (SimpleQueryCost prec) = prec
type PrecType (Context e) #
Instance details Defined in Traq.Prelude type PrecType (Context e) = PrecType e
type PrecType (Primitive p) #
Instance details Defined in Traq.Primitives.Class type PrecType (Primitive p) = PrecType p
type PrecType (EvaluationEnv ext) #
Instance details Defined in Traq.ProtoLang.Eval type PrecType (EvaluationEnv ext) = PrecType ext
type PrecType (Expr ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Expr ext) = PrecType ext
type PrecType (FunBody ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (FunBody ext) = PrecType ext
type PrecType (FunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (FunDef ext) = PrecType ext
type PrecType (NamedFunDef ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (NamedFunDef ext) = PrecType ext
type PrecType (Program ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Program ext) = PrecType ext
type PrecType (Stmt ext) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Stmt ext) = PrecType ext
type PrecType [e] #
Instance details Defined in Traq.Prelude type PrecType [e] = PrecType e
type PrecType (Map k v) #
Instance details Defined in Traq.Prelude type PrecType (Map k v) = PrecType v
type PrecType (DefaultPrimCollection size prec) #
Instance details Defined in Traq.Primitives type PrecType (DefaultPrimCollection size prec) = prec
type PrecType (CAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.CAmplify type PrecType (CAmplify size prec) = prec
type PrecType (Amplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.Prelude type PrecType (Amplify size prec) = prec
type PrecType (QAmplify size prec) #
Instance details Defined in Traq.Primitives.Amplify.QAmplify type PrecType (QAmplify size prec) = prec
type PrecType (QMax size prec) #
Instance details Defined in Traq.Primitives.Max.QMax type PrecType (QMax size prec) = prec
type PrecType (DetSearch size prec) #
Instance details Defined in Traq.Primitives.Search.DetSearch type PrecType (DetSearch size prec) = prec
type PrecType (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude type PrecType (PrimSearch size prec) = prec
type PrecType (QSearchCFNW size prec) #
Instance details Defined in Traq.Primitives.Search.QSearchCFNW type PrecType (QSearchCFNW size prec) = prec
type PrecType (RandomSearch size prec) #
Instance details Defined in Traq.Primitives.Search.RandomSearch type PrecType (RandomSearch size prec) = prec
type PrecType (QSearchSym size prec) #
Instance details Defined in Traq.Primitives.Search.Symbolic type PrecType (QSearchSym size prec) = Sym prec
type PrecType (FindXorPeriod size prec) #
Instance details Defined in Traq.Primitives.Simons.Prelude type PrecType (FindXorPeriod size prec) = prec
type PrecType (SimonsFindXorPeriod size prec) #
Instance details Defined in Traq.Primitives.Simons.Quantum type PrecType (SimonsFindXorPeriod size prec) = prec
type PrecType (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch type PrecType (TreeSearch size prec) = prec
type PrecType (Core size prec) #
Instance details Defined in Traq.ProtoLang.Syntax type PrecType (Core size prec) = prec