CLaSH.Netlist.Util

Utilities for converting Core Type/Term to Netlist datatypes

Documentation

splitNormalized :: (Fresh m, Functor m) => Term -> m (Either String ([Id], [LetBinding], Id))

Split a normalized term into: a list of arguments, a list of let-bindings, and a variable reference that is the body of the let-binding. Returns a String containing the error is the term was not in a normalized form.

unsafeCoreTypeToHWType :: (Type -> Maybe (Either String HWType)) -> Type -> HWType

Converts a Core type to a HWType given a function that translates certain builtin types. Errors if the Core type is not translatable.

unsafeCoreTypeToHWTypeM :: Type -> NetlistMonad HWType

Converts a Core type to a HWType within the NetlistMonad

synchronizedClk :: Type -> Maybe Identifier

Returns the name of the clock corresponding to a type

coreTypeToHWType :: (Type -> Maybe (Either String HWType)) -> Type -> Either String HWType

Converts a Core type to a HWType given a function that translates certain builtin types. Returns a string containing the error message when the Core type is not translatable.

mkADT

Arguments

:: (Type -> Maybe (Either String HWType))

Hardcoded Type -> HWType translator

-> String

String representation of the Core type for error messages

-> TyCon

The TyCon

-> [Type]

Its applied arguments

-> Either String HWType

Converts an algebraic Core type (split into a TyCon and its argument) to a HWType.

isRecursiveTy :: TyCon -> Bool

Simple check if a TyCon is recursively defined.

representableType :: (Type -> Maybe (Either String HWType)) -> Type -> Bool

Determines if a Core type is translatable to a HWType given a function that translates certain builtin types.

typeSize :: HWType -> Int

Determines the bitsize of a type

conSize :: HWType -> Int

Determines the bitsize of the constructor of a type

typeLength :: HWType -> Int

Gives the length of length-indexed types

termHWType :: Term -> NetlistMonad HWType

Gives the HWType corresponding to a term. Returns an error if the term has a Core type that is not translatable to a HWType.

varToExpr :: Term -> Expr

Turns a Core variable reference to a Netlist expression. Errors if the term is not a variable.

mkUniqueNormalized :: ([Id], [LetBinding], Id) -> NetlistMonad ([Id], [LetBinding], TmName)

Uniquely rename all the variables and their references in a normalized term

appendToName :: TmName -> String -> TmName

Append a string to a name

preserveVarEnv :: NetlistMonad a -> NetlistMonad a

Preserve the Netlist _varEnv and _varCount when executing a monadic action