]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Expr/Test.hs
factorizing Type1_From ast Type0
[haskell/symantic.git] / Language / Symantic / Expr / Test.hs
1 module Expr.Test where
2
3 import Test.Tasty
4
5 import qualified Expr.Lambda.Test as Lambda
6 import qualified Expr.Bool.Test as Bool
7 import qualified Expr.Int.Test as Int
8 import qualified Expr.Maybe.Test as Maybe
9 import qualified Expr.If.Test as If
10 import qualified Expr.Eq.Test as Eq
11 import qualified Expr.List.Test as List
12 import qualified Expr.Functor.Test as Functor
13 import qualified Expr.Applicative.Test as Applicative
14 import qualified Expr.Foldable.Test as Foldable
15 import qualified Expr.Traversable.Test as Traversable
16 import qualified Expr.Monad.Test as Monad
17 import qualified Expr.Map.Test as Map
18 import qualified Expr.MonoFunctor.Test as MonoFunctor
19
20 tests :: TestTree
21 tests =
22 testGroup "Expr"
23 [ Lambda.tests
24 , Bool.tests
25 , Int.tests
26 , Maybe.tests
27 , If.tests
28 , Eq.tests
29 , List.tests
30 , Functor.tests
31 , Applicative.tests
32 , Foldable.tests
33 , Traversable.tests
34 , Monad.tests
35 , Map.tests
36 , MonoFunctor.tests
37 ]