Futhark.Optimise.Simplify.Rules.Loop
Description
Loop simplification rules.
loopRules :: (BinderOps rep, Aliased rep) => RuleBook rep Source #
Standard loop simplification rules.