clash-lib-0.99.1: 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 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