27 lines
2.0 KiB
Haskell
27 lines
2.0 KiB
Haskell
import Data.Monoid
|
|
import Exercises
|
|
import Test.QuickCheck.Checkers
|
|
import Test.QuickCheck.Classes
|
|
|
|
main :: IO ()
|
|
main = do
|
|
quickBatch $ functor $ Pair ('a', 'b', 'c') ('d', 'e', 'f')
|
|
quickBatch $ applicative $ Pair ('a', 'b', 'c') ('d', 'e', 'f')
|
|
quickBatch $ functor $ Two ('a', 'b', 'c') (1 :: Integer, 2 :: Integer, 3 :: Integer)
|
|
quickBatch $ applicative $ Two (Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Sum (1 :: Integer), Sum (2 :: Integer), Sum (3 :: Integer))
|
|
quickBatch $ applicative $ Three (Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Sum (1 :: Integer), Sum (2 :: Integer), Sum (3 :: Integer))
|
|
(Sum (4 :: Integer), Sum (5 :: Integer), Sum (6 :: Integer))
|
|
quickBatch $ applicative $ Three' (Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Sum (1 :: Integer), Sum (2 :: Integer), Sum (3 :: Integer))
|
|
(Sum (4 :: Integer), Sum (5 :: Integer), Sum (6 :: Integer))
|
|
quickBatch $ applicative $ Four (Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Sum (1 :: Integer), Sum (2 :: Integer), Sum (3 :: Integer))
|
|
(Sum (4 :: Integer), Sum (5 :: Integer), Sum (6 :: Integer))
|
|
quickBatch $ applicative $ Four (Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Product (1 :: Integer), Product (2 :: Integer), Product (3 :: Integer))
|
|
(Sum (4 :: Integer), Sum (5 :: Integer), Sum (6 :: Integer))
|