tests/Phylomemy/IndexationSpec.hs

   1 {-# OPTIONS_GHC -Wno-orphans #-}
   2
   3 module Phylomemy.IndexationSpec where
   4
   5 import Data.Function ((.))
   6 import Data.Functor ((<$>))
   7 import Data.GenValidity
   8 import Data.GenValidity.Map ()
   9 import Data.GenValidity.Set ()
  10 import Data.GenValidity.Text ()
  11 import Data.GenValidity.Time ()
  12 import Data.Text.Short (ShortText)
  13 import Data.Text.Short qualified as ShortText
  14 import Data.Validity.Map ()
  15 import Data.Validity.Set ()
  16 import Data.Validity.Text ()
  17 import Test.Syd
  18 import Test.Syd.Validity
  19
  20 import Phylomemy
  21
  22 instance Validity ShortText where
  23   validate = trivialValidation
  24 instance GenValid ShortText where
  25   genValid = ShortText.fromText <$> genValid
  26   shrinkValid = (ShortText.fromText <$>) . shrinkValid . ShortText.toText
  27 instance GenValid Ngram
  28 instance GenValid Root
  29 instance GenValid Document
  30 instance GenValid CoOccurences where
  31   genValid = genValidStructurallyWithoutExtraChecking
  32   shrinkValid = shrinkValidStructurallyWithoutExtraFiltering
  33
  34 spec :: Spec
  35 spec = do
  36   genValidSpec @Document
  37   monoidSpec @CoOccurences