Term.UnitTests

Description

Synopsis

• 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