traq
Safe HaskellSafe-Inferred
LanguageHaskell2010

Traq.Prelude

Synopsis

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 sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (CProcBody sizeT) = sizeT
type SizeType (ProcBody sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (ProcBody sizeT) = sizeT
type SizeType (ProcDef sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (ProcDef sizeT) = sizeT
type SizeType (Program sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (Program sizeT) = sizeT
type SizeType (Stmt sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (Stmt sizeT) = sizeT
type SizeType (UProcBody sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (UProcBody sizeT) = sizeT
type SizeType (UStmt sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (UStmt sizeT) = sizeT
type SizeType (Unitary sizeT) # 
Instance details

Defined in Traq.CQPL.Syntax

type SizeType (Unitary sizeT) = sizeT
type SizeType (CheckingCtx sizeT) # 
Instance details

Defined in Traq.CQPL.TypeCheck

type SizeType (CheckingCtx sizeT) = sizeT
type SizeType (LoweringCtx sizeT) # 
Instance details

Defined in Traq.Compiler.Prelude

type SizeType (LoweringCtx sizeT) = sizeT
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 sizeT) # 
Instance details

Defined in Traq.ProtoLang.Eval

type SizeType (FunInterp sizeT) = sizeT
type SizeType (DistrExpr sizeT) # 
Instance details

Defined in Traq.ProtoLang.Syntax

type SizeType (DistrExpr sizeT) = sizeT
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 sizeT) # 
Instance details

Defined in Traq.ProtoLang.Syntax

type SizeType (Value sizeT) = sizeT
type SizeType (VarType sizeT) # 
Instance details

Defined in Traq.ProtoLang.Syntax

type SizeType (VarType sizeT) = sizeT
type SizeType [e] # 
Instance details

Defined in Traq.Prelude

type SizeType [e] = SizeType e
type SizeType (DefaultPrimCollection sizeT precT) # 
Instance details

Defined in Traq.Primitives

type SizeType (DefaultPrimCollection sizeT precT) = sizeT
type SizeType (CAmplify sizeT precT) # 
Instance details

Defined in Traq.Primitives.Amplify.CAmplify

type SizeType (CAmplify sizeT precT) = sizeT
type SizeType (Amplify sizeT precT) # 
Instance details

Defined in Traq.Primitives.Amplify.Prelude

type SizeType (Amplify sizeT precT) = sizeT
type SizeType (QAmplify sizeT precT) # 
Instance details

Defined in Traq.Primitives.Amplify.QAmplify

type SizeType (QAmplify sizeT precT) = sizeT
type SizeType (QMax sizeT precT) # 
Instance details

Defined in Traq.Primitives.Max.QMax

type SizeType (QMax sizeT precT) = sizeT
type SizeType (DetSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.DetSearch

type SizeType (DetSearch sizeT precT) = sizeT
type SizeType (PrimSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.Prelude

type SizeType (PrimSearch sizeT precT) = sizeT
type SizeType (QSearchCFNW sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.QSearchCFNW

type SizeType (QSearchCFNW sizeT precT) = sizeT
type SizeType (RandomSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.RandomSearch

type SizeType (RandomSearch sizeT precT) = sizeT
type SizeType (QSearchSym sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.Symbolic

type SizeType (QSearchSym sizeT precT) = Sym sizeT
type SizeType (FindXorPeriod sizeT precT) # 
Instance details

Defined in Traq.Primitives.Simons.Prelude

type SizeType (FindXorPeriod sizeT precT) = sizeT
type SizeType (SimonsFindXorPeriod sizeT precT) # 
Instance details

Defined in Traq.Primitives.Simons.Quantum

type SizeType (SimonsFindXorPeriod sizeT precT) = sizeT
type SizeType (TreeSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.TreeSearch

type SizeType (TreeSearch sizeT precT) = sizeT
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 precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

type PrecType (QueryCost precT) = precT
type PrecType (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

type PrecType (SimpleQueryCost precT) = precT
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 (DefaultPrimCollection sizeT precT) # 
Instance details

Defined in Traq.Primitives

type PrecType (DefaultPrimCollection sizeT precT) = precT
type PrecType (CAmplify sizeT precT) # 
Instance details

Defined in Traq.Primitives.Amplify.CAmplify

type PrecType (CAmplify sizeT precT) = precT
type PrecType (Amplify sizeT precT) # 
Instance details

Defined in Traq.Primitives.Amplify.Prelude

type PrecType (Amplify sizeT precT) = precT
type PrecType (QAmplify sizeT precT) # 
Instance details

Defined in Traq.Primitives.Amplify.QAmplify

type PrecType (QAmplify sizeT precT) = precT
type PrecType (QMax sizeT precT) # 
Instance details

Defined in Traq.Primitives.Max.QMax

type PrecType (QMax sizeT precT) = precT
type PrecType (DetSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.DetSearch

type PrecType (DetSearch sizeT precT) = precT
type PrecType (PrimSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.Prelude

type PrecType (PrimSearch sizeT precT) = precT
type PrecType (QSearchCFNW sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.QSearchCFNW

type PrecType (QSearchCFNW sizeT precT) = precT
type PrecType (RandomSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.RandomSearch

type PrecType (RandomSearch sizeT precT) = precT
type PrecType (QSearchSym sizeT precT) # 
Instance details

Defined in Traq.Primitives.Search.Symbolic

type PrecType (QSearchSym sizeT precT) = Sym precT
type PrecType (FindXorPeriod sizeT precT) # 
Instance details

Defined in Traq.Primitives.Simons.Prelude

type PrecType (FindXorPeriod sizeT precT) = precT
type PrecType (SimonsFindXorPeriod sizeT precT) # 
Instance details

Defined in Traq.Primitives.Simons.Quantum

type PrecType (SimonsFindXorPeriod sizeT precT) = precT
type PrecType (TreeSearch sizeT precT) # 
Instance details

Defined in Traq.Primitives.TreeSearch

type PrecType (TreeSearch sizeT precT) = precT
type PrecType (Core size prec) # 
Instance details

Defined in Traq.ProtoLang.Syntax

type PrecType (Core size prec) = prec