Safe Haskell | None |
---|---|
Language | Haskell2010 |
Find all existential variables.
Documentation
findExistentials :: LoreConstraints lore => FunDef lore -> Names Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Find all existential variables.
findExistentials :: LoreConstraints lore => FunDef lore -> Names Source #