File: MapSpec.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-- 436 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
{-# LANGUAGE TypeApplications #-}

module Data.GenValidity.Containers.MapSpec where

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

spec :: Spec
spec = do
  describe "genMapOf" $
    it "produces valid maps" $
      genGeneratesValid
        (genMapOf @Rational @Rational genValid)
  genValidSpec @(Map Int Rational)
  genValidSpec @(Map Rational Rational)