Lucid.Tables

Documentation

class ToHtmlTable a where

Minimal complete definition

Nothing

Methods

headers :: Proxy a -> [Text]

headers :: (Generic a, TableSelectors (Rep a)) => Proxy a -> [Text]

toHtmlRow :: Monad m => a -> [HtmlT m ()]

toHtmlRow :: (Monad m, Generic a, GToTable (Rep a)) => a -> [HtmlT m ()]

class GToTable f where

Methods

gtoHtmlRow :: Monad m => f a -> [HtmlT m ()]

Instances

GToTable (U1 :: k -> Type)

Defined in Lucid.Tables

Methods

gtoHtmlRow :: Monad m => U1 a -> [HtmlT m ()]

(GToTable a, GToTable b) => GToTable (a :*: b :: k -> Type)

Defined in Lucid.Tables

Methods

gtoHtmlRow :: Monad m => (a :*: b) a0 -> [HtmlT m ()]

(Selector d, ToHtml a) => GToTable (M1 S d (K1 R a :: k -> Type) :: k -> Type)

Defined in Lucid.Tables

Methods

gtoHtmlRow :: Monad m => M1 S d (K1 R a) a0 -> [HtmlT m ()]

GToTable a => GToTable (M1 D c a :: k -> Type)

Defined in Lucid.Tables

Methods

gtoHtmlRow :: Monad m => M1 D c a a0 -> [HtmlT m ()]

GToTable a => GToTable (M1 C c a :: k -> Type)

Defined in Lucid.Tables

Methods

gtoHtmlRow :: Monad m => M1 C c a a0 -> [HtmlT m ()]

tableSelectors :: TableSelectors (Rep a) => Proxy a -> [String]

class TableSelectors a where

Methods

selNames :: Proxy a -> [String]

Instances

TableSelectors (U1 :: k -> Type)

Defined in Lucid.Tables

Methods

selNames :: Proxy U1 -> [String]

(TableSelectors a, TableSelectors b) => TableSelectors (a :*: b :: k -> Type)

Defined in Lucid.Tables

Methods

selNames :: Proxy (a :*: b) -> [String]

Selector s => TableSelectors (M1 S s (K1 R t :: k -> Type) :: k -> Type)

Defined in Lucid.Tables

Methods

selNames :: Proxy (M1 S s (K1 R t)) -> [String]

TableSelectors f => TableSelectors (M1 C x f :: k -> Type)

Defined in Lucid.Tables

Methods

selNames :: Proxy (M1 C x f) -> [String]

TableSelectors f => TableSelectors (M1 D x f :: k -> Type)

Defined in Lucid.Tables

Methods

selNames :: Proxy (M1 D x f) -> [String]