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

Safe HaskellNone
LanguageHaskell2010

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