1 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
2 {-# OPTIONS_GHC -O0 -fmax-simplifier-iterations=0 #-}
3 module Lib.MonoFunctor.Test where
7 import qualified Data.MonoTraversable as MT
8 import Data.Proxy (Proxy(..))
9 import Prelude hiding (zipWith)
11 import Language.Symantic.Typing
12 import Compiling.Term.Test
20 , Proxy MT.MonoFunctor
23 (==>) = test_compile @Ifaces
26 tests = testGroup "MonoFunctor"
27 [ "omap not (Just True)" ==> Right
28 ( ty @Maybe :$ ty @Bool
30 , "omap (\\x0 -> not x0) (Just True)" )
31 , "omap Char.toUpper ['a', 'b', 'c']" ==> Right
34 , "omap (\\x0 -> Char.toUpper x0) ('a' : 'b' : 'c' : [])" )