1
1
mirror of https://github.com/github/semantic.git synced 2025-01-05 05:58:34 +03:00

Test the Monoid instance for Adjoined over Line.

This commit is contained in:
Rob Rix 2016-03-15 11:18:27 -04:00
parent 01f817a77e
commit 777aef345e

View File

@ -1,9 +1,12 @@
module Data.Adjoined.Spec (spec) where module Data.Adjoined.Spec (spec) where
import ArbitraryTerm ()
import Control.Applicative import Control.Applicative
import Data.Adjoined import Data.Adjoined
import Data.Coalescent import Data.Coalescent
import Data.Functor.Both
import Data.Typeable import Data.Typeable
import Line
import Test.Hspec import Test.Hspec
import Test.Hspec.QuickCheck import Test.Hspec.QuickCheck
import Test.QuickCheck import Test.QuickCheck
@ -16,6 +19,7 @@ spec = do
monoid (arbitrary :: Gen (Adjoined (Coalesced String))) monoid (arbitrary :: Gen (Adjoined (Coalesced String)))
monoid (arbitrary :: Gen (Adjoined (Uncoalesced String))) monoid (arbitrary :: Gen (Adjoined (Uncoalesced String)))
monoid (arbitrary :: Gen (Adjoined (Semicoalesced String))) monoid (arbitrary :: Gen (Adjoined (Semicoalesced String)))
monoid (arbitrary :: Gen (Adjoined (Line Char)))
monoid :: (Arbitrary a, Coalescent a, Eq a, Show a, Typeable a) => Gen (Adjoined a) -> Spec monoid :: (Arbitrary a, Coalescent a, Eq a, Show a, Typeable a) => Gen (Adjoined a) -> Spec
monoid gen = monoid gen =