Copyright | (C) 2012-2016, University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Free variable calculations
Documentation
typeFreeVars :: Fold Type TyName Source
Gives the free type-variables in a Type
termFreeIds :: Fold Term TmName Source
Gives the free term-variables of a Term
termFreeTyVars :: Fold Term TyName Source
Gives the free type-variables of a Term