Servant.Pagination.Internal

Documentation

orElse :: Either a b -> Either a b -> Either a b

Helper to execute two `Either a b` successively

class ToAcceptRanges r where

Representation of AcceptRanges as a list of comma-separated text fields from the type of a Range only (value isn't needed here since only the field matters)

Minimal complete definition

toAcceptRanges

Methods

toAcceptRanges :: Proxy r -> Text

Instances

(ToAcceptRanges a, ToAcceptRanges b) => ToAcceptRanges ((:|:) a b)

Methods

toAcceptRanges :: Proxy * (a :|: b) -> Text

KnownSymbol field => ToAcceptRanges (Range field typ)

Methods

toAcceptRanges :: Proxy * (Range field typ) -> Text

data a :|: b infixl 7

Combine two ranges in a new range, parsing is done left-first

Constructors

InL a

InR b

Instances

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6) r7) r8) r9)

Methods

liftRange :: r -> (((((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8) :|: r9

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6) r7) r8) r9)

Methods

liftRange :: r -> (((((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8) :|: r9

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6) r7) r8)

Methods

liftRange :: r -> ((((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6) r7) r8)

Methods

liftRange :: r -> ((((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6) r7)

Methods

liftRange :: r -> (((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6) r7)

Methods

liftRange :: r -> (((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6)

Methods

liftRange :: r -> ((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6)

Methods

liftRange :: r -> ((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6

r :<: ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5)

Methods

liftRange :: r -> (((r :|: r2) :|: r3) :|: r4) :|: r5

r :<: ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5)

Methods

liftRange :: r -> (((r1 :|: r) :|: r3) :|: r4) :|: r5

r :<: ((:|:) ((:|:) ((:|:) r r2) r3) r4)

Methods

liftRange :: r -> ((r :|: r2) :|: r3) :|: r4

r :<: ((:|:) ((:|:) ((:|:) r1 r) r3) r4)

Methods

liftRange :: r -> ((r1 :|: r) :|: r3) :|: r4

r :<: ((:|:) ((:|:) r r2) r3)

Methods

liftRange :: r -> (r :|: r2) :|: r3

r :<: ((:|:) ((:|:) r1 r) r3)

Methods

liftRange :: r -> (r1 :|: r) :|: r3

r :<: ((:|:) r1 r)

Methods

liftRange :: r -> r1 :|: r

r :<: ((:|:) r r2)

Methods

liftRange :: r -> r :|: r2

(ToHttpApiData (NextRange a), ToHttpApiData (NextRange b)) => ToHttpApiData (NextRange ((:|:) a b))

Methods

toUrlPiece :: NextRange (a :|: b) -> Text

toEncodedUrlPiece :: NextRange (a :|: b) -> Builder

toHeader :: NextRange (a :|: b) -> ByteString

toQueryParam :: NextRange (a :|: b) -> Text

(ToHttpApiData (ContentRange a), ToHttpApiData (ContentRange b)) => ToHttpApiData (ContentRange ((:|:) a b))

Methods

toUrlPiece :: ContentRange (a :|: b) -> Text

toEncodedUrlPiece :: ContentRange (a :|: b) -> Builder

toHeader :: ContentRange (a :|: b) -> ByteString

toQueryParam :: ContentRange (a :|: b) -> Text

(ToHttpApiData a, ToHttpApiData b) => ToHttpApiData ((:|:) a b)

Methods

toUrlPiece :: (a :|: b) -> Text

toEncodedUrlPiece :: (a :|: b) -> Builder

toHeader :: (a :|: b) -> ByteString

toQueryParam :: (a :|: b) -> Text

(FromHttpApiData a, FromHttpApiData b) => FromHttpApiData ((:|:) a b)

Methods

parseUrlPiece :: Text -> Either Text (a :|: b)

parseHeader :: ByteString -> Either Text (a :|: b)

parseQueryParam :: Text -> Either Text (a :|: b)

(ToAcceptRanges a, ToAcceptRanges b) => ToAcceptRanges ((:|:) a b)

Methods

toAcceptRanges :: Proxy * (a :|: b) -> Text

type family InRanges r rs :: Constraint where ...

Type family helper to define a constraint about ranges

Equations

InRanges r r = ()

InRanges r (rs :|: r) = ()

InRanges r (rs :|: r') = InRanges r rs

class range :<: ranges where

Relation for lifting range into a combination of ranges

Minimal complete definition

liftRange

Methods

liftRange :: range -> ranges

Instances

r :<: r

Methods

liftRange :: r -> r

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6) r7) r8) r9)

Methods

liftRange :: r -> (((((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8) :|: r9

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6) r7) r8) r9)

Methods

liftRange :: r -> (((((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8) :|: r9

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6) r7) r8)

Methods

liftRange :: r -> ((((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6) r7) r8)

Methods

liftRange :: r -> ((((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7) :|: r8

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6) r7)

Methods

liftRange :: r -> (((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6) r7)

Methods

liftRange :: r -> (((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6) :|: r7

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5) r6)

Methods

liftRange :: r -> ((((r :|: r2) :|: r3) :|: r4) :|: r5) :|: r6

r :<: ((:|:) ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5) r6)

Methods

liftRange :: r -> ((((r1 :|: r) :|: r3) :|: r4) :|: r5) :|: r6

r :<: ((:|:) ((:|:) ((:|:) ((:|:) r r2) r3) r4) r5)

Methods

liftRange :: r -> (((r :|: r2) :|: r3) :|: r4) :|: r5

r :<: ((:|:) ((:|:) ((:|:) ((:|:) r1 r) r3) r4) r5)

Methods

liftRange :: r -> (((r1 :|: r) :|: r3) :|: r4) :|: r5

r :<: ((:|:) ((:|:) ((:|:) r r2) r3) r4)

Methods

liftRange :: r -> ((r :|: r2) :|: r3) :|: r4

r :<: ((:|:) ((:|:) ((:|:) r1 r) r3) r4)

Methods

liftRange :: r -> ((r1 :|: r) :|: r3) :|: r4

r :<: ((:|:) ((:|:) r r2) r3)

Methods

liftRange :: r -> (r :|: r2) :|: r3

r :<: ((:|:) ((:|:) r1 r) r3)

Methods

liftRange :: r -> (r1 :|: r) :|: r3

r :<: ((:|:) r1 r)

Methods

liftRange :: r -> r1 :|: r

r :<: ((:|:) r r2)

Methods

liftRange :: r -> r :|: r2