reduce-equations-0.1.1.0: Simplify a set of equations by removing redundancies
Algebra.Equation.Reduce
doReduce :: IO () Source #
showEqs :: [Equation] -> IO () Source #
parseAndReduce :: ByteString -> [Equation] Source #
reduction :: [Equation] -> [Equation] Source #
replaceTypes :: [Equation] -> ([(Type, Type)], [Equation]) Source #
replaceEqTypes :: [(Type (), Type ())] -> Equation -> Equation Source #
replaceTermTypes :: [(Type (), Type ())] -> Term -> Term Source #
tyCon :: String -> Type () Source #
allTypes :: [Equation] -> [Type] Source #
restoreTypes :: [(Type, Type)] -> [Equation] -> [Equation] Source #