Documentation

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 #