packages feed

genvalidity-hspec-0.5.0.0: test/Test/Validity/MonoidSpec.hs

{-# LANGUAGE TypeApplications #-}

module Test.Validity.MonoidSpec where

import Test.Hspec

import Test.Validity.Monoid

spec :: Spec
spec = do
    monoidSpecOnValid @[Double]
    monoidSpec @[Int]
    monoidSpecOnArbitrary @[Int]
    monoidSpecOnGen (pure "a") "singleton list of 'a'" (const [])