Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
fromPrimePower :: PrimePower -> Term Source #
fromPrimePowers :: [PrimePower] -> Term Source #
tryRewrite :: Rewrite -> Rewrite Source #
firstRewrite :: [Rewrite] -> Rewrite Source #
subtermRewrite :: Rewrite -> Rewrite Source #
bottomUpRewrite :: Rewrite -> Rewrite Source #
expandLetsRewrite :: Rewrite -> Rewrite Source #
nnfInteger :: Term -> Term Source #
isReservedWord :: String -> Bool Source #
spaceParser :: Parsec String st () Source #
spacesParser :: Parsec String st () Source #
spaces1Parser :: Parsec String st () Source #
indexToDoc :: Index -> Doc Source #
widthToDoc :: Width -> Doc Source #
atomicToDoc :: Term -> Doc Source #
negateToDoc :: Term -> Doc Source #