futhark-0.20.0: An optimising compiler for a functional, array-oriented language.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Optimise.Simplify.Rules.Loop

Description

Loop simplification rules.

Synopsis

loopRules :: (BinderOps lore, Aliased lore) => RuleBook lore

Documentation

loopRules :: (BinderOps lore, Aliased lore) => RuleBook lore Source #

Standard loop simplification rules.