Servant.Util.Util

Some common utilities.

Documentation

newtype Positive a

Constructors

PositiveUnsafe

Fields

• unPositive :: a

Instances

Eq a => Eq (Positive a)

Defined in Servant.Util.Internal.Util

Methods

(==) :: Positive a -> Positive a -> Bool

(/=) :: Positive a -> Positive a -> Bool

Ord a => Ord (Positive a)

Defined in Servant.Util.Internal.Util

Methods

compare :: Positive a -> Positive a -> Ordering

(<) :: Positive a -> Positive a -> Bool

(<=) :: Positive a -> Positive a -> Bool

(>) :: Positive a -> Positive a -> Bool

(>=) :: Positive a -> Positive a -> Bool

max :: Positive a -> Positive a -> Positive a

min :: Positive a -> Positive a -> Positive a

Show a => Show (Positive a)

Defined in Servant.Util.Internal.Util

Methods

showsPrec :: Int -> Positive a -> ShowS

show :: Positive a -> String

showList :: [Positive a] -> ShowS

Buildable x => Buildable (Positive x)

Defined in Servant.Util.Internal.Util

Methods

build :: Positive x -> Builder

ToHttpApiData a => ToHttpApiData (Positive a)

Defined in Servant.Util.Internal.Util

Methods

toUrlPiece :: Positive a -> Text

toEncodedUrlPiece :: Positive a -> Builder

toHeader :: Positive a -> ByteString

toQueryParam :: Positive a -> Text

(FromHttpApiData a, Show a, Ord a, Num a) => FromHttpApiData (Positive a)

Defined in Servant.Util.Internal.Util

Methods

parseUrlPiece :: Text -> Either Text (Positive a)

parseHeader :: ByteString -> Either Text (Positive a)

parseQueryParam :: Text -> Either Text (Positive a)

toPositive :: (Show a, Ord a, Num a) => a -> Either Text (Positive a)

unsafeToPositive :: (Show a, Ord a, Num a, HasCallStack) => a -> Positive a

positiveVal :: forall k i. (KnownPositive k, Num i) => Positive i