Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
type Page SimplePaging a Source # | |
Defined in Wire.Sem.Paging | |
type Page CassandraPaging a Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type Page InternalPaging a Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type Page LegacyPaging a Source # | |
Defined in Wire.Sem.Paging.Cassandra |
type family PagingState p a = (ps :: Type) Source #
Instances
type PagingState SimplePaging a Source # | |
Defined in Wire.Sem.Paging | |
type PagingState CassandraPaging a Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingState InternalPaging a Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingState LegacyPaging a Source # | |
Defined in Wire.Sem.Paging.Cassandra |
type family PagingBounds p a :: Type Source #
Instances
type PagingBounds SimplePaging a Source # | |
Defined in Wire.Sem.Paging | |
type PagingBounds CassandraPaging ConvId Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds CassandraPaging TeamId Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds CassandraPaging TeamMember Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds InternalPaging TeamId Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds InternalPaging TeamMember Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds LegacyPaging ConvId Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds LegacyPaging TeamId Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds CassandraPaging (Remote ConvId) Source # | |
Defined in Wire.Sem.Paging.Cassandra | |
type PagingBounds InternalPaging (Remote UserConnection) Source # | |
Defined in Wire.Sem.Paging.Cassandra |
pageItems :: Page p a -> [a] Source #
pageHasMore :: Page p a -> Bool Source #
pageState :: Page p a -> PagingState p a Source #
Instances
Paging SimplePaging Source # | |
Defined in Wire.Sem.Paging pageItems :: Page SimplePaging a -> [a] Source # pageHasMore :: Page SimplePaging a -> Bool Source # pageState :: Page SimplePaging a -> PagingState SimplePaging a Source # | |
Paging InternalPaging Source # | |
Defined in Wire.Sem.Paging.Cassandra 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
Paging SimplePaging Source # | |
Defined in Wire.Sem.Paging 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 # | |
Defined in Wire.Sem.Paging | |
type PagingState SimplePaging a Source # | |
Defined in Wire.Sem.Paging | |
type Page SimplePaging a Source # | |
Defined in Wire.Sem.Paging |