| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.Simplify.Rules.Simple
Description
Particularly simple simplification rules.
Synopsis
- type TypeLookup = SubExp -> Maybe Type
- type VarLookup lore = VName -> Maybe (Exp lore, Certificates)
- applySimpleRules :: VarLookup lore -> TypeLookup -> BasicOp -> Maybe (BasicOp, Certificates)
Documentation
type TypeLookup = SubExp -> Maybe Type Source #
A function that, given a subexpression, returns its type.
type VarLookup lore = VName -> Maybe (Exp lore, Certificates) Source #
A function that, given a variable name, returns its definition.
applySimpleRules :: VarLookup lore -> TypeLookup -> BasicOp -> Maybe (BasicOp, Certificates) Source #