ideas-1.5: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.Rewriting.Confluence

Description

 

Documentation

isConfluent :: [RewriteRule a] -> Bool Source

checkConfluence :: [RewriteRule a] -> IO () Source

checkConfluenceWith :: Config -> [RewriteRule a] -> IO () Source

somewhereM :: Uniplate a => (a -> [a]) -> a -> [a] Source

data Config Source

defaultConfig :: Config Source

showTerm :: Config -> Term -> String Source

complexity :: Config -> Term -> Int Source

termEquality :: Config -> Term -> Term -> Bool Source