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

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