grisette-0.13.0.1: test/Grisette/SymPrim/TabularFunTests.hs

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeOperators #-}

module Grisette.SymPrim.TabularFunTests (tabularFunTests) where

import Grisette
  ( Function ((#)),
    type (=->) (TabularFun),
  )
import Test.Framework (Test, testGroup)
import Test.Framework.Providers.HUnit (testCase)
import Test.HUnit ((@?=))

tabularFunTests :: Test
tabularFunTests =
  testGroup
    "TabularFun"
    [ testCase "Tabular application" $ do
        let f :: Integer =-> Integer = TabularFun [(1, 2), (3, 4)] 5
        (f # 0) @?= 5
        (f # 1) @?= 2
        (f # 2) @?= 5
        (f # 3) @?= 4
        (f # 4) @?= 5
    ]