Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
---|---|
Safe Haskell | None |
Unit tests for the functions dealing with term algebra and related notions.
- testEqual :: (Eq a, Show a) => String -> a -> a -> Test
- testTrue :: String -> Bool -> Test
- testsMatching :: MaudeHandle -> Test
- propMatchSound :: MaudeHandle -> LNTerm -> LNTerm -> Bool
- testsUnify :: MaudeHandle -> Test
- propUnifySound :: MaudeHandle -> LNTerm -> LNTerm -> Bool
- testsSubst :: Test
- testsSubs :: MaudeHandle -> Test
- ppLTerm :: LNTerm -> String
- ppLSubst :: LNSubst -> String
- testsNorm :: MaudeHandle -> Test
- testsTerm :: Test
- propSubtermReplace :: Ord a => Term a -> Position -> (Term a, Term a)
- bigTerm :: LNTerm
- normBigTerm :: LNTerm
- tcompare :: MaudeHandle -> Test
- testsVariant :: MaudeHandle -> Test
- testsSimple :: MaudeHandle -> Test
- tests :: FilePath -> IO Test
- allMaudeSig :: MaudeSig
- te :: LNTerm
- sub4 :: LNSubstVFresh
- sub6 :: LNSubstVFresh
- sub4' :: LNSubst
- sub6' :: LNSubst
- tevs :: [LVar]
- runTest :: WithMaude a -> IO a
- pair :: Ord a => (Term a, Term a) -> Term a
- expo :: Ord a => (Term a, Term a) -> Term a
- inv :: Term a -> Term a
- union :: Ord a => [Term a] -> Term a
- mult :: Ord a => [Term a] -> Term a
- one :: Term a
Documentation
propMatchSound :: MaudeHandle -> LNTerm -> LNTerm -> BoolSource
testsUnify :: MaudeHandle -> TestSource
propUnifySound :: MaudeHandle -> LNTerm -> LNTerm -> BoolSource
testsSubs :: MaudeHandle -> TestSource
testsNorm :: MaudeHandle -> TestSource
tcompare :: MaudeHandle -> TestSource
testsSimple :: MaudeHandle -> TestSource
Maude signatures with all builtin symbols.