Clash.Core.TermInfo

Documentation

termSize :: Term -> Word

multPrimErr :: PrimInfo -> String

splitMultiPrimArgs :: HasCallStack => MultiPrimInfo -> [Either Term Type] -> ([Either Term Type], [Id])

multiPrimInfo' :: HasCallStack => TyConMap -> PrimInfo -> MultiPrimInfo

Same as multiPrimInfo, but produced an error if it could not produce a MultiPrimInfo.

multiPrimInfo :: TyConMap -> PrimInfo -> Maybe MultiPrimInfo

Produce MutliPrimInfo for given primitive

isFun :: TyConMap -> Term -> Bool

Does a term have a function type?

isPolyFun :: TyConMap -> Term -> Bool

Does a term have a function or polymorphic type?

isLet :: Term -> Bool

Is a term a recursive let-binding?

isVar :: Term -> Bool

Is a term a variable reference?

isLocalVar :: Term -> Bool

isCon :: Term -> Bool

Is a term a datatype constructor?

isPrim :: Term -> Bool

Is a term a primitive?

isTick :: Term -> Bool

Is a term a tick?

isCast :: Term -> Bool

Is a term a cast?