Clash.Core.Var

Variables in CoreHW

Documentation

data Var a

Variables in CoreHW

Constructors

TyVar

Constructor for type variables

Fields

• varName :: Name a
• varKind :: Embed Kind

Id

Constructor for term variables

Fields

• varName :: Name a
• varType :: Embed Type

Instances

Generic b => Subst Term (Var b)

Defined in Clash.Core.Var

Methods

isvar :: Var b -> Maybe (SubstName (Var b) Term)

isCoerceVar :: Var b -> Maybe (SubstCoerce (Var b) Term)

subst :: Name Term -> Term -> Var b -> Var b

substs :: [(Name Term, Term)] -> Var b -> Var b

Generic b => Subst Type (Var b)

Defined in Clash.Core.Var

Methods

isvar :: Var b -> Maybe (SubstName (Var b) Type)

isCoerceVar :: Var b -> Maybe (SubstCoerce (Var b) Type)

subst :: Name Type -> Type -> Var b -> Var b

substs :: [(Name Type, Type)] -> Var b -> Var b

Eq (Var a)

Defined in Clash.Core.Var

Methods

(==) :: Var a -> Var a -> Bool

(/=) :: Var a -> Var a -> Bool

Show (Var a)

Defined in Clash.Core.Var

Methods

showsPrec :: Int -> Var a -> ShowS

show :: Var a -> String

showList :: [Var a] -> ShowS

Generic (Var a)

Defined in Clash.Core.Var

Associated Types

type Rep (Var a) :: * -> *

Methods

from :: Var a -> Rep (Var a) x

to :: Rep (Var a) x -> Var a

NFData (Var a)

Defined in Clash.Core.Var

Methods

rnf :: Var a -> ()

Hashable (Var a)

Defined in Clash.Core.Var

Methods

hashWithSalt :: Int -> Var a -> Int

hash :: Var a -> Int

(Typeable a, Alpha a) => Alpha (Var a)

Defined in Clash.Core.Var

Methods

aeq' :: AlphaCtx -> Var a -> Var a -> Bool

fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Var a -> f (Var a)

close :: AlphaCtx -> NamePatFind -> Var a -> Var a

open :: AlphaCtx -> NthPatFind -> Var a -> Var a

isPat :: Var a -> DisjointSet AnyName

isTerm :: Var a -> All

isEmbed :: Var a -> Bool

nthPatFind :: Var a -> NthPatFind

namePatFind :: Var a -> NamePatFind

swaps' :: AlphaCtx -> Perm AnyName -> Var a -> Var a

lfreshen' :: LFresh m => AlphaCtx -> Var a -> (Var a -> Perm AnyName -> m b) -> m b

freshen' :: Fresh m => AlphaCtx -> Var a -> m (Var a, Perm AnyName)

acompare' :: AlphaCtx -> Var a -> Var a -> Ordering

Pretty (Var Term)

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Var Term -> m Doc

pprPrec :: LFresh m => Rational -> Var Term -> m Doc

Pretty (Var Type)

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Var Type -> m Doc

pprPrec :: LFresh m => Rational -> Var Type -> m Doc

Pretty (Id, Term)

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => (Id, Term) -> m Doc

pprPrec :: LFresh m => Rational -> (Id, Term) -> m Doc

type Rep (Var a)

Defined in Clash.Core.Var

type Rep (Var a) = D1 (MetaData "Var" "Clash.Core.Var" "clash-lib-0.99.2-inplace" False) (C1 (MetaCons "TyVar" PrefixI True) (S1 (MetaSel (Just "varName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name a)) :*: S1 (MetaSel (Just "varKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Embed Kind))) :+: C1 (MetaCons "Id" PrefixI True) (S1 (MetaSel (Just "varName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name a)) :*: S1 (MetaSel (Just "varType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Embed Type))))

type Id = Var Term

Term variable

type TyVar = Var Type

Type variable

modifyVarName :: (Name a -> Name a) -> Var a -> Var a

Change the name of a variable