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

Safe Haskell	None

CLaSH.Core.FreeVars

Description

Free variable calculations

Synopsis

Documentation

typeFreeVars :: Collection c => Type -> c TyName Source

Gives the free type-variables in a Type

termFreeVars :: Collection c => Term -> (c TyName, c TmName)Source

Gives the free type-variables and free term-variables of a Term

termFreeIds :: Collection c => Term -> c TmName Source

Gives the free term-variables of a Term

termFreeTyVars :: Collection c => Term -> c TyName Source

Gives the free type-variables of a Term