30 lines
1.4 KiB
Haskell
30 lines
1.4 KiB
Haskell
import Sum
|
|
import Nope
|
|
import qualified PhhhbbtttEither as Phhhbbttt
|
|
import Identity
|
|
import List
|
|
import Test.QuickCheck.Checkers
|
|
import Test.QuickCheck.Classes
|
|
|
|
main :: IO ()
|
|
main = do
|
|
quickBatch $ functor $ (First (1, 2, 3) :: Sum (Int, Int, Int) (Int, Int, Int))
|
|
quickBatch $ applicative $ (First (1, 2, 3) :: Sum (Int, Int, Int) (Int, Int, Int))
|
|
quickBatch $ monad $ (First (1, 2, 3) :: Sum (Int, Int, Int) (Int, Int, Int))
|
|
|
|
quickBatch $ functor $ (NopeDotJpg :: Nope (Int, Int, Int))
|
|
quickBatch $ applicative $ (NopeDotJpg :: Nope (Int, Int, Int))
|
|
quickBatch $ monad $ (NopeDotJpg :: Nope (Int, Int, Int))
|
|
|
|
quickBatch $ functor $ (Phhhbbttt.Left (1, 2, 3) :: Phhhbbttt.PhhhbbtttEither (Int, Int, Int) (Int, Int, Int))
|
|
quickBatch $ applicative $ (Phhhbbttt.Left (1, 2, 3) :: Phhhbbttt.PhhhbbtttEither (Int, Int, Int) (Int, Int, Int))
|
|
quickBatch $ monad $ (Phhhbbttt.Left (1, 2, 3) :: Phhhbbttt.PhhhbbtttEither (Int, Int, Int) (Int, Int, Int))
|
|
|
|
quickBatch $ functor $ (Identity (1, 2, 3) :: Identity (Int, Int, Int))
|
|
quickBatch $ applicative $ (Identity (1, 2, 3) :: Identity (Int, Int, Int))
|
|
quickBatch $ monad $ (Identity (1, 2, 3) :: Identity (Int, Int, Int))
|
|
|
|
quickBatch $ functor (Cons (1 :: Integer, 2 :: Integer, 3 :: Integer) Nil)
|
|
quickBatch $ applicative (Cons (1 :: Integer, 2 :: Integer, 3 :: Integer) Nil)
|
|
quickBatch $ monad (Cons (1 :: Integer, 2 :: Integer, 3 :: Integer) Nil)
|