partialord-0.1.1: test/Data/PartialOrdSpec.hs

module Data.PartialOrdSpec (spec) where

import           Data.PartialOrd
import qualified Data.Set as S
import           Test.Hspec


spec :: Spec
spec = do

  describe "Maxima and minima" $ do

    it "should compute maxima" $ do
      maxima [(i,j) | i <- [1..10], j <- [1..10], i+j <= 10] `shouldBe`
        S.fromList [(i :: Int,10-i) | i <- [1..9]]

    it "should compute minima" $ do
      minima [(i,j) | i <- [1..10], j <- [1..10], i+j >= 10] `shouldBe`
        S.fromList [(i :: Int,10-i) | i <- [1..9]]