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 #