1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
semantic/test/Data/Range/Spec.hs
2018-10-31 12:46:52 -04:00

12 lines
275 B
Haskell

{-# LANGUAGE ScopedTypeVariables #-}
module Data.Range.Spec where
import Data.Range
import SpecHelpers
spec :: Spec
spec = describe "Data.Range" $
prop "should have an associative Semigroup instance" $
\(a, b, c) -> a <> (b <> c) `shouldBe` (a <> b) <> (c :: Range)