1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
{-# LANGUAGE DeriveDataTypeable, EmptyDataDecls, ForeignFunctionInterface #-}
-- |
-- Module : Data.Text.ICU.Collate.Internal
-- Copyright : (c) 2010 Bryan O'Sullivan
--
-- License : BSD-style
-- Maintainer : bos@serpentine.com
-- Stability : experimental
-- Portability : GHC
--
-- Internals of the string collation infrastructure.
module Data.Text.ICU.Collate.Internal
(
-- * Unicode collation API
MCollator(..)
, Collator(..)
, UCollator
, equals
, withCollator
, wrap
) where
import Data.Text.ICU.Internal (UBool, asBool)
import Data.Typeable (Typeable)
import Foreign.ForeignPtr (ForeignPtr, newForeignPtr, withForeignPtr)
import Foreign.Ptr (FunPtr, Ptr)
import System.IO.Unsafe (unsafePerformIO)
-- $api
--
data UCollator
-- | String collator type.
data MCollator = MCollator {-# UNPACK #-} !(ForeignPtr UCollator)
deriving (Typeable)
-- | String collator type. 'Collator's are considered equal if they
-- will sort strings identically.
newtype Collator = C MCollator
deriving (Typeable)
instance Eq Collator where
(C a) == (C b) = unsafePerformIO $ equals a b
withCollator :: MCollator -> (Ptr UCollator -> IO a) -> IO a
withCollator (MCollator col) action = withForeignPtr col action
{-# INLINE withCollator #-}
wrap :: Ptr UCollator -> IO MCollator
wrap = fmap MCollator . newForeignPtr ucol_close
{-# INLINE wrap #-}
-- | 'MCollator's are considered equal if they will sort strings
-- identically. This means that both the current attributes and the rules
-- must be equivalent.
equals :: MCollator -> MCollator -> IO Bool
equals a b = fmap asBool .
withCollator a $ \aptr ->
withCollator b $ ucol_equals aptr
foreign import ccall unsafe "hs_text_icu.h &__hs_ucol_close" ucol_close
:: FunPtr (Ptr UCollator -> IO ())
foreign import ccall unsafe "hs_text_icu.h __hs_ucol_equals" ucol_equals
:: Ptr UCollator -> Ptr UCollator -> IO UBool
|
