| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CLaSH.Normalize
Description
Turn CoreHW terms into normalized CoreHW Terms
- runNormalization :: DebugLevel -> Supply -> HashMap TmName (Type, Term) -> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)) -> HashMap TyConName TyCon -> (HashMap TyConName TyCon -> Term -> Term) -> NormalizeSession a -> a
- normalize :: [TmName] -> NormalizeSession (HashMap TmName (Type, Term))
- normalize' :: TmName -> NormalizeSession ([TmName], (TmName, (Type, Term)))
- rewriteExpr :: (String, NormRewrite) -> (String, Term) -> NormalizeSession Term
- checkNonRecursive :: TmName -> HashMap TmName (Type, Term) -> HashMap TmName (Type, Term)
- cleanupGraph :: TmName -> HashMap TmName (Type, Term) -> NormalizeSession (HashMap TmName (Type, Term))
- data CallTree
- mkCallTree :: [TmName] -> HashMap TmName (Type, Term) -> TmName -> CallTree
- stripArgs :: [TmName] -> [Id] -> [Either Term Type] -> Maybe [Either Term Type]
- flattenNode :: CallTree -> NormalizeSession (Either CallTree ((TmName, Term), [CallTree]))
- flattenCallTree :: CallTree -> NormalizeSession CallTree
- callTreeToList :: [TmName] -> CallTree -> ([TmName], [(TmName, (Type, Term))])
Documentation
Arguments
| :: DebugLevel | Level of debug messages to print |
| -> Supply | UniqueSupply |
| -> HashMap TmName (Type, Term) | Global Binders |
| -> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)) | Hardcoded Type -> HWType translator |
| -> HashMap TyConName TyCon | TyCon cache |
| -> (HashMap TyConName TyCon -> Term -> Term) | Hardcoded evaluator (delta-reduction) |
| -> NormalizeSession a | NormalizeSession to run |
| -> a |
Run a NormalizeSession in a given environment
normalize' :: TmName -> NormalizeSession ([TmName], (TmName, (Type, Term))) Source
Arguments
| :: (String, NormRewrite) | Transformation to apply |
| -> (String, Term) | Term to transform |
| -> NormalizeSession Term |
Rewrite a term according to the provided transformation
Arguments
| :: TmName | topEntity |
| -> HashMap TmName (Type, Term) | List of normalized binders |
| -> HashMap TmName (Type, Term) |
Check if the call graph (second argument), starting at the topEnity
(first argument) is non-recursive. Returns the list of normalized terms if
call graph is indeed non-recursive, errors otherwise.
cleanupGraph :: TmName -> HashMap TmName (Type, Term) -> NormalizeSession (HashMap TmName (Type, Term)) Source
Perform general "clean up" of the normalized (non-recursive) function hierarchy. This includes:
- Inlining functions that simply "wrap" another function
flattenNode :: CallTree -> NormalizeSession (Either CallTree ((TmName, Term), [CallTree])) Source