| Copyright | (C) 2017-2022 Google Inc. 2021-2024 QBayLogic B.V. |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | QBayLogic B.V. <[email protected]> |
| Safe Haskell | None |
| Language | Haskell2010 |
Clash.GHC.Evaluator
Description
Call-by-need evaluator based on the evaluator described in:
Maximilian Bolingbroke, Simon Peyton Jones, "Supercompilation by evaluation", Haskell '10, Baltimore, Maryland, USA.
Synopsis
- evaluator :: Evaluator
- stepVar :: Id -> Step
- stepData :: DataCon -> Step
- stepLiteral :: Literal -> Step
- stepPrim :: PrimInfo -> Step
- stepLam :: Id -> Term -> Step
- stepTyLam :: TyVar -> Term -> Step
- stepApp :: Term -> Term -> Step
- stepTyApp :: Term -> Type -> Step
- stepLet :: Bind Term -> Term -> Step
- stepCase :: Term -> Type -> [Alt] -> Step
- stepCast :: Term -> Type -> Type -> Step
- stepTick :: TickInfo -> Term -> Step
- ghcStep :: Step
- newBinder :: [Either TyVar Type] -> Term -> Step
- newLetBinding :: TyConMap -> Machine -> Term -> (Machine, Id)
- ghcUnwind :: Unwind
- update :: IdScope -> Id -> Value -> Machine -> Machine
- apply :: TyConMap -> Value -> Id -> Machine -> Machine
- instantiate :: TyConMap -> Value -> Type -> Machine -> Machine
- scrutinise :: Value -> Type -> [Alt] -> Machine -> Machine
- substInAlt :: DataCon -> [TyVar] -> [Id] -> [Either Term Type] -> Term -> Term
- allocate :: [LetBinding] -> Term -> Machine -> Machine
- letSubst :: PureHeap -> Supply -> Id -> (Supply, (Id, (Id, Term)))
Documentation
stepLiteral :: Literal -> Step Source #
newBinder :: [Either TyVar Type] -> Term -> Step Source #
Take a list of types or type variables and create a lambda / type lambda for each one around the given term.
update :: IdScope -> Id -> Value -> Machine -> Machine Source #
Update the Heap with the evaluated term