Algebra.Equation.Reduce

Documentation

doReduce :: IO ()

showEqs :: [Equation] -> IO ()

parseAndReduce :: ByteString -> [Equation]

reduction :: [Equation] -> [Equation]

replaceTypes :: [Equation] -> ([(Type, Type)], [Equation])

replaceEqTypes :: [(Type (), Type ())] -> Equation -> Equation

replaceTermTypes :: [(Type (), Type ())] -> Term -> Term

tyCon :: String -> Type ()

allTypes :: [Equation] -> [Type]

restoreTypes :: [(Type, Type)] -> [Equation] -> [Equation]