{-# LANGUAGE EmptyDataDecls #-} module Data.MutMap.Internal where import Data.Text import FFI import Prelude data KeyValI a = KeyValI Salted a data Salted addSalt :: Text -> Salted addSalt :: Text -> Salted addSalt = [Char] -> Text -> Salted forall s a. IsString s => s -> a ffi [Char] "':' + %1" unsalt :: Salted -> Text unsalt :: Salted -> Text unsalt = [Char] -> Salted -> Text forall s a. IsString s => s -> a ffi [Char] "%1['substr'](1)" checkSalted :: Salted -> Bool checkSalted :: Salted -> Bool checkSalted = [Char] -> Salted -> Bool forall s a. IsString s => s -> a ffi [Char] "%1['charAt'](0) == ':'"