| 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 |
Clash.Core.FreeVars
Description
Free variable calculations
Synopsis
- typeFreeVars :: Fold Type TyOccName
- termFreeIds :: Fold Term TmOccName
- termFreeTyVars :: Fold Term TyOccName
Documentation
typeFreeVars :: Fold Type TyOccName Source #
Gives the free type-variables in a Type
termFreeIds :: Fold Term TmOccName Source #
Gives the free term-variables of a Term
termFreeTyVars :: Fold Term TyOccName Source #
Gives the free type-variables of a Term