Safe | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
safeExp | Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
safeOp | Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
Safety | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
SafetyCheap | Futhark.CodeGen.ImpCode.OpenCL |
SafetyFull | Futhark.CodeGen.ImpCode.OpenCL |
SafetyNone | Futhark.CodeGen.ImpCode.OpenCL |
sAlloc | Futhark.CodeGen.ImpGen |
sAllocArray | Futhark.CodeGen.ImpGen |
sAllocArrayPerm | Futhark.CodeGen.ImpGen |
sAlloc_ | Futhark.CodeGen.ImpGen |
SameScope | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SAnnPop | Futhark.Util.Pretty |
SAnnPush | Futhark.Util.Pretty |
sArray | Futhark.CodeGen.ImpGen |
sArrayInMem | Futhark.CodeGen.ImpGen |
Scalar | |
1 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
2 (Data Constructor) | Futhark.CodeGen.ImpGen.Multicore.Base |
ScalarEntry | |
1 (Type/Class) | Futhark.CodeGen.ImpGen |
2 (Data Constructor) | Futhark.CodeGen.ImpGen |
scalarF16H | Futhark.CodeGen.RTS.C |
scalarH | Futhark.CodeGen.RTS.C |
ScalarParam | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
scalarPy | Futhark.CodeGen.RTS.Python |
ScalarSpace | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
ScalarTab | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
scalarTable | Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
scalarToPrim | Futhark.CodeGen.Backends.SimpleRep, Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
ScalarType | Language.Futhark.Prop, Language.Futhark |
ScalarTypeBase | Language.Futhark.Syntax, Language.Futhark |
ScalarUse | Futhark.CodeGen.ImpCode.GPU |
ScalarValue | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
ScalarVar | Futhark.CodeGen.ImpGen |
scals | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
Scan | |
1 (Type/Class) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
2 (Data Constructor) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scanLambda | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scanNeutral | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scanomapSOAC | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scanomapToMapAndScan | Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
scanResults | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scanSOAC | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
Scatter | |
1 (Data Constructor) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
2 (Data Constructor) | Futhark.Analysis.HORep.SOAC |
SChar | Futhark.Util.Pretty |
schedulerH | Futhark.CodeGen.RTS.C |
SchedulerInfo | |
1 (Type/Class) | Futhark.CodeGen.ImpCode.Multicore |
2 (Data Constructor) | Futhark.CodeGen.ImpCode.Multicore |
Scheduling | Futhark.CodeGen.ImpCode.Multicore |
scheduling | Futhark.CodeGen.ImpCode.Multicore |
sComment | Futhark.CodeGen.ImpGen |
Scope | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scope | Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
Scoped | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeForGPU | Futhark.Pass.ExtractKernels.ToGPU |
scopeForSOACs | Futhark.Pass.ExtractKernels.ToGPU |
scopeModTable | Language.Futhark.TypeChecker.Terms.Monad |
scopeNameMap | Language.Futhark.TypeChecker.Terms.Monad |
scopeOf | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeOfFParams | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeOfKernelNest | Futhark.Pass.ExtractKernels.Distribution |
scopeOfLoopForm | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeOfLoopNesting | Futhark.Pass.ExtractKernels.Distribution |
scopeOfLParams | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeOfPat | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeOfPatElem | Futhark.IR.Prop.Scope, Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
scopeOfSegSpace | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
ScopeTab | Futhark.Optimise.ArrayShortCircuiting.DataStructs, Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis |
scopeTypeTable | Language.Futhark.TypeChecker.Terms.Monad |
scopeVtable | Language.Futhark.TypeChecker.Terms.Monad |
Scratch | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
Screma | |
1 (Data Constructor) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
2 (Data Constructor) | Futhark.Analysis.HORep.SOAC |
ScremaForm | |
1 (Type/Class) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.Analysis.HORep.SOAC, Futhark.IR.MC, Futhark.IR.GPU |
2 (Data Constructor) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.Analysis.HORep.SOAC, Futhark.IR.MC, Futhark.IR.GPU |
scremaLambda | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scremaType | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
scriptBuiltin | Futhark.Script |
ScriptFile | Futhark.Test.Spec, Futhark.Test |
ScriptServer | Futhark.Script |
ScriptValue | Futhark.Script |
ScriptValues | Futhark.Test.Spec, Futhark.Test |
ScriptValueType | Futhark.Script |
scriptValueType | Futhark.Script |
sDeclareMem | Futhark.CodeGen.ImpGen |
SDiv | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
SDivUp | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
seen | Futhark.Analysis.Metrics |
SegBinOp | |
1 (Type/Class) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBinOpChunks | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBinOpComm | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBinOpLambda | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBinOpNeutral | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBinOpResults | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBinOpShape | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segBody | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segFlat | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SegGroup | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SegHist | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segHist | Futhark.Pass.ExtractKernels.BlockedKernel |
SegLevel | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
segLevel | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SegMap | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segMap | Futhark.Pass.ExtractKernels.BlockedKernel |
segMap1D | Futhark.Optimise.TileLoops.Shared |
segMap2D | Futhark.Optimise.TileLoops.Shared |
segMap3D | Futhark.Optimise.TileLoops.Shared |
SegNoVirt | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SegNoVirtFull | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SegOp | |
1 (Data Constructor) | Futhark.CodeGen.ImpCode.Multicore |
2 (Type/Class) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
3 (Data Constructor) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
segOp | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SegOpLevel | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.IR.GPUMem |
SegOpMapper | |
1 (Type/Class) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segOpReturns | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segOpRules | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segOpString | Futhark.CodeGen.ImpGen.Multicore.Base |
SegRed | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segRed | Futhark.Pass.ExtractKernels.BlockedKernel |
SegScan | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segScan | Futhark.Pass.ExtractKernels.BlockedKernel |
segScatter2D | Futhark.Optimise.TileLoops.Shared |
SegSeqDims | |
1 (Type/Class) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
segSeqDims | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SegSpace | |
1 (Type/Class) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segSpace | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
segSpaceDims | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SegThread | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
segThread | Futhark.Pass.ExtractKernels.ToGPU |
segThreadCapped | Futhark.Pass.ExtractKernels.StreamKernel |
SegThreadInGroup | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SegVirt | |
1 (Type/Class) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
segVirt | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
selfOverlap | Futhark.IR.Mem.Interval |
semi | Futhark.Util.Pretty |
semistack | Futhark.Util.Pretty |
SEmpty | Futhark.Util.Pretty |
SemVer | |
1 (Type/Class) | Futhark.Pkg.Types |
2 (Data Constructor) | Futhark.Pkg.Types |
sep | Futhark.Util.Pretty |
Seq | Futhark.IR.Seq |
SeqLoop | |
1 (Type/Class) | Futhark.Pass.ExtractKernels.Interchange |
2 (Data Constructor) | Futhark.Pass.ExtractKernels.Interchange |
SeqMem | Futhark.IR.SeqMem |
SeqMemPipeline | Futhark.Test.Spec, Futhark.Test |
seqmemPipeline | Futhark.Passes |
seqPipeline | Futhark.Passes |
sequence | Futhark.Pass.ExplicitAllocations |
sequence_ | Futhark.Pass.ExplicitAllocations |
Sequential | Futhark.CodeGen.ImpCode.Sequential |
sequentialStreamWholeArray | Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
serverDefs | Futhark.CodeGen.Backends.GenericC.Server |
serverH | Futhark.CodeGen.RTS.C |
serverJs | Futhark.CodeGen.RTS.JavaScript |
serverPy | Futhark.CodeGen.RTS.Python |
ServerVar | Futhark.Script |
serverVarsInValue | Futhark.Script |
Set | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
setAdj | Futhark.AD.Rev.Monad |
setArrayDims | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setArrayShape | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setDim | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setDimSize | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setInputs | |
1 (Function) | Futhark.Analysis.HORep.SOAC |
2 (Function) | Futhark.Analysis.HORep.MapNest |
setLambda | Futhark.Analysis.HORep.SOAC |
setLoopTape | Futhark.AD.Rev.Monad |
SetMem | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
setMem | Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
setOuterDim | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setOuterDims | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setOuterSize | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setPatElemDec | Futhark.IR.Prop.Patterns, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SetScalar | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
SetType | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setType | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
setUniqueness | Language.Futhark.Prop, Language.Futhark |
SExt | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
sExt | 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 |
sExt32 | 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 |
sExt64 | 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 |
sExtAs | 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 |
SFail | Futhark.Util.Pretty |
sFor | Futhark.CodeGen.ImpGen |
SFun | Futhark.Script |
sgn | Futhark.Util.IntegralExp |
Shallow | Futhark.Util.Pretty |
Shape | |
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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
3 (Type/Class) | Futhark.IR.Mem.LMAD, Futhark.IR.Mem.IxFun |
4 (Type/Class) | Language.Futhark.Syntax, Language.Futhark |
5 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
6 (Type/Class) | Language.Futhark.Interpreter.Values |
shape | |
1 (Function) | Futhark.IR.Mem.LMAD |
2 (Function) | Futhark.IR.Mem.IxFun |
3 (Function) | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
ShapeBase | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
shapeCoerce | Futhark.IR.Prop.Reshape, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
shapeContext | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
ShapeDim | Language.Futhark.Interpreter.Values |
shapeDims | |
1 (Function) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Function) | Language.Futhark.Syntax, Language.Futhark |
shapeExtMapping | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
ShapeLeaf | Language.Futhark.Interpreter.Values |
shapeRank | |
1 (Function) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Function) | Language.Futhark.Syntax, Language.Futhark |
ShapeRecord | Language.Futhark.Interpreter.Values |
shapeSize | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
ShapeSum | Language.Futhark.Interpreter.Values |
ShiftL | Language.Futhark.Syntax, Language.Futhark |
ShiftR | Language.Futhark.Syntax, Language.Futhark |
Shl | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
shorten | Futhark.Util.Pretty |
shouldMove | Futhark.Optimise.ReduceDeviceSyncs.MigrationTable |
shouldMoveStm | Futhark.Optimise.ReduceDeviceSyncs.MigrationTable |
showText | Futhark.Util |
sIf | Futhark.CodeGen.ImpGen |
SigArrow | Language.Futhark.Syntax, Language.Futhark |
SigBind | |
1 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
2 (Type/Class) | Language.Futhark.Prop, Language.Futhark |
SigBindBase | Language.Futhark.Syntax, Language.Futhark |
SigDec | Language.Futhark.Syntax, Language.Futhark |
sigDoc | Language.Futhark.Syntax, Language.Futhark |
SigExp | Language.Futhark.Prop, Language.Futhark |
sigExp | Language.Futhark.Syntax, Language.Futhark |
SigExpBase | Language.Futhark.Syntax, Language.Futhark |
sigLoc | Language.Futhark.Syntax, Language.Futhark |
sigName | Language.Futhark.Syntax, Language.Futhark |
Signature | Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad |
Signed | |
1 (Data Constructor) | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
Signedness | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SignedValue | Language.Futhark.Syntax, Language.Futhark |
SigParens | Language.Futhark.Syntax, Language.Futhark |
SigSpecs | Language.Futhark.Syntax, Language.Futhark |
SigVar | Language.Futhark.Syntax, Language.Futhark |
SigWith | Language.Futhark.Syntax, Language.Futhark |
similarExps | Language.Futhark.Prop, Language.Futhark |
simpleCall | Futhark.CodeGen.Backends.GenericPython |
SimpleDocStream | Futhark.Util.Pretty |
simpleGeneric | Futhark.IR.Mem.Simplify |
simpleGPUMem | Futhark.IR.GPUMem |
SimpleM | Futhark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify |
simpleMkLetNames | Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
SimpleOps | |
1 (Type/Class) | Futhark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify |
2 (Data Constructor) | Futhark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify |
simpleSeqMem | Futhark.IR.SeqMem |
simpleSOACS | Futhark.IR.SOACS.Simplify |
Simplifiable | Futhark.Optimise.Simplify.Engine |
simplifiable | Futhark.Pass.ExplicitAllocations, Futhark.Pass.ExplicitAllocations.Seq |
SimplifiableRep | Futhark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify |
SimplificationRule | Futhark.Optimise.Simplify.Rule |
Simplify | Futhark.Optimise.Simplify.Rule |
simplify | |
1 (Function) | Futhark.Optimise.Simplify.Engine |
2 (Function) | Futhark.Analysis.AlgSimplify |
3 (Function) | Futhark.Pass.Simplify |
simplify' | Futhark.Analysis.AlgSimplify |
simplify0 | Futhark.Analysis.AlgSimplify |
simplifyBody | Futhark.Optimise.Simplify.Engine |
simplifyConsts | Futhark.IR.SOACS.Simplify |
simplifyExtPrimExp | Futhark.Analysis.PrimExp.Simplify |
simplifyFun | |
1 (Function) | Futhark.Optimise.Simplify.Engine |
2 (Function) | Futhark.Optimise.Simplify |
3 (Function) | Futhark.IR.SOACS.Simplify |
simplifyGPU | |
1 (Function) | Futhark.IR.GPU.Simplify |
2 (Function) | Futhark.Pass.Simplify |
simplifyGPUMem | Futhark.Pass.Simplify |
simplifyIndexing | Futhark.Optimise.Simplify.Rules.Index |
simplifyKernelOp | Futhark.IR.GPU.Simplify |
simplifyKnownIterationSOAC | Futhark.IR.SOACS.Simplify |
simplifyLambda | |
1 (Function) | Futhark.Optimise.Simplify.Engine |
2 (Function) | Futhark.Optimise.Simplify |
3 (Function) | Futhark.IR.SOACS.Simplify |
4 (Function) | Futhark.IR.GPU.Simplify |
simplifyLambdaNoHoisting | Futhark.Optimise.Simplify.Engine |
simplifyMapIota | Futhark.IR.SOACS.Simplify |
simplifyMC | Futhark.Pass.Simplify |
simplifyMCMem | Futhark.Pass.Simplify |
simplifyMCOp | Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.MCMem |
SimplifyMemory | Futhark.IR.Mem.Simplify |
simplifyMemory | Futhark.Analysis.SymbolTable |
SimplifyOp | Futhark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify |
simplifyOpS | Futhark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify |
simplifyPrimExp | Futhark.Analysis.PrimExp.Simplify |
simplifyProg | |
1 (Function) | Futhark.Optimise.Simplify |
2 (Function) | Futhark.IR.Seq |
3 (Function) | Futhark.IR.MC |
4 (Function) | Futhark.IR.SeqMem |
5 (Function) | Futhark.IR.MCMem |
6 (Function) | Futhark.IR.GPUMem |
simplifyProgGeneric | Futhark.IR.Mem.Simplify |
simplifySegOp | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
simplifySeq | Futhark.Pass.Simplify |
simplifySeqMem | Futhark.Pass.Simplify |
simplifySOAC | Futhark.IR.SOACS.Simplify |
simplifySOACS | |
1 (Function) | Futhark.IR.SOACS.Simplify |
2 (Function) | Futhark.Pass.Simplify |
simplifySofP | Futhark.Analysis.AlgSimplify |
simplifySofP' | Futhark.Analysis.AlgSimplify |
simplifySomething | Futhark.Optimise.Simplify |
simplifyStms | |
1 (Function) | Futhark.Optimise.Simplify.Engine |
2 (Function) | Futhark.Optimise.Simplify |
3 (Function) | Futhark.IR.SOACS.Simplify |
4 (Function) | Futhark.IR.GPUMem |
simplifyStmsGeneric | Futhark.IR.Mem.Simplify |
simplifyStmsWithUsage | Futhark.Optimise.Simplify.Engine |
singleNesting | Futhark.Pass.ExtractKernels.Distribution |
singleReduce | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
singleScan | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
singleTarget | Futhark.Pass.ExtractKernels.Distribution |
singleWarning | Language.Futhark.Warnings, Futhark.CodeGen.ImpGen, Language.Futhark.TypeChecker.Monad |
singleWarning' | Language.Futhark.Warnings, Futhark.CodeGen.ImpGen, Language.Futhark.TypeChecker.Monad |
sinkGPU | Futhark.Optimise.Sink |
sinkMC | Futhark.Optimise.Sink |
sIota | Futhark.CodeGen.ImpGen.GPU.Base |
SIToFP | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
Size | |
1 (Type/Class) | Language.Futhark.Syntax, Language.Futhark |
2 (Data Constructor) | Language.Futhark.TypeChecker.Unify |
SizeBespoke | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeBinder | |
1 (Type/Class) | Language.Futhark.Syntax, Language.Futhark |
2 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
SizeClass | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeConst | Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
sizeDefault | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeExp | |
1 (Type/Class) | Language.Futhark.Syntax, Language.Futhark |
2 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
SizeExpAny | Language.Futhark.Syntax, Language.Futhark |
sizeFromInteger | Language.Futhark.Syntax, Language.Futhark |
sizeFromName | Language.Futhark.Syntax, Language.Futhark |
SizeGroup | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeHeuristic | |
1 (Type/Class) | Futhark.CodeGen.OpenCL.Heuristics |
2 (Data Constructor) | Futhark.CodeGen.OpenCL.Heuristics |
sizeHeuristicsTable | Futhark.CodeGen.OpenCL.Heuristics |
SizeLifted | Language.Futhark.Syntax, Language.Futhark |
sizeLoc | Language.Futhark.Syntax, Language.Futhark |
SizeLocalMemory | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeMaxConst | Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
sizeName | Language.Futhark.Syntax, Language.Futhark |
SizeNumGroups | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeOp | |
1 (Data Constructor) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
2 (Type/Class) | Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeRegTile | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeSource | Language.Futhark.TypeChecker.Terms.Monad |
SizeSubst | Futhark.Pass.ExplicitAllocations |
SizeThreshold | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
SizeTile | Futhark.IR.GPU.Sizes, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.GPUMem |
sizeUsage | Futhark.Analysis.UsageTable |
sizeUsages | Futhark.Analysis.UsageTable |
sKernel | Futhark.CodeGen.ImpGen.GPU.Base |
sKernelGroup | Futhark.CodeGen.ImpGen.GPU.Group |
sKernelThread | Futhark.CodeGen.ImpGen.GPU.Base |
Skip | |
1 (Data Constructor) | Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL |
2 (Data Constructor) | Futhark.Optimise.Simplify.Rule |
slash | Futhark.Util.Pretty |
Slice | |
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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
3 (Type/Class) | Language.Futhark.Prop, Language.Futhark |
slice | |
1 (Function) | Futhark.IR.Mem.LMAD |
2 (Function) | Futhark.IR.Mem.IxFun |
sliceAt | Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
SliceBase | Language.Futhark.Syntax, Language.Futhark |
sliceDim | Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad, Futhark.Pass.ExplicitAllocations |
sliceDims | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
sliceIndices | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
sliceMemLoc | Futhark.CodeGen.ImpGen |
sliceShape | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
sliceSizes | Futhark.IR.Prop.Reshape, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
sliceSlice | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SlicingError | Futhark.IR.TypeCheck |
SLine | Futhark.Util.Pretty |
sLoopNest | Futhark.CodeGen.ImpGen |
sLoopNestVectorized | Futhark.CodeGen.ImpGen.Multicore.Base |
sLoopSpace | Futhark.CodeGen.ImpGen |
SMax | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
sMax32 | 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 |
sMax64 | 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 |
SMin | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
sMin32 | 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 |
sMin64 | 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 |
SMod | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
SOAC | |
1 (Type/Class) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
2 (Type/Class) | Futhark.Analysis.HORep.SOAC |
SOACMapper | |
1 (Type/Class) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
2 (Data Constructor) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
SoacNode | Futhark.Optimise.Fusion.GraphRep |
soacOp | Futhark.IR.SOACS.Simplify |
soacRules | Futhark.IR.SOACS.Simplify |
SOACS | Futhark.IR.SOACS, Futhark.IR.SOACS.Simplify |
soacsLambdaToGPU | Futhark.Pass.ExtractKernels.ToGPU |
SOACSPipeline | Futhark.Test.Spec, Futhark.Test |
soacsStmToGPU | Futhark.Pass.ExtractKernels.ToGPU |
soacToStream | Futhark.Analysis.HORep.SOAC |
soacType | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
SofP | Futhark.Analysis.AlgSimplify |
softline | Futhark.Util.Pretty |
softline' | Futhark.Util.Pretty |
solveDeps | Futhark.Pkg.Solve |
solveDepsPure | Futhark.Pkg.Solve |
sOp | Futhark.CodeGen.ImpGen |
sortConstrs | Language.Futhark.Prop, Language.Futhark |
sortFields | Language.Futhark.Tuple, Language.Futhark.Prop, Language.Futhark |
SourceBound | Language.Futhark.TypeChecker.Terms.Monad |
SourceSlice | Language.Futhark.TypeChecker.Terms.Monad |
Space | |
1 (Type/Class) | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
space | Futhark.Util.Pretty |
SpaceId | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
Sparse | |
1 (Type/Class) | Futhark.AD.Rev.Monad |
2 (Data Constructor) | Futhark.AD.Rev.Monad |
sparseIdxVals | Futhark.AD.Rev.Monad |
sparseShape | Futhark.AD.Rev.Monad |
sparseType | Futhark.AD.Rev.Monad |
Spec | Language.Futhark.Prop, Language.Futhark |
SpecBase | Language.Futhark.Syntax, Language.Futhark |
specDoc | Language.Futhark.Syntax, Language.Futhark |
specLocation | Language.Futhark.Syntax, Language.Futhark |
specName | Language.Futhark.Syntax, Language.Futhark |
specType | Language.Futhark.Syntax, Language.Futhark |
specTypeExp | Language.Futhark.Syntax, Language.Futhark |
specTypeParams | Language.Futhark.Syntax, Language.Futhark |
splitAt3 | Futhark.Util |
splitFromEnd | Futhark.Util |
splitHistResults | Futhark.IR.SegOp, Futhark.IR.MC.Op, Futhark.IR.MC, Futhark.IR.GPU.Op, Futhark.IR.GPU, Futhark.IR.MCMem, Futhark.IR.GPUMem |
splitScatterResults | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
SQuot | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
squote | Futhark.Util.Pretty |
squotes | Futhark.Util.Pretty |
SrcLoc | |
1 (Type/Class) | Futhark.Util.Loc, Language.Futhark.Core, Futhark.CodeGen.Backends.GenericPython.AST, 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Language.Futhark.Syntax, Language.Futhark |
2 (Data Constructor) | Futhark.Util.Loc |
srclocOf | Futhark.Util.Loc, Language.Futhark.Core, Futhark.CodeGen.Backends.GenericPython.AST, 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Language.Futhark.Syntax, Language.Futhark |
srcspan | Futhark.Util.Loc |
srcwrts | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
SRem | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
sReplicate | Futhark.CodeGen.ImpGen.GPU.Base |
SSignum | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
sStaticArray | Futhark.CodeGen.ImpGen |
stack | Futhark.Util.Pretty |
StackFrame | |
1 (Type/Class) | Language.Futhark.Interpreter |
2 (Data Constructor) | Language.Futhark.Interpreter |
stackFrameCtx | Language.Futhark.Interpreter |
stackFrameLoc | Language.Futhark.Interpreter |
staleContent | Futhark.LSP.PositionMapping |
staleData | Futhark.LSP.State |
StaleFile | |
1 (Type/Class) | Futhark.LSP.PositionMapping |
2 (Data Constructor) | Futhark.LSP.PositionMapping |
staleMapping | Futhark.LSP.PositionMapping |
standardPipeline | Futhark.Passes |
standardRules | Futhark.Optimise.Simplify.Rules |
startPos | Futhark.Util.Loc |
startupTime | Futhark.Util |
State | |
1 (Type/Class) | Futhark.LSP.State |
2 (Data Constructor) | Futhark.LSP.State |
stateAdjs | Futhark.AD.Rev.Monad |
stateConstraints | Language.Futhark.TypeChecker.Terms.Monad |
stateCounter | Language.Futhark.TypeChecker.Terms.Monad |
stateLoopTape | Futhark.AD.Rev.Monad |
stateNameSource | |
1 (Function) | Futhark.AD.Rev.Monad |
2 (Function) | Language.Futhark.TypeChecker.Monad |
3 (Function) | Language.Futhark.TypeChecker.Terms.Monad |
stateProgram | Futhark.LSP.State |
stateSubsts | Futhark.AD.Rev.Monad |
stateUsed | Language.Futhark.TypeChecker.Terms.Monad |
stateWarnings | Language.Futhark.TypeChecker.Terms.Monad |
Static | Futhark.CodeGen.ImpCode.Multicore |
staticShapes | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
staticShapes1 | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
statusOf | Futhark.Optimise.ReduceDeviceSyncs.MigrationTable |
StayOnHost | Futhark.Optimise.ReduceDeviceSyncs.MigrationTable |
stdErr | Futhark.Bench |
SText | Futhark.Util.Pretty |
STFun | Futhark.Script |
Stm | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stm | |
1 (Function) | Futhark.CodeGen.Backends.GenericPython |
2 (Function) | Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
StmAux | |
1 (Type/Class) | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmAux | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmAuxAttrs | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmAuxCerts | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmAuxDec | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmCerts | Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmExp | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmMetrics | Futhark.Analysis.Metrics |
StmNode | Futhark.Optimise.Fusion.GraphRep |
stmPat | |
1 (Function) | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Function) | Futhark.Internalise.Bindings |
Stms | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stms | Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
StmsCompiler | Futhark.CodeGen.ImpGen |
stmsFromList | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmsHead | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmsLast | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
stmsToList | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
storageSize | Futhark.CodeGen.Backends.SimpleRep, Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
storeValueHeader | Futhark.CodeGen.Backends.SimpleRep, Futhark.CodeGen.Backends.GenericC.Monad, Futhark.CodeGen.Backends.GenericC.Fun, Futhark.CodeGen.Backends.GenericC |
Stream | |
1 (Data Constructor) | Futhark.IR.SOACS.SOAC, Futhark.IR.SOACS, Futhark.IR.MC, Futhark.IR.GPU |
2 (Data Constructor) | Futhark.Analysis.HORep.SOAC |
stride | Futhark.IR.Mem.Interval |
String | Futhark.CodeGen.Backends.GenericPython.AST |
STRINGLIT | Language.Futhark.Parser.Lexer.Tokens |
StringLit | |
1 (Data Constructor) | Language.Futhark.Syntax, Language.Futhark |
2 (Data Constructor) | Futhark.Script |
stripArray | |
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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Function) | Language.Futhark.Prop, Language.Futhark |
stripDims | |
1 (Function) | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Function) | Language.Futhark.Syntax, Language.Futhark |
stripExp | Language.Futhark.Prop, Language.Futhark |
stripmineStms | Futhark.AD.Rev.Loop |
StructRetType | Language.Futhark.Syntax, Language.Futhark |
StructType | Language.Futhark.Syntax, Language.Futhark |
StructTypeArg | Language.Futhark.Prop, Language.Futhark |
structTypeShape | Language.Futhark.Interpreter.Values |
StructurePipeline | Futhark.Test.Spec, Futhark.Test |
StructureTest | |
1 (Type/Class) | Futhark.Test.Spec, Futhark.Test |
2 (Data Constructor) | Futhark.Test.Spec, Futhark.Test |
STValue | Futhark.Script |
Sub | Language.Futhark.Primitive, Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.Analysis.PrimExp, Futhark.IR, Futhark.IR.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.Multicore, Futhark.CodeGen.ImpCode.GPU, Futhark.CodeGen.ImpCode.OpenCL, Futhark.IR.Seq, Futhark.Tools, Futhark.IR.SOACS, Futhark.Internalise.Monad, Futhark.IR.Mem, Futhark.Pass.ExplicitAllocations, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem, Futhark.Analysis.PrimExp.Parse |
sub | Futhark.Analysis.AlgSimplify |
subAD | Futhark.AD.Rev.Monad |
SubExp | |
1 (Type/Class) | 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.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpAliases | Futhark.IR.Prop.Aliases, Futhark.IR.Aliases |
subExpAvailable | Futhark.Analysis.SymbolTable |
subExpMemInfo | Futhark.IR.Mem, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SubExpRes | |
1 (Type/Class) | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
2 (Data Constructor) | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpRes | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpResType | Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
SubExpResult | Futhark.Optimise.Simplify.Rules.Index |
subExpResVName | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpSlice | 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 |
subExpsRes | Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpType | Futhark.IR.Prop.TypeOf, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpVar | Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subExpVars | Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subImpM | Futhark.CodeGen.ImpGen |
subImpM_ | Futhark.CodeGen.ImpGen |
subShapeOf | Futhark.IR.Syntax.Core, Futhark.IR.Syntax, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
Subst | |
1 (Type/Class) | Language.Futhark.TypeChecker.Types |
2 (Data Constructor) | Language.Futhark.TypeChecker.Types |
substFromAbbr | Language.Futhark.TypeChecker.Types |
Substitutable | |
1 (Type/Class) | Futhark.Transform.Substitute |
2 (Type/Class) | Language.Futhark.TypeChecker.Types |
Substitute | Futhark.Transform.Substitute |
substituteIndices | Futhark.Optimise.InPlaceLowering.SubstituteIndices |
substituteInIxFun | Futhark.IR.Mem.IxFun |
substituteInLMAD | Futhark.IR.Mem.LMAD, Futhark.IR.Mem.IxFun |
substituteInPrimExp | 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 |
substituteNames | Futhark.Transform.Substitute |
substituteRename | Futhark.Transform.Rename |
substitutingVars | Futhark.Internalise.Monad |
Substitutions | Futhark.Transform.Substitute |
substLoopTape | Futhark.AD.Rev.Monad |
substTypesAny | Language.Futhark.TypeChecker.Types |
subSubsts | Futhark.AD.Rev.Monad |
subtypeOf | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
subtypesOf | Futhark.IR.Prop.Types, Futhark.IR.Prop, Futhark.IR, Futhark.IR.Aliases, Futhark.IR.Seq, Futhark.IR.SOACS, Futhark.IR.Mem, Futhark.IR.MC, Futhark.IR.GPU, Futhark.IR.SeqMem, Futhark.IR.MCMem, Futhark.IR.GPUMem |
Succeeds | Futhark.Test.Spec, Futhark.Test |
Success | Futhark.Test.Spec, Futhark.Test |
successCoals | Futhark.Optimise.ArrayShortCircuiting.DataStructs |
SuccessGenerateValues | Futhark.Test.Spec, Futhark.Test |
SuccessValues | Futhark.Test.Spec, Futhark.Test |
suffZero | Language.Futhark.Parser.Lexer.Tokens |
Sum | Language.Futhark.Syntax, Language.Futhark |
sumOfProducts | Futhark.Analysis.AlgSimplify |
sumToExp | Futhark.Analysis.AlgSimplify |
sUnless | Futhark.CodeGen.ImpGen |
sUpdate | Futhark.CodeGen.ImpGen |
surround | Futhark.Util.Pretty |
SValue | Futhark.Script |
sWhen | Futhark.CodeGen.ImpGen |
sWhile | Futhark.CodeGen.ImpGen |
sWrite | Futhark.CodeGen.ImpGen |
SYMBOL | Language.Futhark.Parser.Lexer.Tokens |
symbol | Language.Futhark.Parser.Lexer.Tokens |
SymbolTable | Futhark.Analysis.SymbolTable, Futhark.Optimise.Simplify.Engine |
SyntaxError | |
1 (Type/Class) | Language.Futhark.Parser.Monad, Language.Futhark.Parser |
2 (Data Constructor) | Language.Futhark.Parser.Monad, Language.Futhark.Parser |
syntaxErrorLoc | Language.Futhark.Parser.Monad, Language.Futhark.Parser |
syntaxErrorMsg | Language.Futhark.Parser.Monad, Language.Futhark.Parser |