module Data.Order.Pair (
OrderPair,
empty,
emptyBy,
companion
) where
import Control.Monad.ST
import Data.Order.Pair.Type
import Data.Order.Representation
import Data.Order.Algorithm
import Data.Order.Algorithm.Type
import Data.Order.Algorithm.Raw
import System.IO.Unsafe
empty :: OrderPair o ()
empty = emptyBy defaultAlgorithm
emptyBy :: Algorithm -> OrderPair o ()
emptyBy (Algorithm rawAlg) = OrderPair ((), emptyOrderRepBy rawAlg)
emptyOrderRepBy :: RawAlgorithm RealWorld o e -> OrderRep o e
emptyOrderRepBy rawAlg = unsafePerformIO $ newOrderRep rawAlg
companion :: (forall o . OrderPair o a) -> a
companion (OrderPair (comp, _)) = comp