Control.Monad.Freer.Extras.Pagination
data PageQuery a Source #
Query parameters for pagination.
Constructors
Fields
Number of items per page.
Last item of the queried page.
Defined in Control.Monad.Freer.Extras.Pagination
Methods
fmap :: (a -> b) -> PageQuery a -> PageQuery b Source #
(<$) :: a -> PageQuery b -> PageQuery a Source #
(==) :: PageQuery a -> PageQuery a -> Bool Source #
(/=) :: PageQuery a -> PageQuery a -> Bool Source #
compare :: PageQuery a -> PageQuery a -> Ordering Source #
(<) :: PageQuery a -> PageQuery a -> Bool Source #
(<=) :: PageQuery a -> PageQuery a -> Bool Source #
(>) :: PageQuery a -> PageQuery a -> Bool Source #
(>=) :: PageQuery a -> PageQuery a -> Bool Source #
max :: PageQuery a -> PageQuery a -> PageQuery a Source #
min :: PageQuery a -> PageQuery a -> PageQuery a Source #
showsPrec :: Int -> PageQuery a -> ShowS Source #
show :: PageQuery a -> String Source #
showList :: [PageQuery a] -> ShowS Source #
Associated Types
type Rep (PageQuery a) :: Type -> Type Source #
from :: PageQuery a -> Rep (PageQuery a) x Source #
to :: Rep (PageQuery a) x -> PageQuery a Source #
toJSON :: PageQuery a -> Value
toEncoding :: PageQuery a -> Encoding
toJSONList :: [PageQuery a] -> Value
toEncodingList :: [PageQuery a] -> Encoding
parseJSON :: Value -> Parser (PageQuery a)
parseJSONList :: Value -> Parser [PageQuery a]
def :: PageQuery a
data Page a Source #
Part of a collection.
The PageQuery which was used to request this Page.
PageQuery
Page
The PageQuery to use to request the next Page. Nothing if we requested the last page.
Items in the current Page.
fmap :: (a -> b) -> Page a -> Page b Source #
(<$) :: a -> Page b -> Page a Source #
(==) :: Page a -> Page a -> Bool Source #
(/=) :: Page a -> Page a -> Bool Source #
compare :: Page a -> Page a -> Ordering Source #
(<) :: Page a -> Page a -> Bool Source #
(<=) :: Page a -> Page a -> Bool Source #
(>) :: Page a -> Page a -> Bool Source #
(>=) :: Page a -> Page a -> Bool Source #
max :: Page a -> Page a -> Page a Source #
min :: Page a -> Page a -> Page a Source #
showsPrec :: Int -> Page a -> ShowS Source #
show :: Page a -> String Source #
showList :: [Page a] -> ShowS Source #
type Rep (Page a) :: Type -> Type Source #
from :: Page a -> Rep (Page a) x Source #
to :: Rep (Page a) x -> Page a Source #
toJSON :: Page a -> Value
toEncoding :: Page a -> Encoding
toJSONList :: [Page a] -> Value
toEncodingList :: [Page a] -> Encoding
parseJSON :: Value -> Parser (Page a)
parseJSONList :: Value -> Parser [Page a]
newtype PageSize Source #
(==) :: PageSize -> PageSize -> Bool Source #
(/=) :: PageSize -> PageSize -> Bool Source #
(+) :: PageSize -> PageSize -> PageSize Source #
(-) :: PageSize -> PageSize -> PageSize Source #
(*) :: PageSize -> PageSize -> PageSize Source #
negate :: PageSize -> PageSize Source #
abs :: PageSize -> PageSize Source #
signum :: PageSize -> PageSize Source #
fromInteger :: Integer -> PageSize Source #
compare :: PageSize -> PageSize -> Ordering Source #
(<) :: PageSize -> PageSize -> Bool Source #
(<=) :: PageSize -> PageSize -> Bool Source #
(>) :: PageSize -> PageSize -> Bool Source #
(>=) :: PageSize -> PageSize -> Bool Source #
max :: PageSize -> PageSize -> PageSize Source #
min :: PageSize -> PageSize -> PageSize Source #
showsPrec :: Int -> PageSize -> ShowS Source #
show :: PageSize -> String Source #
showList :: [PageSize] -> ShowS Source #
type Rep PageSize :: Type -> Type Source #
from :: PageSize -> Rep PageSize x Source #
to :: Rep PageSize x -> PageSize Source #
toJSON :: PageSize -> Value
toEncoding :: PageSize -> Encoding
toJSONList :: [PageSize] -> Value
toEncodingList :: [PageSize] -> Encoding
parseJSON :: Value -> Parser PageSize
parseJSONList :: Value -> Parser [PageSize]
def :: PageSize
pageOf Source #
Arguments
Pagination query parameters.
Given a Set, request the Page with the given PageQuery.
Set