{-# LANGUAGE TypeApplications #-}

module Data.Char.CoreSpec
  ( spec
  ) where

import Data.Char.Core
import Data.Char.CoreTest

import Test.Hspec
import Test.QuickCheck

spec :: Spec
spec = do
  describe "isNotACharacter" $ do
    it "Opposite of isACharacter" $ property $
      \c -> isACharacter c /= isNotACharacter c
    it "No overlap with reserved" $ property $
      \c -> not (isNotACharacter c) || not (isReserved c)
    it "No overlap with isAscii" $ property $
      \c -> not (isNotACharacter c) || not (isAscii c)
  describe "isReserved" $ do
    it "Opposite of isNotReserved" $ property $
      \c -> isReserved c /= isNotReserved c
    it "No overlap with isAscii" $ property $
      \c -> not (isReserved c) || not (isAscii c)
  testUnicodeCharacter @Char
  testUnicodeText @Char
  testUnicodeText @String
  testUnicodeCharText @Char
  testHashable @Char
  testHashable @String
  testHashable @LetterCase
  testHashable @PlusStyle
  testHashable @Orientation
  testHashable @(Oriented Bool)
  testHashable @Rotate90
  testHashable @(Rotated Bool)
  testHashable @Emphasis
  testHashable @ItalicType
  testHashable @FontStyle
  testHashable @Ligate