Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
gp2sr :: MonadFail m => Order Element -> GroupPresentation -> m StringRewriting Source #
gp2sr' :: MonadFail m => GroupPresentation -> m StringRewriting Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
gp2sr :: MonadFail m => Order Element -> GroupPresentation -> m StringRewriting Source #
gp2sr' :: MonadFail m => GroupPresentation -> m StringRewriting Source #