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

Safe Haskell	None
Language	Haskell2010

Futhark.Analysis.PrimExp.Generalize

Synopsis

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

Documentation

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

Generalization (anti-unification) We assume that the two expressions have the same type.