futhark-0.9.1: An optimising compiler for a functional, array-oriented language.

Index - M

main 
1 (Function)Futhark.CLI.Python
2 (Function)Futhark.CLI.PyOpenCL
3 (Function)Futhark.CLI.OpenCL
4 (Function)Futhark.CLI.CUDA
5 (Function)Futhark.CLI.CSharp
6 (Function)Futhark.CLI.CSOpenCL
7 (Function)Futhark.CLI.C
8 (Function)Futhark.CLI.Test
9 (Function)Futhark.CLI.Run
10 (Function)Futhark.CLI.Pkg
11 (Function)Futhark.CLI.Dev
12 (Function)Futhark.CLI.Dataset
13 (Function)Futhark.CLI.Datacmp
14 (Function)Futhark.CLI.Bench
15 (Function)Futhark.CLI.Doc
16 (Function)Futhark.CLI.REPL
mainCheckFuthark.CLI.Misc
mainWithOptionsFuthark.Util.Options
makeAllMemoryGlobalFuthark.CodeGen.ImpGen.Kernels.Base
makeCommutativeMapFuthark.Optimise.MemoryBlockMerging.Miscellaneous
ManifestFuthark.Representation.AST.Syntax, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
manifestEndCommentsFuthark.Pkg.Types
manifestPkgPathFuthark.Pkg.Types
manifestRequireFuthark.Pkg.Types
MapLanguage.Futhark.Syntax, Language.Futhark
mapAccumLMFuthark.Util
mapBodyFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapEitherFuthark.Util
mapExpFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapExpMFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapFromListSetUnionFuthark.Optimise.MemoryBlockMerging.Miscellaneous
mapIshFuthark.Pass.ExtractKernels.Kernelise
mapKernelFuthark.Pass.ExtractKernels.BlockedKernel
mapKernelFromBodyFuthark.Pass.ExtractKernels.BlockedKernel
mapKernelMFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
MapLikeLanguage.Futhark.Syntax, Language.Futhark
mapMaybeMFuthark.Optimise.MemoryBlockMerging.Miscellaneous
MapNest 
1 (Type/Class)Futhark.Analysis.HORepresentation.MapNest
2 (Data Constructor)Futhark.Analysis.HORepresentation.MapNest
3 (Type/Class)Futhark.Optimise.Fusion.LoopKernel
MapNestingFuthark.Pass.ExtractKernels.Distribution
mapOnBodyFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnBranchTypeFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnCertificatesFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnCompTypeLanguage.Futhark.Traversals
mapOnExpLanguage.Futhark.Traversals
mapOnExtTypeFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnFParamFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnKernelBodyFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnKernelKernelBodyFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnKernelLambdaFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnKernelLParamFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnKernelSubExpFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnKernelVNameFuthark.Representation.Kernels.Kernel, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnLoopFormFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnLParamFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnNameLanguage.Futhark.Traversals
mapOnOpFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnPatternTypeLanguage.Futhark.Traversals
mapOnQualNameLanguage.Futhark.Traversals
mapOnRetTypeFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnSOACLambdaFuthark.Representation.SOACS.SOAC, Futhark.Representation.SOACS
mapOnSOACSubExpFuthark.Representation.SOACS.SOAC, Futhark.Representation.SOACS
mapOnSOACVNameFuthark.Representation.SOACS.SOAC, Futhark.Representation.SOACS
mapOnStructTypeLanguage.Futhark.Traversals
mapOnSubExpFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapOnType 
1 (Function)Futhark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
2 (Function)Language.Futhark.Traversals
mapOnVNameFuthark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
Mapper 
1 (Type/Class)Futhark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
2 (Data Constructor)Futhark.Representation.AST.Traversals, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
mapResultFuthark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mapSOACFuthark.Representation.SOACS.SOAC, Futhark.Representation.SOACS
mapSOACMFuthark.Representation.SOACS.SOAC, Futhark.Representation.SOACS
mapTransposeFuthark.CodeGen.ImpGen.Kernels.Transpose
mapTransposeKernelFuthark.CodeGen.ImpGen.Kernels.Transpose
mapTypeFuthark.Representation.AST.Attributes.TypeOf, Futhark.Representation.AST.Attributes, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
MATCHLanguage.Futhark.Parser
MatchLanguage.Futhark.Syntax, Language.Futhark
matchBranchTypeFuthark.TypeCheck
matchExtBranchTypeFuthark.TypeCheck
matchExtPatternFuthark.TypeCheck
matchExtReturnTypeFuthark.TypeCheck
MatchingFieldsLanguage.Futhark.TypeChecker.Monad, Language.Futhark.TypeChecker.Unify
MatchingTypesLanguage.Futhark.TypeChecker.Monad, Language.Futhark.TypeChecker.Unify
MatchPatternFuthark.Internalise.Bindings
matchPatternFuthark.TypeCheck
matchReturnTypeFuthark.TypeCheck
MaximumBoundFuthark.Representation.AST.Attributes.Ranges, Futhark.Representation.Ranges
maximumBoundFuthark.Representation.AST.Attributes.Ranges, Futhark.Representation.Ranges
maxIntrinsicTagLanguage.Futhark.Attributes, Language.Futhark
MaxMinFuthark.Analysis.ScalExp
maybeFromBoolMFuthark.Optimise.MemoryBlockMerging.Miscellaneous
maybeHeadFuthark.Util
maybeNthFuthark.Util
Mem 
1 (Data Constructor)Futhark.Representation.AST.Syntax.Core, Futhark.Representation.AST.Syntax, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
2 (Data Constructor)Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.OpenCL, Futhark.CodeGen.ImpCode.Kernels
MemAliasesFuthark.Optimise.MemoryBlockMerging.Types
MemArgFuthark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.OpenCL, Futhark.CodeGen.ImpCode.Kernels
MemArrayFuthark.Representation.ExplicitMemory
MemBindFuthark.Representation.ExplicitMemory
memBlockSizesFunDefFuthark.Optimise.MemoryBlockMerging.Reuse.AllocationSizes
memBlockSizesParamsBodyNonRecFuthark.Optimise.MemoryBlockMerging.Reuse.AllocationSizes
MemBoundFuthark.Representation.ExplicitMemory
MemEntry 
1 (Type/Class)Futhark.CodeGen.ImpGen
2 (Data Constructor)Futhark.CodeGen.ImpGen
MemFenceFuthark.CodeGen.ImpCode.Kernels
MemInfoFuthark.Representation.ExplicitMemory
MemKArgFuthark.CodeGen.ImpCode.OpenCL
MemLocation 
1 (Type/Class)Futhark.CodeGen.ImpGen
2 (Data Constructor)Futhark.CodeGen.ImpGen
memLocationIxFunFuthark.CodeGen.ImpGen
memLocationNameFuthark.CodeGen.ImpGen
memLocationShapeFuthark.CodeGen.ImpGen
memLocIxFunFuthark.Optimise.MemoryBlockMerging.Types
memLocNameFuthark.Optimise.MemoryBlockMerging.Types
MemMemFuthark.Representation.ExplicitMemory
MemOpFuthark.Representation.ExplicitMemory
memoryBlockMergingCoalescingFuthark.Optimise.MemoryBlockMerging
memoryBlockMergingReuseFuthark.Optimise.MemoryBlockMerging
MemoryLoc 
1 (Type/Class)Futhark.Optimise.MemoryBlockMerging.Types
2 (Data Constructor)Futhark.Optimise.MemoryBlockMerging.Types
MemorySrc 
1 (Type/Class)Futhark.Optimise.MemoryBlockMerging.Types
2 (Data Constructor)Futhark.Optimise.MemoryBlockMerging.Types
MemoryTypeFuthark.CodeGen.Backends.GenericC
MemoryUseFuthark.CodeGen.ImpCode.Kernels
MemParamFuthark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.OpenCL, Futhark.CodeGen.ImpCode.Kernels
MemPrimFuthark.Representation.ExplicitMemory
MemReturnFuthark.Representation.ExplicitMemory
MemSizeFuthark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.OpenCL, Futhark.CodeGen.ImpCode.Kernels
memSizeToExpFuthark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.OpenCL, Futhark.CodeGen.ImpCode.Kernels
memSrcIxFunFuthark.Optimise.MemoryBlockMerging.Types
memSrcNameFuthark.Optimise.MemoryBlockMerging.Types
memSrcShapeFuthark.Optimise.MemoryBlockMerging.Types
MemVarFuthark.CodeGen.ImpGen
mergeReduceOpsFuthark.Optimise.Fusion.Composing
messageFuthark.TypeCheck
metricsActionFuthark.Actions
MetricsMFuthark.Analysis.Metrics
MinimumBoundFuthark.Representation.AST.Attributes.Ranges, Futhark.Representation.Ranges
minimumBoundFuthark.Representation.AST.Attributes.Ranges, Futhark.Representation.Ranges
MinusLanguage.Futhark.Syntax, Language.Futhark
MiscDeclFuthark.CodeGen.Backends.GenericC
MismatchFuthark.Test.Values, Futhark.Test
mkAliasedBodyFuthark.Representation.Aliases
mkAliasedLetStmFuthark.Representation.Aliases
mkArrayLanguage.Futhark.Interpreter
mkBodyFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkBodyAliasesFuthark.Representation.Aliases
mkBodyBFuthark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkBodyMFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkBodyRangesFuthark.Representation.Ranges
mkBodySFuthark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify
mkEntryFuthark.Util.Table
mkExpAttrFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkExpAttrBFuthark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkExpAttrMFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkExpAttrSFuthark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify
mkExpPatFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkIdentityLambdaFuthark.Representation.SOACS.SOAC, Futhark.Representation.SOACS
mkImportFromLanguage.Futhark.Semantic
mkInitialImportLanguage.Futhark.Semantic
mkLetFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkLetMFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkLetNamesFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkLetNamesBFuthark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkLetNamesMFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
mkLetNamesSFuthark.Optimise.Simplify.Engine, Futhark.Optimise.Simplify
mkPatternAliasesFuthark.Representation.Aliases
mkPatternRangesFuthark.Representation.Ranges
mkRangedBodyFuthark.Representation.Ranges
mkRangedLetStmFuthark.Representation.Ranges
mkSuffCondsFuthark.Analysis.AlgSimplify
mkTypeVarNameLanguage.Futhark.TypeChecker.Unify
mkWiseBodyFuthark.Optimise.Simplify.Lore, Futhark.Optimise.Simplify.Engine
mkWiseExpAttrFuthark.Optimise.Simplify.Lore, Futhark.Optimise.Simplify.Engine
mkWiseLetStmFuthark.Optimise.Simplify.Lore, Futhark.Optimise.Simplify.Engine
MNameFuthark.Optimise.MemoryBlockMerging.Types
MNamesFuthark.Optimise.MemoryBlockMerging.Types
Mod 
1 (Data Constructor)Language.Futhark.Syntax, Language.Futhark
2 (Type/Class)Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
modFuthark.Util.IntegralExp
ModApplyLanguage.Futhark.Syntax, Language.Futhark
ModAscriptLanguage.Futhark.Syntax, Language.Futhark
ModBind 
1 (Data Constructor)Language.Futhark.Syntax, Language.Futhark
2 (Type/Class)Language.Futhark
ModBindBaseLanguage.Futhark.Syntax, Language.Futhark
ModDecLanguage.Futhark.Syntax, Language.Futhark
ModDecsLanguage.Futhark.Syntax, Language.Futhark
modDocLanguage.Futhark.Syntax, Language.Futhark
ModEnvLanguage.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
ModExpLanguage.Futhark
modExpLanguage.Futhark.Syntax, Language.Futhark
ModExpBaseLanguage.Futhark.Syntax, Language.Futhark
ModFunLanguage.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
modifyArrayShapeFuthark.Representation.AST.Attributes.Types, Futhark.Representation.AST.Attributes, Futhark.Representation.AST, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Representation.SOACS, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory
modifyConstraintsLanguage.Futhark.TypeChecker.Unify
modifyNameSourceFuthark.MonadFreshNames, Futhark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
modifyPkgRegistryFuthark.Pkg.Info
modifyShapeAnnotationsLanguage.Futhark.Attributes, Language.Futhark
modifyUserStateFuthark.CodeGen.Backends.GenericC
ModImportLanguage.Futhark.Syntax, Language.Futhark
ModLambdaLanguage.Futhark.Syntax, Language.Futhark
modLocationLanguage.Futhark.Syntax, Language.Futhark
modNameLanguage.Futhark.Syntax, Language.Futhark
ModParam 
1 (Data Constructor)Language.Futhark.Syntax, Language.Futhark
2 (Type/Class)Language.Futhark
modParamAbsLanguage.Futhark.Syntax, Language.Futhark
ModParamBaseLanguage.Futhark.Syntax, Language.Futhark
modParamLocationLanguage.Futhark.Syntax, Language.Futhark
modParamNameLanguage.Futhark.Syntax, Language.Futhark
modParamsLanguage.Futhark.Syntax, Language.Futhark
modParamTypeLanguage.Futhark.Syntax, Language.Futhark
ModParensLanguage.Futhark.Syntax, Language.Futhark
modSignatureLanguage.Futhark.Syntax, Language.Futhark
ModSpecLanguage.Futhark.Syntax, Language.Futhark
MODULELanguage.Futhark.Parser
ModVarLanguage.Futhark.Syntax, Language.Futhark
MonadBinderFuthark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
MonadBreadCrumbsLanguage.Futhark.TypeChecker.Monad
MonadFreshNamesFuthark.MonadFreshNames, Futhark.Binder.Class, Futhark.Binder, Futhark.Construct, Futhark.Tools, Futhark.Internalise.Monad
MonadLoggerFuthark.Util.Log
MonadPkgRegistryFuthark.Pkg.Info
MonadTypeCheckerLanguage.Futhark.TypeChecker.Monad
MonadUnifyLanguage.Futhark.TypeChecker.Unify
moveUpAllocsFunDefFuthark.Optimise.MemoryBlockMerging.Coalescing.AllocationMovingUp
moveUpAllocSizesFunDefFuthark.Optimise.MemoryBlockMerging.Reuse.AllocationSizeMovingUp
moveUpInFunDefFuthark.Optimise.MemoryBlockMerging.CrudeMovingUp
MTy 
1 (Type/Class)Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
2 (Data Constructor)Language.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
mtyAbsLanguage.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
mtyModLanguage.Futhark.Semantic, Language.Futhark.TypeChecker.Monad
MulFuthark.Representation.Primitive, Futhark.Representation.AST.Syntax.Core, Futhark.Representation.AST.Syntax, Futhark.Analysis.PrimExp, Futhark.Representation.AST, Futhark.Analysis.ScalExp, Futhark.Representation.Ranges, Futhark.Representation.Aliases, Futhark.Analysis.PrimExp.Convert, Futhark.Tools, Futhark.Representation.SOACS, Futhark.Internalise.Monad, Futhark.Representation.Kernels, Futhark.Representation.ExplicitMemory, Futhark.CodeGen.ImpCode, Futhark.CodeGen.ImpCode.Sequential, Futhark.CodeGen.ImpCode.OpenCL, Futhark.CodeGen.ImpCode.Kernels
mustBeOneOfLanguage.Futhark.TypeChecker.Unify
mustHaveConstrLanguage.Futhark.TypeChecker.Unify
mustHaveFieldLanguage.Futhark.TypeChecker.Unify