Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type MName = VName
- type MNames = Names
- data MemorySrc = MemorySrc {
- memSrcName :: MName
- memSrcIxFun :: IxFun
- memSrcShape :: Shape
- data MemoryLoc = MemoryLoc {
- memLocName :: MName
- memLocIxFun :: IxFun
- type VarMemMappings t = Map VName t
- type MemAliases = Map MName MNames
- type VarAliases = Map VName Names
- type FirstUses = Map VName MNames
- data StmOrRes
- type LastUses = Map StmOrRes MNames
- type Interferences = Map MName MNames
- type ActualVariables = Map VName Names
- type PotentialKernelDataRaceInterferences = [PotentialKernelDataRaceInterferenceGroup]
- type PotentialKernelDataRaceInterferenceGroup = [KernelFirstUse]
- type KernelFirstUse = (MName, VName, PrimType, IxFun)
Documentation
MemorySrc | |
|
MemoryLoc | |
|
type VarMemMappings t = Map VName t Source #