futhark-0.25.15: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageGHC2021

Futhark.Analysis.AlgSimplify

Documentation

data Prod Source #

Constructors

Prod 

Fields

Instances

Instances details
Show Prod Source # 
Instance details

Defined in Futhark.Analysis.AlgSimplify

Eq Prod Source # 
Instance details

Defined in Futhark.Analysis.AlgSimplify

Methods

(==) :: Prod -> Prod -> Bool Source #

(/=) :: Prod -> Prod -> Bool Source #

Ord Prod Source # 
Instance details

Defined in Futhark.Analysis.AlgSimplify

type SofP = [Prod] Source #

simplify :: Exp -> Exp Source #

simplify' :: TExp -> TExp Source #

sumToExp :: SofP -> Exp Source #

isMultipleOf :: Prod -> [Exp] -> Bool Source #