| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.MemoryBlockMerging.Existentials
Description
Find all existential variables.
Documentation
findExistentials :: LoreConstraints lore => FunDef lore -> Names Source #
futhark-0.9.1: An optimising compiler for a functional, array-oriented language.
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.MemoryBlockMerging.Existentials
Description
Find all existential variables.
findExistentials :: LoreConstraints lore => FunDef lore -> Names Source #