From 777aef345ef4b6e6233702109fd426f762402ee1 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 15 Mar 2016 11:18:27 -0400 Subject: [PATCH] Test the Monoid instance for Adjoined over Line. --- test/Data/Adjoined/Spec.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/test/Data/Adjoined/Spec.hs b/test/Data/Adjoined/Spec.hs index 3ce8b726a..7ffbeff13 100644 --- a/test/Data/Adjoined/Spec.hs +++ b/test/Data/Adjoined/Spec.hs @@ -1,9 +1,12 @@ module Data.Adjoined.Spec (spec) where +import ArbitraryTerm () import Control.Applicative import Data.Adjoined import Data.Coalescent +import Data.Functor.Both import Data.Typeable +import Line import Test.Hspec import Test.Hspec.QuickCheck import Test.QuickCheck @@ -16,6 +19,7 @@ spec = do monoid (arbitrary :: Gen (Adjoined (Coalesced String))) monoid (arbitrary :: Gen (Adjoined (Uncoalesced 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 gen =