Clash.Core.HasFreeVars

Utility class to extract free variables from data which has variables.

Documentation

class HasFreeVars a where

Minimal complete definition

freeVarsOf

Methods

freeVarsOf :: a -> VarSet

isClosed :: a -> Bool

Something is closed if it has no free variables. This function may be replaced with a more efficient implementation.

elemFreeVars :: Var a -> a -> Bool

Check if a variable is free in the given value. This function may be replaced with a more efficient implementation.

notElemFreeVars :: Var a -> a -> Bool

Check if a variable is not free in the given value. This function may be replaced with a more efficient implementation.

subsetFreeVars :: VarSet -> a -> Bool

Check if all variables in a set are free in the given value. This function may be replaced with a more efficient implementation.

disjointFreeVars :: VarSet -> a -> Bool

Check if no variables in a set are free in the given value. This function may be replaced with a more efficient implementation.

Instances

HasFreeVars Type

Defined in Clash.Core.HasFreeVars

Methods

freeVarsOf :: Type -> VarSet

isClosed :: Type -> Bool

elemFreeVars :: Var Type -> Type -> Bool

notElemFreeVars :: Var Type -> Type -> Bool

subsetFreeVars :: VarSet -> Type -> Bool

disjointFreeVars :: VarSet -> Type -> Bool

HasFreeVars Term

Defined in Clash.Core.HasFreeVars

Methods

freeVarsOf :: Term -> VarSet

isClosed :: Term -> Bool

elemFreeVars :: Var Term -> Term -> Bool

notElemFreeVars :: Var Term -> Term -> Bool

subsetFreeVars :: VarSet -> Term -> Bool

disjointFreeVars :: VarSet -> Term -> Bool

(Foldable f, HasFreeVars a) => HasFreeVars (f a)

Defined in Clash.Core.HasFreeVars

Methods

freeVarsOf :: f a -> VarSet

isClosed :: f a -> Bool

elemFreeVars :: Var (f a) -> f a -> Bool

notElemFreeVars :: Var (f a) -> f a -> Bool

subsetFreeVars :: VarSet -> f a -> Bool

disjointFreeVars :: VarSet -> f a -> Bool