Safe Haskell	None
Language	Haskell2010

Shpadoinkle.Widgets.Table.Lazy

Synopsis

newtype AssumedRowHeight = AssumedRowHeight Int
newtype AssumedTableHeight = AssumedTableHeight Int
newtype CurrentScrollY = CurrentScrollY Int
class Tabular a => LazyTabular a where
- countRows :: a -> Int
data LazyTable a = LazyTable a AssumedTableHeight AssumedRowHeight CurrentScrollY RowsToShow RowsLoaded (Paginator a) (SortCol a) [Row (LazyTable a)]
type DebounceScroll m a = (RawNode -> RawEvent -> JSM (Continuation m a)) -> RawNode -> RawEvent -> JSM (Continuation m a)
data LazyTableScrollConfig m a b
- = ContainerIsScrollable (DebounceScroll m (b, CurrentScrollY, RowsLoaded))
- | TbodyIsScrollable (DebounceScroll m (LazyTable a, SortCol (LazyTable a)))
newtype Offset = Offset Int
newtype Length = Length Int
data Page = Page {
- pageOffset :: Offset
- pageLength :: Length
}
newtype RowsToShow = RowsToShow {
- unRowsToShow :: Int
}
newtype RowsLoaded = RowsLoaded {
- unRowsLoaded :: Int
}
newtype Paginator a = Paginator {
- unPaginator :: forall m. (Applicative m, Effect a m) => a -> SortCol a -> Page -> m a
}
lazyLoadingTable :: forall m a b. (LazyTabular a, Monad m, Effect a m, Humanize (Column a), Bounded (Column a), Ord (Column a), Enum (Column a)) => Paginator a -> RowsLoaded -> Theme m a -> AssumedTableHeight -> AssumedRowHeight -> LazyTableScrollConfig m a b -> (Html m ((a, SortCol a), CurrentScrollY, RowsLoaded) -> Html m (b, CurrentScrollY, RowsLoaded)) -> a -> SortCol a -> CurrentScrollY -> Html m (b, CurrentScrollY, RowsLoaded)
lazyTable :: forall m a b. (LazyTabular a, Monad m, Effect a m, Humanize (Column a), Bounded (Column a), Ord (Column a), Enum (Column a)) => Theme m a -> AssumedTableHeight -> AssumedRowHeight -> LazyTableScrollConfig m a b -> (Html m ((a, SortCol a), CurrentScrollY) -> Html m (b, CurrentScrollY)) -> a -> SortCol a -> CurrentScrollY -> Html m (b, CurrentScrollY)

Documentation

newtype AssumedRowHeight Source #

Constructors

AssumedRowHeight Int

Instances

Enum AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods succ :: AssumedRowHeight -> AssumedRowHeight Source # pred :: AssumedRowHeight -> AssumedRowHeight Source # toEnum :: Int -> AssumedRowHeight Source # fromEnum :: AssumedRowHeight -> Int Source # enumFrom :: AssumedRowHeight -> [AssumedRowHeight] Source # enumFromThen :: AssumedRowHeight -> AssumedRowHeight -> [AssumedRowHeight] Source # enumFromTo :: AssumedRowHeight -> AssumedRowHeight -> [AssumedRowHeight] Source # enumFromThenTo :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight -> [AssumedRowHeight] Source #
Eq AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (==) :: AssumedRowHeight -> AssumedRowHeight -> Bool Source # (/=) :: AssumedRowHeight -> AssumedRowHeight -> Bool Source #
Integral AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods quot :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # rem :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # div :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # mod :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # quotRem :: AssumedRowHeight -> AssumedRowHeight -> (AssumedRowHeight, AssumedRowHeight) Source # divMod :: AssumedRowHeight -> AssumedRowHeight -> (AssumedRowHeight, AssumedRowHeight) Source # toInteger :: AssumedRowHeight -> Integer Source #
Num AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (+) :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # (-) :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # (*) :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # negate :: AssumedRowHeight -> AssumedRowHeight Source # abs :: AssumedRowHeight -> AssumedRowHeight Source # signum :: AssumedRowHeight -> AssumedRowHeight Source # fromInteger :: Integer -> AssumedRowHeight Source #
Ord AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods compare :: AssumedRowHeight -> AssumedRowHeight -> Ordering Source # (<) :: AssumedRowHeight -> AssumedRowHeight -> Bool Source # (<=) :: AssumedRowHeight -> AssumedRowHeight -> Bool Source # (>) :: AssumedRowHeight -> AssumedRowHeight -> Bool Source # (>=) :: AssumedRowHeight -> AssumedRowHeight -> Bool Source # max :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source # min :: AssumedRowHeight -> AssumedRowHeight -> AssumedRowHeight Source #
Read AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods readsPrec :: Int -> ReadS AssumedRowHeight Source # readList :: ReadS [AssumedRowHeight] Source # readPrec :: ReadPrec AssumedRowHeight Source # readListPrec :: ReadPrec [AssumedRowHeight] Source #
Real AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toRational :: AssumedRowHeight -> Rational Source #
Show AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods showsPrec :: Int -> AssumedRowHeight -> ShowS Source # show :: AssumedRowHeight -> String Source # showList :: [AssumedRowHeight] -> ShowS Source #
Generic AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Associated Types type Rep AssumedRowHeight :: Type -> Type Source # Methods from :: AssumedRowHeight -> Rep AssumedRowHeight x Source # to :: Rep AssumedRowHeight x -> AssumedRowHeight Source #
NFData AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods rnf :: AssumedRowHeight -> () Source #
ToJSON AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toJSON :: AssumedRowHeight -> Value Source # toEncoding :: AssumedRowHeight -> Encoding Source # toJSONList :: [AssumedRowHeight] -> Value Source # toEncodingList :: [AssumedRowHeight] -> Encoding Source #
FromJSON AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods parseJSON :: Value -> Parser AssumedRowHeight Source # parseJSONList :: Value -> Parser [AssumedRowHeight] Source #
type Rep AssumedRowHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy type Rep AssumedRowHeight = D1 (MetaData "AssumedRowHeight" "Shpadoinkle.Widgets.Table.Lazy" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "AssumedRowHeight" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype AssumedTableHeight Source #

Constructors

AssumedTableHeight Int

Instances

Enum AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods succ :: AssumedTableHeight -> AssumedTableHeight Source # pred :: AssumedTableHeight -> AssumedTableHeight Source # toEnum :: Int -> AssumedTableHeight Source # fromEnum :: AssumedTableHeight -> Int Source # enumFrom :: AssumedTableHeight -> [AssumedTableHeight] Source # enumFromThen :: AssumedTableHeight -> AssumedTableHeight -> [AssumedTableHeight] Source # enumFromTo :: AssumedTableHeight -> AssumedTableHeight -> [AssumedTableHeight] Source # enumFromThenTo :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight -> [AssumedTableHeight] Source #
Eq AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (==) :: AssumedTableHeight -> AssumedTableHeight -> Bool Source # (/=) :: AssumedTableHeight -> AssumedTableHeight -> Bool Source #
Integral AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods quot :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # rem :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # div :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # mod :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # quotRem :: AssumedTableHeight -> AssumedTableHeight -> (AssumedTableHeight, AssumedTableHeight) Source # divMod :: AssumedTableHeight -> AssumedTableHeight -> (AssumedTableHeight, AssumedTableHeight) Source # toInteger :: AssumedTableHeight -> Integer Source #
Num AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (+) :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # (-) :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # (*) :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # negate :: AssumedTableHeight -> AssumedTableHeight Source # abs :: AssumedTableHeight -> AssumedTableHeight Source # signum :: AssumedTableHeight -> AssumedTableHeight Source # fromInteger :: Integer -> AssumedTableHeight Source #
Ord AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods compare :: AssumedTableHeight -> AssumedTableHeight -> Ordering Source # (<) :: AssumedTableHeight -> AssumedTableHeight -> Bool Source # (<=) :: AssumedTableHeight -> AssumedTableHeight -> Bool Source # (>) :: AssumedTableHeight -> AssumedTableHeight -> Bool Source # (>=) :: AssumedTableHeight -> AssumedTableHeight -> Bool Source # max :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source # min :: AssumedTableHeight -> AssumedTableHeight -> AssumedTableHeight Source #
Read AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods readsPrec :: Int -> ReadS AssumedTableHeight Source # readList :: ReadS [AssumedTableHeight] Source # readPrec :: ReadPrec AssumedTableHeight Source # readListPrec :: ReadPrec [AssumedTableHeight] Source #
Real AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toRational :: AssumedTableHeight -> Rational Source #
Show AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods showsPrec :: Int -> AssumedTableHeight -> ShowS Source # show :: AssumedTableHeight -> String Source # showList :: [AssumedTableHeight] -> ShowS Source #
Generic AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Associated Types type Rep AssumedTableHeight :: Type -> Type Source # Methods from :: AssumedTableHeight -> Rep AssumedTableHeight x Source # to :: Rep AssumedTableHeight x -> AssumedTableHeight Source #
NFData AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods rnf :: AssumedTableHeight -> () Source #
ToJSON AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toJSON :: AssumedTableHeight -> Value Source # toEncoding :: AssumedTableHeight -> Encoding Source # toJSONList :: [AssumedTableHeight] -> Value Source # toEncodingList :: [AssumedTableHeight] -> Encoding Source #
FromJSON AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods parseJSON :: Value -> Parser AssumedTableHeight Source # parseJSONList :: Value -> Parser [AssumedTableHeight] Source #
type Rep AssumedTableHeight Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy type Rep AssumedTableHeight = D1 (MetaData "AssumedTableHeight" "Shpadoinkle.Widgets.Table.Lazy" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "AssumedTableHeight" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype CurrentScrollY Source #

Constructors

CurrentScrollY Int

Instances

Enum CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods succ :: CurrentScrollY -> CurrentScrollY Source # pred :: CurrentScrollY -> CurrentScrollY Source # toEnum :: Int -> CurrentScrollY Source # fromEnum :: CurrentScrollY -> Int Source # enumFrom :: CurrentScrollY -> [CurrentScrollY] Source # enumFromThen :: CurrentScrollY -> CurrentScrollY -> [CurrentScrollY] Source # enumFromTo :: CurrentScrollY -> CurrentScrollY -> [CurrentScrollY] Source # enumFromThenTo :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY -> [CurrentScrollY] Source #
Eq CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (==) :: CurrentScrollY -> CurrentScrollY -> Bool Source # (/=) :: CurrentScrollY -> CurrentScrollY -> Bool Source #
Integral CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods quot :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # rem :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # div :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # mod :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # quotRem :: CurrentScrollY -> CurrentScrollY -> (CurrentScrollY, CurrentScrollY) Source # divMod :: CurrentScrollY -> CurrentScrollY -> (CurrentScrollY, CurrentScrollY) Source # toInteger :: CurrentScrollY -> Integer Source #
Num CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (+) :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # (-) :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # (*) :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # negate :: CurrentScrollY -> CurrentScrollY Source # abs :: CurrentScrollY -> CurrentScrollY Source # signum :: CurrentScrollY -> CurrentScrollY Source # fromInteger :: Integer -> CurrentScrollY Source #
Ord CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods compare :: CurrentScrollY -> CurrentScrollY -> Ordering Source # (<) :: CurrentScrollY -> CurrentScrollY -> Bool Source # (<=) :: CurrentScrollY -> CurrentScrollY -> Bool Source # (>) :: CurrentScrollY -> CurrentScrollY -> Bool Source # (>=) :: CurrentScrollY -> CurrentScrollY -> Bool Source # max :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source # min :: CurrentScrollY -> CurrentScrollY -> CurrentScrollY Source #
Read CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods readsPrec :: Int -> ReadS CurrentScrollY Source # readList :: ReadS [CurrentScrollY] Source # readPrec :: ReadPrec CurrentScrollY Source # readListPrec :: ReadPrec [CurrentScrollY] Source #
Real CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toRational :: CurrentScrollY -> Rational Source #
Show CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods showsPrec :: Int -> CurrentScrollY -> ShowS Source # show :: CurrentScrollY -> String Source # showList :: [CurrentScrollY] -> ShowS Source #
Generic CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Associated Types type Rep CurrentScrollY :: Type -> Type Source # Methods from :: CurrentScrollY -> Rep CurrentScrollY x Source # to :: Rep CurrentScrollY x -> CurrentScrollY Source #
NFData CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods rnf :: CurrentScrollY -> () Source #
ToJSON CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSON :: CurrentScrollY -> Value Source # toEncoding :: CurrentScrollY -> Encoding Source # toJSONList :: [CurrentScrollY] -> Value Source # toEncodingList :: [CurrentScrollY] -> Encoding Source #
FromJSON CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseJSON :: Value -> Parser CurrentScrollY Source # parseJSONList :: Value -> Parser [CurrentScrollY] Source #
type Rep CurrentScrollY Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination type Rep CurrentScrollY = D1 (MetaData "CurrentScrollY" "Shpadoinkle.Widgets.Types.Pagination" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "CurrentScrollY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

class Tabular a => LazyTabular a where Source #

Methods

countRows :: a -> Int Source #

data LazyTable a Source #

Constructors

LazyTable a AssumedTableHeight AssumedRowHeight CurrentScrollY RowsToShow RowsLoaded (Paginator a) (SortCol a) [Row (LazyTable a)]

Instances

Bounded (Column a) => Bounded (Column (LazyTable a)) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods minBound :: Column (LazyTable a) Source # maxBound :: Column (LazyTable a) Source #
Enum (Column a) => Enum (Column (LazyTable a)) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods succ :: Column (LazyTable a) -> Column (LazyTable a) Source # pred :: Column (LazyTable a) -> Column (LazyTable a) Source # toEnum :: Int -> Column (LazyTable a) Source # fromEnum :: Column (LazyTable a) -> Int Source # enumFrom :: Column (LazyTable a) -> [Column (LazyTable a)] Source # enumFromThen :: Column (LazyTable a) -> Column (LazyTable a) -> [Column (LazyTable a)] Source # enumFromTo :: Column (LazyTable a) -> Column (LazyTable a) -> [Column (LazyTable a)] Source # enumFromThenTo :: Column (LazyTable a) -> Column (LazyTable a) -> Column (LazyTable a) -> [Column (LazyTable a)] Source #
Eq (Column a) => Eq (Column (LazyTable a)) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (==) :: Column (LazyTable a) -> Column (LazyTable a) -> Bool Source # (/=) :: Column (LazyTable a) -> Column (LazyTable a) -> Bool Source #
Ord (Column a) => Ord (Column (LazyTable a)) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods compare :: Column (LazyTable a) -> Column (LazyTable a) -> Ordering Source # (<) :: Column (LazyTable a) -> Column (LazyTable a) -> Bool Source # (<=) :: Column (LazyTable a) -> Column (LazyTable a) -> Bool Source # (>) :: Column (LazyTable a) -> Column (LazyTable a) -> Bool Source # (>=) :: Column (LazyTable a) -> Column (LazyTable a) -> Bool Source # max :: Column (LazyTable a) -> Column (LazyTable a) -> Column (LazyTable a) Source # min :: Column (LazyTable a) -> Column (LazyTable a) -> Column (LazyTable a) Source #
Humanize (Column a) => Humanize (Column (LazyTable a)) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods humanize :: Column (LazyTable a) -> Text Source #
Tabular a => Tabular (LazyTable a) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Associated Types type Effect (LazyTable a) m :: Constraint Source # Methods toRows :: LazyTable a -> [Row (LazyTable a)] Source # toFilter :: LazyTable a -> Row (LazyTable a) -> Bool Source # toCell :: (Functor m, Effect (LazyTable a) m) => LazyTable a -> Row (LazyTable a) -> Column (LazyTable a) -> [Html m (LazyTable a)] Source # sortTable :: SortCol (LazyTable a) -> Row (LazyTable a) -> Row (LazyTable a) -> Ordering Source # ascendingIcon :: (Functor m, Effect (LazyTable a) m) => Proxy (LazyTable a) -> Html m (LazyTable a, SortCol (LazyTable a)) Source # descendingIcon :: (Functor m, Effect (LazyTable a) m) => Proxy (LazyTable a) -> Html m (LazyTable a, SortCol (LazyTable a)) Source # handleSort :: (Monad m, Effect (LazyTable a) m) => LazyTable a -> SortCol (LazyTable a) -> Continuation m (LazyTable a, SortCol (LazyTable a)) Source #
data Row (LazyTable a) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy data Row (LazyTable a) = LazyRow (Row a) \| FakeRow
newtype Column (LazyTable a) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy newtype Column (LazyTable a) = LazyColumn (Column a)
type Effect (LazyTable a) m Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy type Effect (LazyTable a) m = Effect a m

type DebounceScroll m a = (RawNode -> RawEvent -> JSM (Continuation m a)) -> RawNode -> RawEvent -> JSM (Continuation m a) Source #

data LazyTableScrollConfig m a b Source #

Constructors

ContainerIsScrollable (DebounceScroll m (b, CurrentScrollY, RowsLoaded))
TbodyIsScrollable (DebounceScroll m (LazyTable a, SortCol (LazyTable a)))

Instances

Generic (LazyTableScrollConfig m a b) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Associated Types type Rep (LazyTableScrollConfig m a b) :: Type -> Type Source # Methods from :: LazyTableScrollConfig m a b -> Rep (LazyTableScrollConfig m a b) x Source # to :: Rep (LazyTableScrollConfig m a b) x -> LazyTableScrollConfig m a b Source #
type Rep (LazyTableScrollConfig m a b) Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy type Rep (LazyTableScrollConfig m a b) = D1 (MetaData "LazyTableScrollConfig" "Shpadoinkle.Widgets.Table.Lazy" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" False) (C1 (MetaCons "ContainerIsScrollable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DebounceScroll m (b, CurrentScrollY, RowsLoaded)))) :+: C1 (MetaCons "TbodyIsScrollable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DebounceScroll m (LazyTable a, SortCol (LazyTable a))))))

newtype Offset Source #

Constructors

Offset Int

Instances

Enum Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods succ :: Offset -> Offset Source # pred :: Offset -> Offset Source # toEnum :: Int -> Offset Source # fromEnum :: Offset -> Int Source # enumFrom :: Offset -> [Offset] Source # enumFromThen :: Offset -> Offset -> [Offset] Source # enumFromTo :: Offset -> Offset -> [Offset] Source # enumFromThenTo :: Offset -> Offset -> Offset -> [Offset] Source #
Eq Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (==) :: Offset -> Offset -> Bool Source # (/=) :: Offset -> Offset -> Bool Source #
Integral Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods quot :: Offset -> Offset -> Offset Source # rem :: Offset -> Offset -> Offset Source # div :: Offset -> Offset -> Offset Source # mod :: Offset -> Offset -> Offset Source # quotRem :: Offset -> Offset -> (Offset, Offset) Source # divMod :: Offset -> Offset -> (Offset, Offset) Source # toInteger :: Offset -> Integer Source #
Num Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (+) :: Offset -> Offset -> Offset Source # (-) :: Offset -> Offset -> Offset Source # (*) :: Offset -> Offset -> Offset Source # negate :: Offset -> Offset Source # abs :: Offset -> Offset Source # signum :: Offset -> Offset Source # fromInteger :: Integer -> Offset Source #
Ord Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods compare :: Offset -> Offset -> Ordering Source # (<) :: Offset -> Offset -> Bool Source # (<=) :: Offset -> Offset -> Bool Source # (>) :: Offset -> Offset -> Bool Source # (>=) :: Offset -> Offset -> Bool Source # max :: Offset -> Offset -> Offset Source # min :: Offset -> Offset -> Offset Source #
Read Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods readsPrec :: Int -> ReadS Offset Source # readList :: ReadS [Offset] Source # readPrec :: ReadPrec Offset Source # readListPrec :: ReadPrec [Offset] Source #
Real Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toRational :: Offset -> Rational Source #
Show Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods showsPrec :: Int -> Offset -> ShowS Source # show :: Offset -> String Source # showList :: [Offset] -> ShowS Source #
Generic Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Associated Types type Rep Offset :: Type -> Type Source # Methods from :: Offset -> Rep Offset x Source # to :: Rep Offset x -> Offset Source #
NFData Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods rnf :: Offset -> () Source #
ToJSON Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSON :: Offset -> Value Source # toEncoding :: Offset -> Encoding Source # toJSONList :: [Offset] -> Value Source # toEncodingList :: [Offset] -> Encoding Source #
FromJSON Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseJSON :: Value -> Parser Offset Source # parseJSONList :: Value -> Parser [Offset] Source #
ToHttpApiData Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toUrlPiece :: Offset -> Text Source # toEncodedUrlPiece :: Offset -> Builder Source # toHeader :: Offset -> ByteString Source # toQueryParam :: Offset -> Text Source #
FromHttpApiData Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseUrlPiece :: Text -> Either Text Offset Source # parseHeader :: ByteString -> Either Text Offset Source # parseQueryParam :: Text -> Either Text Offset Source #
ToJSVal Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSVal :: Offset -> JSM JSVal Source # toJSValListOf :: [Offset] -> JSM JSVal Source #
FromJSVal Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods fromJSVal :: JSVal -> JSM (Maybe Offset) Source # fromJSValUnchecked :: JSVal -> JSM Offset Source # fromJSValListOf :: JSVal -> JSM (Maybe [Offset]) Source # fromJSValUncheckedListOf :: JSVal -> JSM [Offset] Source #
type Rep Offset Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination type Rep Offset = D1 (MetaData "Offset" "Shpadoinkle.Widgets.Types.Pagination" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "Offset" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype Length Source #

Constructors

Length Int

Instances

Enum Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods succ :: Length -> Length Source # pred :: Length -> Length Source # toEnum :: Int -> Length Source # fromEnum :: Length -> Int Source # enumFrom :: Length -> [Length] Source # enumFromThen :: Length -> Length -> [Length] Source # enumFromTo :: Length -> Length -> [Length] Source # enumFromThenTo :: Length -> Length -> Length -> [Length] Source #
Eq Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (==) :: Length -> Length -> Bool Source # (/=) :: Length -> Length -> Bool Source #
Integral Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods quot :: Length -> Length -> Length Source # rem :: Length -> Length -> Length Source # div :: Length -> Length -> Length Source # mod :: Length -> Length -> Length Source # quotRem :: Length -> Length -> (Length, Length) Source # divMod :: Length -> Length -> (Length, Length) Source # toInteger :: Length -> Integer Source #
Num Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (+) :: Length -> Length -> Length Source # (-) :: Length -> Length -> Length Source # (*) :: Length -> Length -> Length Source # negate :: Length -> Length Source # abs :: Length -> Length Source # signum :: Length -> Length Source # fromInteger :: Integer -> Length Source #
Ord Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods compare :: Length -> Length -> Ordering Source # (<) :: Length -> Length -> Bool Source # (<=) :: Length -> Length -> Bool Source # (>) :: Length -> Length -> Bool Source # (>=) :: Length -> Length -> Bool Source # max :: Length -> Length -> Length Source # min :: Length -> Length -> Length Source #
Read Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods readsPrec :: Int -> ReadS Length Source # readList :: ReadS [Length] Source # readPrec :: ReadPrec Length Source # readListPrec :: ReadPrec [Length] Source #
Real Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toRational :: Length -> Rational Source #
Show Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods showsPrec :: Int -> Length -> ShowS Source # show :: Length -> String Source # showList :: [Length] -> ShowS Source #
Generic Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Associated Types type Rep Length :: Type -> Type Source # Methods from :: Length -> Rep Length x Source # to :: Rep Length x -> Length Source #
NFData Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods rnf :: Length -> () Source #
ToJSON Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSON :: Length -> Value Source # toEncoding :: Length -> Encoding Source # toJSONList :: [Length] -> Value Source # toEncodingList :: [Length] -> Encoding Source #
FromJSON Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseJSON :: Value -> Parser Length Source # parseJSONList :: Value -> Parser [Length] Source #
ToHttpApiData Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toUrlPiece :: Length -> Text Source # toEncodedUrlPiece :: Length -> Builder Source # toHeader :: Length -> ByteString Source # toQueryParam :: Length -> Text Source #
FromHttpApiData Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseUrlPiece :: Text -> Either Text Length Source # parseHeader :: ByteString -> Either Text Length Source # parseQueryParam :: Text -> Either Text Length Source #
ToJSVal Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSVal :: Length -> JSM JSVal Source # toJSValListOf :: [Length] -> JSM JSVal Source #
FromJSVal Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods fromJSVal :: JSVal -> JSM (Maybe Length) Source # fromJSValUnchecked :: JSVal -> JSM Length Source # fromJSValListOf :: JSVal -> JSM (Maybe [Length]) Source # fromJSValUncheckedListOf :: JSVal -> JSM [Length] Source #
type Rep Length Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination type Rep Length = D1 (MetaData "Length" "Shpadoinkle.Widgets.Types.Pagination" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "Length" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Page Source #

Constructors

Page
Fields pageOffset :: Offset pageLength :: Length

Instances

Eq Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods (==) :: Page -> Page -> Bool Source # (/=) :: Page -> Page -> Bool Source #
Ord Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods compare :: Page -> Page -> Ordering Source # (<) :: Page -> Page -> Bool Source # (<=) :: Page -> Page -> Bool Source # (>) :: Page -> Page -> Bool Source # (>=) :: Page -> Page -> Bool Source # max :: Page -> Page -> Page Source # min :: Page -> Page -> Page Source #
Read Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods readsPrec :: Int -> ReadS Page Source # readList :: ReadS [Page] Source # readPrec :: ReadPrec Page Source # readListPrec :: ReadPrec [Page] Source #
Show Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods showsPrec :: Int -> Page -> ShowS Source # show :: Page -> String Source # showList :: [Page] -> ShowS Source #
Generic Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Associated Types type Rep Page :: Type -> Type Source # Methods from :: Page -> Rep Page x Source # to :: Rep Page x -> Page Source #
NFData Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods rnf :: Page -> () Source #
ToJSON Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSON :: Page -> Value Source # toEncoding :: Page -> Encoding Source # toJSONList :: [Page] -> Value Source # toEncodingList :: [Page] -> Encoding Source #
FromJSON Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseJSON :: Value -> Parser Page Source # parseJSONList :: Value -> Parser [Page] Source #
ToHttpApiData Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toUrlPiece :: Page -> Text Source # toEncodedUrlPiece :: Page -> Builder Source # toHeader :: Page -> ByteString Source # toQueryParam :: Page -> Text Source #
FromHttpApiData Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods parseUrlPiece :: Text -> Either Text Page Source # parseHeader :: ByteString -> Either Text Page Source # parseQueryParam :: Text -> Either Text Page Source #
ToJSVal Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods toJSVal :: Page -> JSM JSVal Source # toJSValListOf :: [Page] -> JSM JSVal Source #
FromJSVal Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination Methods fromJSVal :: JSVal -> JSM (Maybe Page) Source # fromJSValUnchecked :: JSVal -> JSM Page Source # fromJSValListOf :: JSVal -> JSM (Maybe [Page]) Source # fromJSValUncheckedListOf :: JSVal -> JSM [Page] Source #
type Rep Page Source #
Instance details Defined in Shpadoinkle.Widgets.Types.Pagination type Rep Page = D1 (MetaData "Page" "Shpadoinkle.Widgets.Types.Pagination" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" False) (C1 (MetaCons "Page" PrefixI True) (S1 (MetaSel (Just "pageOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Offset) :*: S1 (MetaSel (Just "pageLength") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Length)))

newtype RowsToShow Source #

Constructors

RowsToShow
Fields unRowsToShow :: Int

Instances

Bounded RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods minBound :: RowsToShow Source # maxBound :: RowsToShow Source #
Enum RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods succ :: RowsToShow -> RowsToShow Source # pred :: RowsToShow -> RowsToShow Source # toEnum :: Int -> RowsToShow Source # fromEnum :: RowsToShow -> Int Source # enumFrom :: RowsToShow -> [RowsToShow] Source # enumFromThen :: RowsToShow -> RowsToShow -> [RowsToShow] Source # enumFromTo :: RowsToShow -> RowsToShow -> [RowsToShow] Source # enumFromThenTo :: RowsToShow -> RowsToShow -> RowsToShow -> [RowsToShow] Source #
Eq RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (==) :: RowsToShow -> RowsToShow -> Bool Source # (/=) :: RowsToShow -> RowsToShow -> Bool Source #
Num RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (+) :: RowsToShow -> RowsToShow -> RowsToShow Source # (-) :: RowsToShow -> RowsToShow -> RowsToShow Source # (*) :: RowsToShow -> RowsToShow -> RowsToShow Source # negate :: RowsToShow -> RowsToShow Source # abs :: RowsToShow -> RowsToShow Source # signum :: RowsToShow -> RowsToShow Source # fromInteger :: Integer -> RowsToShow Source #
Ord RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods compare :: RowsToShow -> RowsToShow -> Ordering Source # (<) :: RowsToShow -> RowsToShow -> Bool Source # (<=) :: RowsToShow -> RowsToShow -> Bool Source # (>) :: RowsToShow -> RowsToShow -> Bool Source # (>=) :: RowsToShow -> RowsToShow -> Bool Source # max :: RowsToShow -> RowsToShow -> RowsToShow Source # min :: RowsToShow -> RowsToShow -> RowsToShow Source #
Read RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods readsPrec :: Int -> ReadS RowsToShow Source # readList :: ReadS [RowsToShow] Source # readPrec :: ReadPrec RowsToShow Source # readListPrec :: ReadPrec [RowsToShow] Source #
Real RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toRational :: RowsToShow -> Rational Source #
Show RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods showsPrec :: Int -> RowsToShow -> ShowS Source # show :: RowsToShow -> String Source # showList :: [RowsToShow] -> ShowS Source #
Generic RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Associated Types type Rep RowsToShow :: Type -> Type Source # Methods from :: RowsToShow -> Rep RowsToShow x Source # to :: Rep RowsToShow x -> RowsToShow Source #
NFData RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods rnf :: RowsToShow -> () Source #
ToJSON RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toJSON :: RowsToShow -> Value Source # toEncoding :: RowsToShow -> Encoding Source # toJSONList :: [RowsToShow] -> Value Source # toEncodingList :: [RowsToShow] -> Encoding Source #
FromJSON RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods parseJSON :: Value -> Parser RowsToShow Source # parseJSONList :: Value -> Parser [RowsToShow] Source #
ToJSVal RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toJSVal :: RowsToShow -> JSM JSVal Source # toJSValListOf :: [RowsToShow] -> JSM JSVal Source #
FromJSVal RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods fromJSVal :: JSVal -> JSM (Maybe RowsToShow) Source # fromJSValUnchecked :: JSVal -> JSM RowsToShow Source # fromJSValListOf :: JSVal -> JSM (Maybe [RowsToShow]) Source # fromJSValUncheckedListOf :: JSVal -> JSM [RowsToShow] Source #
type Rep RowsToShow Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy type Rep RowsToShow = D1 (MetaData "RowsToShow" "Shpadoinkle.Widgets.Table.Lazy" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "RowsToShow" PrefixI True) (S1 (MetaSel (Just "unRowsToShow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype RowsLoaded Source #

Constructors

RowsLoaded
Fields unRowsLoaded :: Int

Instances

Bounded RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods minBound :: RowsLoaded Source # maxBound :: RowsLoaded Source #
Enum RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods succ :: RowsLoaded -> RowsLoaded Source # pred :: RowsLoaded -> RowsLoaded Source # toEnum :: Int -> RowsLoaded Source # fromEnum :: RowsLoaded -> Int Source # enumFrom :: RowsLoaded -> [RowsLoaded] Source # enumFromThen :: RowsLoaded -> RowsLoaded -> [RowsLoaded] Source # enumFromTo :: RowsLoaded -> RowsLoaded -> [RowsLoaded] Source # enumFromThenTo :: RowsLoaded -> RowsLoaded -> RowsLoaded -> [RowsLoaded] Source #
Eq RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (==) :: RowsLoaded -> RowsLoaded -> Bool Source # (/=) :: RowsLoaded -> RowsLoaded -> Bool Source #
Num RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods (+) :: RowsLoaded -> RowsLoaded -> RowsLoaded Source # (-) :: RowsLoaded -> RowsLoaded -> RowsLoaded Source # (*) :: RowsLoaded -> RowsLoaded -> RowsLoaded Source # negate :: RowsLoaded -> RowsLoaded Source # abs :: RowsLoaded -> RowsLoaded Source # signum :: RowsLoaded -> RowsLoaded Source # fromInteger :: Integer -> RowsLoaded Source #
Ord RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods compare :: RowsLoaded -> RowsLoaded -> Ordering Source # (<) :: RowsLoaded -> RowsLoaded -> Bool Source # (<=) :: RowsLoaded -> RowsLoaded -> Bool Source # (>) :: RowsLoaded -> RowsLoaded -> Bool Source # (>=) :: RowsLoaded -> RowsLoaded -> Bool Source # max :: RowsLoaded -> RowsLoaded -> RowsLoaded Source # min :: RowsLoaded -> RowsLoaded -> RowsLoaded Source #
Read RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods readsPrec :: Int -> ReadS RowsLoaded Source # readList :: ReadS [RowsLoaded] Source # readPrec :: ReadPrec RowsLoaded Source # readListPrec :: ReadPrec [RowsLoaded] Source #
Real RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toRational :: RowsLoaded -> Rational Source #
Show RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods showsPrec :: Int -> RowsLoaded -> ShowS Source # show :: RowsLoaded -> String Source # showList :: [RowsLoaded] -> ShowS Source #
Generic RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Associated Types type Rep RowsLoaded :: Type -> Type Source # Methods from :: RowsLoaded -> Rep RowsLoaded x Source # to :: Rep RowsLoaded x -> RowsLoaded Source #
NFData RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods rnf :: RowsLoaded -> () Source #
ToJSON RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toJSON :: RowsLoaded -> Value Source # toEncoding :: RowsLoaded -> Encoding Source # toJSONList :: [RowsLoaded] -> Value Source # toEncodingList :: [RowsLoaded] -> Encoding Source #
FromJSON RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods parseJSON :: Value -> Parser RowsLoaded Source # parseJSONList :: Value -> Parser [RowsLoaded] Source #
ToJSVal RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods toJSVal :: RowsLoaded -> JSM JSVal Source # toJSValListOf :: [RowsLoaded] -> JSM JSVal Source #
FromJSVal RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy Methods fromJSVal :: JSVal -> JSM (Maybe RowsLoaded) Source # fromJSValUnchecked :: JSVal -> JSM RowsLoaded Source # fromJSValListOf :: JSVal -> JSM (Maybe [RowsLoaded]) Source # fromJSValUncheckedListOf :: JSVal -> JSM [RowsLoaded] Source #
type Rep RowsLoaded Source #
Instance details Defined in Shpadoinkle.Widgets.Table.Lazy type Rep RowsLoaded = D1 (MetaData "RowsLoaded" "Shpadoinkle.Widgets.Table.Lazy" "Shpadoinkle-widgets-0.2.0.1-HaWUIlNGtuO41rdsllvehE" True) (C1 (MetaCons "RowsLoaded" PrefixI True) (S1 (MetaSel (Just "unRowsLoaded") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

newtype Paginator a Source #

A Paginator takes a tabular data type a and a sort order and a page and returns an action which yields a new tabular value with the values in the given page range included.

Constructors

Paginator
Fields unPaginator :: forall m. (Applicative m, Effect a m) => a -> SortCol a -> Page -> m a

lazyLoadingTable :: forall m a b. (LazyTabular a, Monad m, Effect a m, Humanize (Column a), Bounded (Column a), Ord (Column a), Enum (Column a)) => Paginator a -> RowsLoaded -> Theme m a -> AssumedTableHeight -> AssumedRowHeight -> LazyTableScrollConfig m a b -> (Html m ((a, SortCol a), CurrentScrollY, RowsLoaded) -> Html m (b, CurrentScrollY, RowsLoaded)) -> a -> SortCol a -> CurrentScrollY -> Html m (b, CurrentScrollY, RowsLoaded) Source #

lazyTable :: forall m a b. (LazyTabular a, Monad m, Effect a m, Humanize (Column a), Bounded (Column a), Ord (Column a), Enum (Column a)) => Theme m a -> AssumedTableHeight -> AssumedRowHeight -> LazyTableScrollConfig m a b -> (Html m ((a, SortCol a), CurrentScrollY) -> Html m (b, CurrentScrollY)) -> a -> SortCol a -> CurrentScrollY -> Html m (b, CurrentScrollY) Source #