Index - T
| tabNest | Futhark.AD.Rev.Monad |
| takeDims | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| takeLast | Futhark.Util |
| Tape | Language.Futhark.Interpreter.AD |
| TapeConst | Language.Futhark.Interpreter.AD |
| TapeID | Language.Futhark.Interpreter.AD |
| TapeOp | Language.Futhark.Interpreter.AD |
| tapePrimal | Language.Futhark.Interpreter.AD |
| Target | Futhark.CodeGen.ImpGen.GPU.Base |
| TargetCUDA | Futhark.CodeGen.ImpCode.OpenCL |
| TargetHIP | Futhark.CodeGen.ImpCode.OpenCL |
| TargetOpenCL | Futhark.CodeGen.ImpCode.OpenCL |
| taskProvenance | Futhark.CodeGen.ImpGen.Multicore.Base |
| td_asserts | Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
| TEApply | Language.Futhark.Syntax, Language.Futhark |
| TEArray | Language.Futhark.Syntax, Language.Futhark |
| TEArrow | Language.Futhark.Syntax, Language.Futhark |
| TEDim | Language.Futhark.Syntax, Language.Futhark |
| TEParens | Language.Futhark.Syntax, Language.Futhark |
| TERecord | Language.Futhark.Syntax, Language.Futhark |
| Term | Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad |
| TermBindId | Language.Futhark.Query |
| TermBinding | Language.Futhark.Query |
| termBindingType | Language.Futhark.Query |
| TermBindLet | Language.Futhark.Query |
| TermBindNested | Language.Futhark.Query |
| TermBindPat | Language.Futhark.Query |
| TermBindSrc | Language.Futhark.Query |
| termCheckExp | Language.Futhark.TypeChecker.Terms.Monad |
| termChecking | Language.Futhark.TypeChecker.Terms.Monad |
| TermEnv | |
| 1 (Type/Class) | Language.Futhark.TypeChecker.Terms.Monad |
| 2 (Data Constructor) | Language.Futhark.TypeChecker.Terms.Monad |
| TermFun | Language.Futhark.Query |
| termFunArgEnd | Language.Futhark.Query |
| termFunAscription | Language.Futhark.Query |
| TermFunData | |
| 1 (Type/Class) | Language.Futhark.Query |
| 2 (Data Constructor) | Language.Futhark.Query |
| termFunNameEnd | Language.Futhark.Query |
| termFunRetType | Language.Futhark.Query |
| termFunType | Language.Futhark.Query |
| termFunTypeArgEnd | Language.Futhark.Query |
| termFunTypeParams | Language.Futhark.Query |
| termImportName | Language.Futhark.TypeChecker.Terms.Monad |
| termLevel | Language.Futhark.TypeChecker.Terms.Monad |
| termOuterEnv | Language.Futhark.TypeChecker.Terms.Monad |
| TermScope | |
| 1 (Type/Class) | Language.Futhark.TypeChecker.Terms.Scope, Language.Futhark.TypeChecker.Terms.Monad |
| 2 (Data Constructor) | Language.Futhark.TypeChecker.Terms.Scope, Language.Futhark.TypeChecker.Terms.Monad |
| termScope | Language.Futhark.TypeChecker.Terms.Monad |
| TermSize | Language.Futhark.Query |
| TermTypeM | Language.Futhark.TypeChecker.Terms.Monad |
| TermTypeState | |
| 1 (Type/Class) | Language.Futhark.TypeChecker.Terms.Monad |
| 2 (Data Constructor) | Language.Futhark.TypeChecker.Terms.Monad |
| termTySet | Language.Futhark.TypeChecker.Terms.Monad |
| termTyVars | Language.Futhark.TypeChecker.Terms.Monad |
| TermVar | Language.Futhark.Query |
| TestAction | Futhark.Test.Spec, Futhark.Test |
| testAction | Futhark.Test.Spec, Futhark.Test |
| TEStar | Language.Futhark.Syntax, Language.Futhark |
| testDescription | Futhark.Test.Spec, Futhark.Test |
| TestRun | |
| 1 (Type/Class) | Futhark.Test.Spec, Futhark.Test |
| 2 (Data Constructor) | Futhark.Test.Spec, Futhark.Test |
| testRunReferenceOutput | Futhark.Test |
| testSpecFromFile | Futhark.Test.Spec, Futhark.Test |
| testSpecFromFileOrDie | Futhark.Test.Spec, Futhark.Test |
| testSpecFromProgram | Futhark.Test.Spec, Futhark.Test |
| testSpecFromProgramOrDie | Futhark.Test.Spec, Futhark.Test |
| testSpecsFromPaths | Futhark.Test.Spec, Futhark.Test |
| testSpecsFromPathsOrDie | Futhark.Test.Spec, Futhark.Test |
| testTags | Futhark.Test.Spec, Futhark.Test |
| TESum | Language.Futhark.Syntax, Language.Futhark |
| TETuple | Language.Futhark.Syntax, Language.Futhark |
| TEVar | Language.Futhark.Syntax, Language.Futhark |
| TExp | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
| text | Futhark.Fmt.Monad |
| textwrap | Futhark.Util.Pretty |
| tgamma | Futhark.Util.CMath |
| tgammaf | Futhark.Util.CMath |
| THEN | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| ThisError | Futhark.Test.Spec, Futhark.Test |
| ThreadID | Futhark.Analysis.AccessPattern |
| threadOperations | Futhark.CodeGen.ImpGen.GPU.Base |
| THREE_DOTS | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| Threshold | Futhark.CodeGen.OpenCL.Heuristics |
| throwError | Futhark.Internalise.Monad |
| throwNothing | Language.Futhark.Interpreter.FFI.ServerM |
| TILDE | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| TileFull | Futhark.Optimise.TileLoops.Shared |
| TileKind | Futhark.Optimise.TileLoops.Shared |
| tileLoops | Futhark.Optimise.TileLoops |
| TileM | Futhark.Optimise.TileLoops.Shared |
| TilePartial | Futhark.Optimise.TileLoops.Shared |
| TileReturns | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPUMem, Futhark.IR.GPU |
| TileSize | Futhark.CodeGen.OpenCL.Heuristics |
| Times | Language.Futhark.Syntax, Language.Futhark |
| timingH | Futhark.CodeGen.RTS.C |
| toArray | Language.Futhark.Interpreter.Values |
| toArray' | Language.Futhark.Interpreter.Values |
| toCurrentLoc | Futhark.LSP.PositionMapping |
| toDecl | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| ToExecutable | Futhark.Compiler.Config, Futhark.Compiler, Futhark.Compiler.CLI |
| ToExp | |
| 1 (Type/Class) | Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
| 2 (Type/Class) | Futhark.CodeGen.ImpGen |
| toExp | |
| 1 (Function) | Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
| 2 (Function) | Futhark.Analysis.HORep.SOAC |
| 3 (Function) | Futhark.CodeGen.ImpGen |
| toExp' | Futhark.CodeGen.ImpGen |
| ToInclusive | Language.Futhark.Syntax, Language.Futhark |
| Token | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer, Language.Futhark.Parser.Monad |
| tokenC | Language.Futhark.Parser.Lexer.Tokens |
| tokenS | Language.Futhark.Parser.Lexer.Tokens |
| Tolerance | |
| 1 (Type/Class) | Futhark.Test.Values |
| 2 (Data Constructor) | Futhark.Test.Values |
| ToLibrary | Futhark.Compiler.Config, Futhark.Compiler, Futhark.Compiler.CLI |
| ToLog | Futhark.Util.Log |
| toLog | Futhark.Util.Log |
| toName | Language.Futhark.Pretty, Language.Futhark |
| ToNodes | Futhark.Optimise.ReduceDeviceSyncs.MigrationTable.Graph |
| toParam | |
| 1 (Function) | Language.Futhark.Prop, Language.Futhark |
| 2 (Function) | Futhark.CodeGen.ImpGen.Multicore.Base |
| TopDown | Futhark.Optimise.Simplify.Rule |
| TopdownEnv | |
| 1 (Type/Class) | Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
| 2 (Data Constructor) | Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
| TopDownHelper | Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
| TopDownRule | Futhark.Optimise.Simplify.Rule |
| TopDownRuleBasicOp | Futhark.Optimise.Simplify.Rule |
| TopDownRuleGeneric | Futhark.Optimise.Simplify.Rule |
| TopDownRuleLoop | Futhark.Optimise.Simplify.Rule |
| TopDownRuleMatch | Futhark.Optimise.Simplify.Rule |
| TopDownRuleOp | Futhark.Optimise.Simplify.Rule |
| topDownSimplifyStm | Futhark.Optimise.Simplify.Rule |
| topLevelNameMap | Language.Futhark.TypeChecker.Monad |
| topologicalSort | Futhark.Util |
| toPOSIX | Futhark.Util |
| toRes | Language.Futhark.Prop, Language.Futhark |
| toResRet | Language.Futhark.Prop, Language.Futhark |
| toScope | Futhark.Analysis.SymbolTable |
| toScrema | Futhark.Optimise.Fusion.Screma |
| ToServer | Futhark.Compiler.Config, Futhark.Compiler, Futhark.Compiler.CLI |
| ToSink | Futhark.Optimise.ReduceDeviceSyncs.MigrationTable.Graph |
| toSOAC | |
| 1 (Function) | Futhark.Analysis.HORep.SOAC |
| 2 (Function) | Futhark.Analysis.HORep.MapNest |
| toStalePos | Futhark.LSP.PositionMapping |
| toStorage | |
| 1 (Function) | Futhark.CodeGen.Backends.SimpleRep, Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
| 2 (Function) | Futhark.CodeGen.Backends.GenericPython |
| toStruct | Language.Futhark.Prop, Language.Futhark |
| toStructural | Language.Futhark.Prop, Language.Futhark |
| toSubExp | Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
| toText | Futhark.Util.Log |
| toTuple | Language.Futhark.Interpreter.Values |
| TPrimExp | |
| 1 (Type/Class) | Futhark.Analysis.PrimExp, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.Tools, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
| 2 (Data Constructor) | Futhark.Analysis.PrimExp, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.Tools, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
| trace | Futhark.Eval |
| TracePrint | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
| trackAliases | Futhark.IR.Aliases |
| Transform | Futhark.Optimise.ArrayLayout.Transform |
| transformConsts | Futhark.Transform.FirstOrderTransform |
| Transformer | Futhark.Transform.FirstOrderTransform |
| transformFlatMap | Futhark.Transform.FirstOrderTransform |
| transformFromExp | Futhark.Analysis.HORep.SOAC |
| transformFunDef | Futhark.Transform.FirstOrderTransform |
| transformLambda | Futhark.Transform.FirstOrderTransform |
| transformProg | |
| 1 (Function) | Futhark.Internalise.ReplaceRecords |
| 2 (Function) | Futhark.Internalise.LiftLambdas |
| 3 (Function) | Futhark.Internalise.Defunctorise |
| 4 (Function) | Futhark.Internalise.Monomorphise |
| 5 (Function) | Futhark.Internalise.FullNormalise |
| 6 (Function) | Futhark.Internalise.Exps |
| 7 (Function) | Futhark.Internalise.Defunctionalise |
| 8 (Function) | Futhark.Internalise.ApplyTypeAbbrs |
| transformRows | Futhark.Analysis.HORep.SOAC |
| transformScrema | Futhark.Transform.FirstOrderTransform |
| transformSOAC | Futhark.Transform.FirstOrderTransform |
| transformStmRecursively | Futhark.Transform.FirstOrderTransform |
| transformStms | Futhark.Optimise.ArrayLayout.Transform |
| transformToExp | Futhark.Analysis.HORep.SOAC |
| transformVFS | Futhark.LSP.Tool |
| TransitiveCoal | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
| translateAccessSummary | Futhark.Optimise.ArrayShortCircuiting.MemRefAggreg |
| TransNode | Futhark.Optimise.Fusion.GraphRep |
| TransparentValue | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
| transposeCL | Futhark.CodeGen.RTS.OpenCL |
| transposeIndex | Futhark.IR.Prop.Rearrange, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| transposeInput | Futhark.Analysis.HORep.SOAC |
| transposeType | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| traverseDims | Language.Futhark.Prop, Language.Futhark |
| traverseFold | Futhark.Util |
| traverseHostOpStms | Futhark.IR.GPU.Op, Futhark.IR.GPUMem, Futhark.IR.GPU |
| TraverseKernels | Futhark.CodeGen.ImpCode.Multicore |
| traverseLambdaStms | Futhark.IR.Traversals, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| traverseMCOpStms | Futhark.IR.MC.Op, Futhark.IR.MCMem, Futhark.IR.MC |
| traverseMemOpStms | Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
| TraverseOpStms | Futhark.IR.Traversals, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| traverseOpStms | Futhark.IR.Traversals, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| traversePat | Language.Futhark.Traversals |
| traverseSegOpStms | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPUMem, Futhark.IR.GPU |
| traverseSOACStms | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
| Tree | Futhark.Internalise.TypesValues |
| trim | Futhark.Util |
| TRUE | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| true | Futhark.Analysis.PrimExp, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.Tools, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
| Try | Futhark.CodeGen.Backends.GenericPython.AST |
| tryFuseWithAccs | Futhark.Optimise.Fusion.RulesWithAccs |
| tryRead | Language.Futhark.Parser.Lexer.Tokens |
| tryReCompile | Futhark.LSP.Compile |
| trySoacThroughTransIntoWithAcc | Futhark.Optimise.Fusion.RulesWithAccs |
| tryTakeStateFromIORef | Futhark.LSP.Compile |
| tuningH | Futhark.CodeGen.RTS.C |
| tuningPy | Futhark.CodeGen.RTS.Python |
| Tuple | Futhark.CodeGen.Backends.GenericPython.AST |
| tupled | Futhark.Util.Pretty |
| tupleField | Futhark.CodeGen.Backends.SimpleRep, Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
| tupleFieldNames | Language.Futhark.Tuple, Language.Futhark.Prop, Language.Futhark |
| tupleFields | Language.Futhark.Tuple, Language.Futhark.Prop, Language.Futhark |
| TuplePat | Language.Futhark.Syntax, Language.Futhark |
| tupleRecord | Language.Futhark.Prop, Language.Futhark |
| TupLit | Language.Futhark.Syntax, Language.Futhark |
| TV | Futhark.CodeGen.ImpGen |
| tvExp | Futhark.CodeGen.ImpGen |
| tvSize | Futhark.CodeGen.ImpGen |
| tvType | Futhark.CodeGen.ImpGen |
| tvVar | Futhark.CodeGen.ImpGen |
| twoDotsRange | Language.Futhark.Parser.Monad |
| TWO_DOTS | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| TWO_DOTS_GT | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| TWO_DOTS_LT | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| TyParams | Language.Futhark.TypeChecker.Constraints |
| TYPE | Language.Futhark.Parser.Lexer.Tokens, Language.Futhark.Parser.Lexer |
| Type | |
| 1 (Type/Class) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| 2 (Data Constructor) | Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad |
| 3 (Type/Class) | Language.Futhark.TypeChecker.TySolve |
| TypeAbbr | Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad |
| TypeAbbrSpec | Language.Futhark.Syntax, Language.Futhark |
| typeAlias | Language.Futhark.Syntax, Language.Futhark |
| TypeAliases | Language.Futhark.TypeChecker.Consumption |
| TypeArg | Language.Futhark.Syntax, Language.Futhark |
| TypeArgDim | Language.Futhark.Syntax, Language.Futhark |
| TypeArgExp | Language.Futhark.Syntax, Language.Futhark |
| TypeArgExpSize | Language.Futhark.Syntax, Language.Futhark |
| TypeArgExpType | Language.Futhark.Syntax, Language.Futhark |
| TypeArgType | Language.Futhark.Syntax, Language.Futhark |
| TypeAscLet | Futhark.LSP.TypeAscription |
| TypeAscParam | Futhark.LSP.TypeAscription |
| TypeAscReturn | Futhark.LSP.TypeAscription |
| TypeAscription | Futhark.LSP.TypeAscription |
| TypeAscType | Futhark.LSP.TypeAscription |
| TypeBase | |
| 1 (Type/Class) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| 2 (Type/Class) | Language.Futhark.Syntax, Language.Futhark |
| TypeBind | |
| 1 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
| 2 (Type/Class) | Language.Futhark.Prop, Language.Futhark |
| TypeBindBase | Language.Futhark.Syntax, Language.Futhark |
| TypeBinding | Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad |
| typeBindLocation | Language.Futhark.Syntax, Language.Futhark |
| typeCheckerEnv | Language.Futhark.Interpreter |
| typeCheckHostOp | Futhark.IR.GPU.Op, Futhark.IR.GPUMem, Futhark.IR.GPU |
| typeCheckMCOp | Futhark.IR.MC.Op, Futhark.IR.MCMem, Futhark.IR.MC |
| typeCheckSegOp | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPUMem, Futhark.IR.GPU |
| typeCheckSOAC | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
| Typed | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| TypeDec | Language.Futhark.Syntax, Language.Futhark |
| typeDoc | Language.Futhark.Syntax, Language.Futhark |
| TypedOp | Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| typeElab | Language.Futhark.Syntax, Language.Futhark |
| TypeError | |
| 1 (Type/Class) | Futhark.IR.TypeCheck |
| 2 (Data Constructor) | Futhark.IR.TypeCheck |
| 3 (Type/Class) | Language.Futhark.TypeChecker.Monad, Language.Futhark.TypeChecker |
| 4 (Data Constructor) | Language.Futhark.TypeChecker.Monad, Language.Futhark.TypeChecker |
| typeError | Language.Futhark.TypeChecker.Monad |
| TypeExp | Language.Futhark.Syntax, Language.Futhark |
| typeExp | Language.Futhark.Syntax, Language.Futhark |
| typeLiftedness | Language.Futhark.Syntax, Language.Futhark |
| TypeLookup | Futhark.Optimise.Simplify.Rules.Simple |
| TypeM | |
| 1 (Type/Class) | Futhark.IR.TypeCheck |
| 2 (Type/Class) | Language.Futhark.TypeChecker.Monad |
| TypeName | Language.Futhark.Interpreter.FFI.ServerM |
| typeOf | |
| 1 (Function) | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| 2 (Function) | Futhark.Analysis.HORep.SOAC |
| 3 (Function) | Futhark.Analysis.HORep.MapNest |
| 4 (Function) | Language.Futhark.Prop, Language.Futhark |
| TypeOpaque | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| TypeParam | Language.Futhark.Prop, Language.Futhark |
| TypeParamBase | Language.Futhark.Syntax, Language.Futhark |
| TypeParamDim | Language.Futhark.Syntax, Language.Futhark |
| typeParamIdent | Language.Futhark.TypeChecker.Terms.Scope |
| typeParamName | Language.Futhark.Syntax, Language.Futhark |
| typeParams | Language.Futhark.Syntax, Language.Futhark |
| typeParamToArg | Language.Futhark.TypeChecker.Types |
| TypeParamType | Language.Futhark.Syntax, Language.Futhark |
| typeQualVars | Language.Futhark.Prop, Language.Futhark |
| TypeRef | Language.Futhark.Syntax, Language.Futhark |
| TypeRefBase | Language.Futhark.Syntax, Language.Futhark |
| typeSchemes | Language.Futhark.TypeChecker.Terms.Monad |
| typeShape | Language.Futhark.Interpreter.Values |
| typeSize | Futhark.CodeGen.ImpGen |
| TypeSpec | Language.Futhark.Syntax, Language.Futhark |
| TypeState | Language.Futhark.TypeChecker.Monad |
| TypeSubs | Language.Futhark.TypeChecker.Types |
| typeText | Futhark.CodeGen.Backends.GenericC.Pretty |
| TypeTransparent | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.MC, Futhark.IR.GPUMem, Futhark.IR.GPU |
| TypeVar | Language.Futhark.Syntax, Language.Futhark |
| typeVars | Language.Futhark.Prop, Language.Futhark |
| TySet | Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad |
| TyVar | Language.Futhark.TypeChecker.Constraints |
| TyVarFree | Language.Futhark.TypeChecker.Constraints |
| TyVarInfo | Language.Futhark.TypeChecker.Constraints |
| TyVarNode | Language.Futhark.TypeChecker.UnionFind |
| TyVarPrim | Language.Futhark.TypeChecker.Constraints |
| TyVarRecord | Language.Futhark.TypeChecker.Constraints |
| TyVars | Language.Futhark.TypeChecker.Constraints |
| TyVarSol | Language.Futhark.TypeChecker.UnionFind |
| TyVarSum | Language.Futhark.TypeChecker.Constraints |