clash-lib-0.7: CAES Language for Synchronous Hardware - As a Library

Copyright(C) 2012-2016 University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

CLaSH.Core.FreeVars

Description

Free variable calculations

Synopsis

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