Safe Haskell	Safe-Inferred
Language	Haskell2010

Wire.Sem.Paging

Contents

General paging types
Utilities
Simple paging

Synopsis

type family Page p a :: page :: Type | page -> p a
type family PagingState p a = (ps :: Type)
type family PagingBounds p a :: Type
class Paging p where
- pageItems :: Page p a -> [a]
- pageHasMore :: Page p a -> Bool
- pageState :: Page p a -> PagingState p a
withChunks :: (Paging p, Monad m) => (Maybe (PagingState p i) -> m (Page p i)) -> ([i] -> m ()) -> m ()
data SimplePaging

General paging types

type family Page p a :: page :: Type | page -> p a Source #

Instances

Instances details

type Page SimplePaging a Source #
Instance details Defined in Wire.Sem.Paging type Page SimplePaging a = [a]
type Page CassandraPaging a Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type Page CassandraPaging a = PageWithState a
type Page InternalPaging a Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type Page InternalPaging a = InternalPage a
type Page LegacyPaging a Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type Page LegacyPaging a = ResultSet a

type family PagingState p a = (ps :: Type) Source #

Instances

Instances details

type PagingState SimplePaging a Source #
Instance details Defined in Wire.Sem.Paging type PagingState SimplePaging a = ()
type PagingState CassandraPaging a Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingState CassandraPaging a = PagingState
type PagingState InternalPaging a Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingState InternalPaging a = InternalPagingState a
type PagingState LegacyPaging a Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingState LegacyPaging a = a

type family PagingBounds p a :: Type Source #

Instances

Instances details

type PagingBounds SimplePaging a Source #
Instance details Defined in Wire.Sem.Paging type PagingBounds SimplePaging a = Int32
type PagingBounds CassandraPaging ConvId Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds CassandraPaging ConvId = Range 1 1000 Int32
type PagingBounds CassandraPaging TeamId Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds CassandraPaging TeamId = Range 1 100 Int32
type PagingBounds CassandraPaging TeamMember Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds CassandraPaging TeamMember = Range 1 HardTruncationLimit Int32
type PagingBounds InternalPaging TeamId Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds InternalPaging TeamId = Range 1 100 Int32
type PagingBounds InternalPaging TeamMember Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds InternalPaging TeamMember = Range 1 HardTruncationLimit Int32
type PagingBounds LegacyPaging ConvId Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds LegacyPaging ConvId = Range 1 1000 Int32
type PagingBounds LegacyPaging TeamId Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds LegacyPaging TeamId = Range 1 100 Int32
type PagingBounds CassandraPaging (Remote ConvId) Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds CassandraPaging (Remote ConvId) = Range 1 1000 Int32
type PagingBounds InternalPaging (Remote UserConnection) Source #
Instance details Defined in Wire.Sem.Paging.Cassandra type PagingBounds InternalPaging (Remote UserConnection) = Range 1 1000 Int32

class Paging p where Source #

Methods

pageItems :: Page p a -> [a] Source #

pageHasMore :: Page p a -> Bool Source #

pageState :: Page p a -> PagingState p a Source #

Instances

Instances details

Paging SimplePaging Source #
Instance details Defined in Wire.Sem.Paging Methods pageItems :: Page SimplePaging a -> [a] Source # pageHasMore :: Page SimplePaging a -> Bool Source # pageState :: Page SimplePaging a -> PagingState SimplePaging a Source #
Paging InternalPaging Source #
Instance details Defined in Wire.Sem.Paging.Cassandra Methods pageItems :: Page InternalPaging a -> [a] Source # pageHasMore :: Page InternalPaging a -> Bool Source # pageState :: Page InternalPaging a -> PagingState InternalPaging a Source #

Utilities

withChunks :: (Paging p, Monad m) => (Maybe (PagingState p i) -> m (Page p i)) -> ([i] -> m ()) -> m () Source #

Simple paging

data SimplePaging Source #

Instances

Instances details

Paging SimplePaging Source #
Instance details Defined in Wire.Sem.Paging Methods pageItems :: Page SimplePaging a -> [a] Source # pageHasMore :: Page SimplePaging a -> Bool Source # pageState :: Page SimplePaging a -> PagingState SimplePaging a Source #
type PagingBounds SimplePaging a Source #
Instance details Defined in Wire.Sem.Paging type PagingBounds SimplePaging a = Int32
type PagingState SimplePaging a Source #
Instance details Defined in Wire.Sem.Paging type PagingState SimplePaging a = ()
type Page SimplePaging a Source #
Instance details Defined in Wire.Sem.Paging type Page SimplePaging a = [a]