Advise-me-0.1: Assessment services for the Advise-Me project

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

Domain.Math.Polynomial.BalanceUtils

Description

 

Documentation

checkForChange :: (MonadPlus m, Eq a) => (a -> m a) -> a -> m a Source #

writeTerm :: (a -> Maybe (b, Expr)) -> Trans a b Source #

writeWith :: Trans c () -> (a -> Maybe (b, c)) -> Trans a b Source #

buggyBalanceRecognizer :: IsId n => n -> Trans (a, a) () -> Rule a Source #