File: IntMapSpec.hs

package info (click to toggle)
haskell-genvalidity-containers 1.0.0.2-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 120 kB
  • sloc: haskell: 272; makefile: 3
file content (18 lines) | stat: -rw-r--r-- 437 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
{-# LANGUAGE TypeApplications #-}

module Data.GenValidity.Containers.IntMapSpec where

import Data.GenValidity
import Data.GenValidity.IntMap
import Data.IntMap (IntMap)
import Test.Hspec
import Test.Validity.GenValidity

spec :: Spec
spec = do
  describe "genIntMapOf" $
    it "produces valid maps" $
      genGeneratesValid
        (genIntMapOf @Rational genValid)
  genValidSpec @(IntMap Rational)
  genValidSpec @(IntMap Rational)