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

Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Analysis.PrimExp.Generalize

Description

Generalization (anti-unification) of PrimExps.

Synopsis

leastGeneralGeneralization :: Eq v => [(PrimExp v, PrimExp v)] -> PrimExp v -> PrimExp v -> (PrimExp (Ext v), [(PrimExp v, PrimExp v)])

Documentation

leastGeneralGeneralization :: Eq v => [(PrimExp v, PrimExp v)] -> PrimExp v -> PrimExp v -> (PrimExp (Ext v), [(PrimExp v, PrimExp v)]) Source #

Generalize two PrimExps of the the same type.