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.Time (UTCTime)
  15 import Data.Validity.Map ()
  16 import Data.Validity.Set ()
  17 import Data.Validity.Text ()
  18 import Test.Syd
  19 import Test.Syd.Validity
  20
  21 import Phylomemy
  22
  23 instance Validity ShortText where
  24   validate = trivialValidation
  25 instance GenValid ShortText where
  26   genValid = ShortText.fromText <$> genValid
  27   shrinkValid = (ShortText.fromText <$>) . shrinkValid . ShortText.toText
  28 instance GenValid Ngram
  29 instance GenValid Root
  30 instance (Validity pos, GenValid pos) => GenValid (Document pos)
  31 instance GenValid CoOccurences where
  32   genValid = genValidStructurallyWithoutExtraChecking
  33   shrinkValid = shrinkValidStructurallyWithoutExtraFiltering
  34
  35 spec :: Spec
  36 spec = do
  37   genValidSpec @(Document UTCTime)
  38   monoidSpec @CoOccurences