1 {-# OPTIONS_GHC -Wno-orphans #-}
3 module Phylomemy.IndexationSpec where
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 ()
19 import Test.Syd.Validity
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
37 genValidSpec @(Document UTCTime)
38 monoidSpec @CoOccurences