well-typed / ixset-typed Goto Github PK

data Entry      = Entry Content
   deriving (Show, Eq, Ord, Data, Typeable)
newtype Content = Content String
   deriving (Show, Eq, Ord, Data, Typeable)
newtype CWord = CWord String
   deriving (Show, Eq, Ord)

getWords :: Entry -> [CWord]
getWords (Entry (Content s)) = map CWord $ words s

type EntryIxs = '[CWord]
instance Indexable EntryIxs Entry where
     indices = ixList
                 (ixFun getWords)

type IxEntry = IxSet EntryIxs Entry

let entries  = insertList [Entry (Content "word1 word4")] (empty :: IxEntry)
let r = getRange (CWord "word2") (CWord "word3") entries

Preprocessing test suite 'test-ixset-typed' for ixset-typed-0.3...

tests/Data/IxSet/Typed/Tests.hs:1:51: Warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[1 of 2] Compiling Data.IxSet.Typed.Tests ( tests/Data/IxSet/Typed/Tests.hs, dist/build/test-ixset-typed/test-ixset-typed-tmp/Data/IxSet/Typed/Tests.dyn_o )

tests/Data/IxSet/Typed/Tests.hs:61:1:
    Illegal kind signature: ‘*’
      Perhaps you intended to use KindSignatures
    In the declaration for type synonym ‘Gs’

tests/Data/IxSet/Typed/Tests.hs:61:1:
    Illegal kind signature: ‘*’
      Perhaps you intended to use KindSignatures
    In the declaration for type synonym ‘Gs’

tests/Data/IxSet/Typed/Tests.hs:61:1:
    Illegal kind signature: ‘*’
      Perhaps you intended to use KindSignatures
    In an expression type signature

tests/Data/IxSet/Typed/Tests.hs:61:1:
    Illegal kind signature: ‘*’
      Perhaps you intended to use KindSignatures
    In an expression type signature