Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Sqids.Internal

Synopsis

sqidsVersion :: String
data SqidsOptions = SqidsOptions {
- alphabet :: !Text
- minLength :: !Int
- blocklist :: ![Text]
}
data SqidsError
- = SqidsAlphabetTooShort
- | SqidsAlphabetRepeatedCharacters
- | SqidsInvalidMinLength
- | SqidsNegativeNumberInInput
data SqidsContext = SqidsContext {
- sqidsAlphabet :: !Text
- sqidsMinLength :: !Int
- sqidsBlocklist :: ![Text]
}
emptySqidsContext :: SqidsContext
defaultSqidsOptions :: SqidsOptions
type SqidsStack m = ReaderT SqidsContext (ExceptT SqidsError m)
class Monad m => MonadSqids m where
- encode :: [Int] -> m Text
- decode :: Text -> m [Int]
sqidsOptions :: (MonadSqids m, MonadError SqidsError m) => SqidsOptions -> m SqidsContext
newtype SqidsT m a = SqidsT {
- unwrapSqidsT :: SqidsStack m a
}
newtype Sqids a = Sqids {
- unwrapSqids :: SqidsT Identity a
}
runSqidsT :: Monad m => SqidsOptions -> SqidsT m a -> m (Either SqidsError a)
sqidsT :: Monad m => SqidsT m a -> m (Either SqidsError a)
runSqids :: SqidsOptions -> Sqids a -> Either SqidsError a
sqids :: Sqids a -> Either SqidsError a
filteredBlocklist :: Text -> [Text] -> [Text]
rearrangeAlphabet :: Text -> [Int] -> Text
encodeNumbers :: (MonadSqids m, MonadError SqidsError m, MonadReader SqidsContext m) => [Int] -> Bool -> m Text
decodeWithAlphabet :: Text -> Text -> [Int]
decodeStep :: (Text, Text) -> Maybe (Int, (Text, Text))
shuffle :: Text -> Text
toId :: Int -> Text -> Text
toNumber :: Text -> Text -> Int
isBlockedId :: [Text] -> Text -> Bool

Documentation

sqidsVersion :: String Source #

Sqids spec. version

data SqidsOptions Source #

Constructors

SqidsOptions
Fields alphabet :: !Text URL-safe characters minLength :: !Int The minimum allowed length of IDs blocklist :: ![Text] A list of words that must never appear in IDs

Instances

Instances details

Show SqidsOptions Source #
Instance details Defined in Web.Sqids.Internal Methods showsPrec :: Int -> SqidsOptions -> ShowS # show :: SqidsOptions -> String # showList :: [SqidsOptions] -> ShowS #
Eq SqidsOptions Source #
Instance details Defined in Web.Sqids.Internal Methods (==) :: SqidsOptions -> SqidsOptions -> Bool # (/=) :: SqidsOptions -> SqidsOptions -> Bool #
Ord SqidsOptions Source #
Instance details Defined in Web.Sqids.Internal Methods compare :: SqidsOptions -> SqidsOptions -> Ordering # (<) :: SqidsOptions -> SqidsOptions -> Bool # (<=) :: SqidsOptions -> SqidsOptions -> Bool # (>) :: SqidsOptions -> SqidsOptions -> Bool # (>=) :: SqidsOptions -> SqidsOptions -> Bool # max :: SqidsOptions -> SqidsOptions -> SqidsOptions # min :: SqidsOptions -> SqidsOptions -> SqidsOptions #

data SqidsError Source #

Constructors

SqidsAlphabetTooShort
SqidsAlphabetRepeatedCharacters
SqidsInvalidMinLength
SqidsNegativeNumberInInput

Instances

Instances details

Read SqidsError Source #
Instance details Defined in Web.Sqids.Internal Methods readsPrec :: Int -> ReadS SqidsError # readList :: ReadS [SqidsError] # readPrec :: ReadPrec SqidsError # readListPrec :: ReadPrec [SqidsError] #
Show SqidsError Source #
Instance details Defined in Web.Sqids.Internal Methods showsPrec :: Int -> SqidsError -> ShowS # show :: SqidsError -> String # showList :: [SqidsError] -> ShowS #
Eq SqidsError Source #
Instance details Defined in Web.Sqids.Internal Methods (==) :: SqidsError -> SqidsError -> Bool # (/=) :: SqidsError -> SqidsError -> Bool #
Ord SqidsError Source #
Instance details Defined in Web.Sqids.Internal Methods compare :: SqidsError -> SqidsError -> Ordering # (<) :: SqidsError -> SqidsError -> Bool # (<=) :: SqidsError -> SqidsError -> Bool # (>) :: SqidsError -> SqidsError -> Bool # (>=) :: SqidsError -> SqidsError -> Bool # max :: SqidsError -> SqidsError -> SqidsError # min :: SqidsError -> SqidsError -> SqidsError #
MonadError SqidsError Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods throwError :: SqidsError -> Sqids a # catchError :: Sqids a -> (SqidsError -> Sqids a) -> Sqids a #
Monad m => MonadError SqidsError (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods throwError :: SqidsError -> SqidsT m a # catchError :: SqidsT m a -> (SqidsError -> SqidsT m a) -> SqidsT m a #

data SqidsContext Source #

Constructors

SqidsContext
Fields sqidsAlphabet :: !Text sqidsMinLength :: !Int sqidsBlocklist :: ![Text]

Instances

Instances details

Show SqidsContext Source #
Instance details Defined in Web.Sqids.Internal Methods showsPrec :: Int -> SqidsContext -> ShowS # show :: SqidsContext -> String # showList :: [SqidsContext] -> ShowS #
Eq SqidsContext Source #
Instance details Defined in Web.Sqids.Internal Methods (==) :: SqidsContext -> SqidsContext -> Bool # (/=) :: SqidsContext -> SqidsContext -> Bool #
Ord SqidsContext Source #
Instance details Defined in Web.Sqids.Internal Methods compare :: SqidsContext -> SqidsContext -> Ordering # (<) :: SqidsContext -> SqidsContext -> Bool # (<=) :: SqidsContext -> SqidsContext -> Bool # (>) :: SqidsContext -> SqidsContext -> Bool # (>=) :: SqidsContext -> SqidsContext -> Bool # max :: SqidsContext -> SqidsContext -> SqidsContext # min :: SqidsContext -> SqidsContext -> SqidsContext #
MonadReader SqidsContext Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods ask :: Sqids SqidsContext # local :: (SqidsContext -> SqidsContext) -> Sqids a -> Sqids a # reader :: (SqidsContext -> a) -> Sqids a #
Monad m => MonadReader SqidsContext (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods ask :: SqidsT m SqidsContext # local :: (SqidsContext -> SqidsContext) -> SqidsT m a -> SqidsT m a # reader :: (SqidsContext -> a) -> SqidsT m a #

emptySqidsContext :: SqidsContext Source #

defaultSqidsOptions :: SqidsOptions Source #

type SqidsStack m = ReaderT SqidsContext (ExceptT SqidsError m) Source #

class Monad m => MonadSqids m where Source #

Methods

encode Source #

Arguments

:: [Int]	A list of non-negative integers to encode
-> m Text	Returns the generated ID

Encode a list of integers into an ID

decode Source #

Arguments

:: Text	The encoded ID
-> m [Int]	Returns a list of integers

Decode an ID back into a list of integers

Instances

Instances details

MonadSqids Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> Sqids Text Source # decode :: Text -> Sqids [Int] Source #
Monad m => MonadSqids (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> SqidsT m Text Source # decode :: Text -> SqidsT m [Int] Source #
MonadSqids m => MonadSqids (MaybeT m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> MaybeT m Text Source # decode :: Text -> MaybeT m [Int] Source #
MonadSqids m => MonadSqids (ExceptT e m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> ExceptT e m Text Source # decode :: Text -> ExceptT e m [Int] Source #
MonadSqids m => MonadSqids (ReaderT r m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> ReaderT r m Text Source # decode :: Text -> ReaderT r m [Int] Source #
MonadSqids m => MonadSqids (SelectT r m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> SelectT r m Text Source # decode :: Text -> SelectT r m [Int] Source #
MonadSqids m => MonadSqids (StateT s m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> StateT s m Text Source # decode :: Text -> StateT s m [Int] Source #
(MonadSqids m, Monoid w) => MonadSqids (WriterT w m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> WriterT w m Text Source # decode :: Text -> WriterT w m [Int] Source #
MonadSqids m => MonadSqids (ContT r m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> ContT r m Text Source # decode :: Text -> ContT r m [Int] Source #

sqidsOptions :: (MonadSqids m, MonadError SqidsError m) => SqidsOptions -> m SqidsContext Source #

Sqids constructor

newtype SqidsT m a Source #

Constructors

SqidsT
Fields unwrapSqidsT :: SqidsStack m a

Instances

Instances details

MonadTrans SqidsT Source #
Instance details Defined in Web.Sqids.Internal Methods lift :: Monad m => m a -> SqidsT m a #
Monad m => MonadError SqidsError (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods throwError :: SqidsError -> SqidsT m a # catchError :: SqidsT m a -> (SqidsError -> SqidsT m a) -> SqidsT m a #
Monad m => MonadReader SqidsContext (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods ask :: SqidsT m SqidsContext # local :: (SqidsContext -> SqidsContext) -> SqidsT m a -> SqidsT m a # reader :: (SqidsContext -> a) -> SqidsT m a #
MonadIO m => MonadIO (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods liftIO :: IO a -> SqidsT m a #
Monad m => Applicative (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods pure :: a -> SqidsT m a # (<>) :: SqidsT m (a -> b) -> SqidsT m a -> SqidsT m b # liftA2 :: (a -> b -> c) -> SqidsT m a -> SqidsT m b -> SqidsT m c # (>) :: SqidsT m a -> SqidsT m b -> SqidsT m b # (<*) :: SqidsT m a -> SqidsT m b -> SqidsT m a #
Functor m => Functor (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods fmap :: (a -> b) -> SqidsT m a -> SqidsT m b # (<$) :: a -> SqidsT m b -> SqidsT m a #
Monad m => Monad (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods (>>=) :: SqidsT m a -> (a -> SqidsT m b) -> SqidsT m b # (>>) :: SqidsT m a -> SqidsT m b -> SqidsT m b # return :: a -> SqidsT m a #
Monad m => MonadSqids (SqidsT m) Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> SqidsT m Text Source # decode :: Text -> SqidsT m [Int] Source #

newtype Sqids a Source #

Constructors

Sqids
Fields unwrapSqids :: SqidsT Identity a

Instances

Instances details

Applicative Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods pure :: a -> Sqids a # (<>) :: Sqids (a -> b) -> Sqids a -> Sqids b # liftA2 :: (a -> b -> c) -> Sqids a -> Sqids b -> Sqids c # (>) :: Sqids a -> Sqids b -> Sqids b # (<*) :: Sqids a -> Sqids b -> Sqids a #
Functor Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods fmap :: (a -> b) -> Sqids a -> Sqids b # (<$) :: a -> Sqids b -> Sqids a #
Monad Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods (>>=) :: Sqids a -> (a -> Sqids b) -> Sqids b # (>>) :: Sqids a -> Sqids b -> Sqids b # return :: a -> Sqids a #
MonadSqids Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods encode :: [Int] -> Sqids Text Source # decode :: Text -> Sqids [Int] Source #
MonadError SqidsError Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods throwError :: SqidsError -> Sqids a # catchError :: Sqids a -> (SqidsError -> Sqids a) -> Sqids a #
MonadReader SqidsContext Sqids Source #
Instance details Defined in Web.Sqids.Internal Methods ask :: Sqids SqidsContext # local :: (SqidsContext -> SqidsContext) -> Sqids a -> Sqids a # reader :: (SqidsContext -> a) -> Sqids a #

runSqidsT :: Monad m => SqidsOptions -> SqidsT m a -> m (Either SqidsError a) Source #

sqidsT :: Monad m => SqidsT m a -> m (Either SqidsError a) Source #

This is a short form for `runSqidsT defaultSqidsOptions`.

runSqids :: SqidsOptions -> Sqids a -> Either SqidsError a Source #

sqids :: Sqids a -> Either SqidsError a Source #

This is a short form for `runSqids defaultSqidsOptions`.

filteredBlocklist :: Text -> [Text] -> [Text] Source #

rearrangeAlphabet :: Text -> [Int] -> Text Source #

encodeNumbers :: (MonadSqids m, MonadError SqidsError m, MonadReader SqidsContext m) => [Int] -> Bool -> m Text Source #

decodeWithAlphabet :: Text -> Text -> [Int] Source #

decodeStep :: (Text, Text) -> Maybe (Int, (Text, Text)) Source #

shuffle :: Text -> Text Source #

toId :: Int -> Text -> Text Source #

toNumber :: Text -> Text -> Int Source #

isBlockedId :: [Text] -> Text -> Bool Source #