Text.LaTeX.Internal.FunctionTable

Documentation

data LaTeXLI

Constructors

LaTeXLI SrcLoc String

Instances

Eq LaTeXLI

Methods

(==) :: LaTeXLI -> LaTeXLI -> Bool

(/=) :: LaTeXLI -> LaTeXLI -> Bool

Show LaTeXLI

Methods

showsPrec :: Int -> LaTeXLI -> ShowS

show :: LaTeXLI -> String

showList :: [LaTeXLI] -> ShowS

Render LaTeXLI

Methods

render :: LaTeXLI -> Text

data TableCells' a b

Constructors

Cell b

Condition Cols (NonEmpty (a, TableCells' a b))

Instances

Bifunctor TableCells'

Methods

bimap :: (a -> b) -> (c -> d) -> TableCells' a c -> TableCells' b d

first :: (a -> b) -> TableCells' a c -> TableCells' b c

second :: (b -> c) -> TableCells' a b -> TableCells' a c

Bitraversable TableCells'

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TableCells' a b -> f (TableCells' c d)

Bifoldable TableCells'

Methods

bifold :: Monoid m => TableCells' m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> TableCells' a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> TableCells' a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> TableCells' a b -> c

Functor (TableCells' a)

Methods

fmap :: (a -> b) -> TableCells' a a -> TableCells' a b

(<$) :: a -> TableCells' a b -> TableCells' a a

Foldable (TableCells' a)

Methods

fold :: Monoid m => TableCells' a m -> m

foldMap :: Monoid m => (a -> m) -> TableCells' a a -> m

foldr :: (a -> b -> b) -> b -> TableCells' a a -> b

foldr' :: (a -> b -> b) -> b -> TableCells' a a -> b

foldl :: (b -> a -> b) -> b -> TableCells' a a -> b

foldl' :: (b -> a -> b) -> b -> TableCells' a a -> b

foldr1 :: (a -> a -> a) -> TableCells' a a -> a

foldl1 :: (a -> a -> a) -> TableCells' a a -> a

toList :: TableCells' a a -> [a]

null :: TableCells' a a -> Bool

length :: TableCells' a a -> Int

elem :: Eq a => a -> TableCells' a a -> Bool

maximum :: Ord a => TableCells' a a -> a

minimum :: Ord a => TableCells' a a -> a

sum :: Num a => TableCells' a a -> a

product :: Num a => TableCells' a a -> a

Traversable (TableCells' a)

Methods

traverse :: Applicative f => (a -> f b) -> TableCells' a a -> f (TableCells' a b)

sequenceA :: Applicative f => TableCells' a (f a) -> f (TableCells' a a)

mapM :: Monad m => (a -> m b) -> TableCells' a a -> m (TableCells' a b)

sequence :: Monad m => TableCells' a (m a) -> m (TableCells' a a)

(Eq a, Eq b) => Eq (TableCells' a b)

Methods

(==) :: TableCells' a b -> TableCells' a b -> Bool

(/=) :: TableCells' a b -> TableCells' a b -> Bool

(Show a, Show b) => Show (TableCells' a b)

Methods

showsPrec :: Int -> TableCells' a b -> ShowS

show :: TableCells' a b -> String

showList :: [TableCells' a b] -> ShowS

data FunctionTable' a b

Constructors

Table b (TableCells' a b)

Instances

Bifunctor FunctionTable'

Methods

bimap :: (a -> b) -> (c -> d) -> FunctionTable' a c -> FunctionTable' b d

first :: (a -> b) -> FunctionTable' a c -> FunctionTable' b c

second :: (b -> c) -> FunctionTable' a b -> FunctionTable' a c

Bitraversable FunctionTable'

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> FunctionTable' a b -> f (FunctionTable' c d)

Bifoldable FunctionTable'

Methods

bifold :: Monoid m => FunctionTable' m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> FunctionTable' a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> FunctionTable' a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> FunctionTable' a b -> c

Functor (FunctionTable' a)

Methods

fmap :: (a -> b) -> FunctionTable' a a -> FunctionTable' a b

(<$) :: a -> FunctionTable' a b -> FunctionTable' a a

Foldable (FunctionTable' a)

Methods

fold :: Monoid m => FunctionTable' a m -> m

foldMap :: Monoid m => (a -> m) -> FunctionTable' a a -> m

foldr :: (a -> b -> b) -> b -> FunctionTable' a a -> b

foldr' :: (a -> b -> b) -> b -> FunctionTable' a a -> b

foldl :: (b -> a -> b) -> b -> FunctionTable' a a -> b

foldl' :: (b -> a -> b) -> b -> FunctionTable' a a -> b

foldr1 :: (a -> a -> a) -> FunctionTable' a a -> a

foldl1 :: (a -> a -> a) -> FunctionTable' a a -> a

toList :: FunctionTable' a a -> [a]

null :: FunctionTable' a a -> Bool

length :: FunctionTable' a a -> Int

elem :: Eq a => a -> FunctionTable' a a -> Bool

maximum :: Ord a => FunctionTable' a a -> a

minimum :: Ord a => FunctionTable' a a -> a

sum :: Num a => FunctionTable' a a -> a

product :: Num a => FunctionTable' a a -> a

Traversable (FunctionTable' a)

Methods

traverse :: Applicative f => (a -> f b) -> FunctionTable' a a -> f (FunctionTable' a b)

sequenceA :: Applicative f => FunctionTable' a (f a) -> f (FunctionTable' a a)

mapM :: Monad m => (a -> m b) -> FunctionTable' a a -> m (FunctionTable' a b)

sequence :: Monad m => FunctionTable' a (m a) -> m (FunctionTable' a a)

(Eq a, Eq b) => Eq (FunctionTable' a b)

Methods

(==) :: FunctionTable' a b -> FunctionTable' a b -> Bool

(/=) :: FunctionTable' a b -> FunctionTable' a b -> Bool

(Show a, Show b) => Show (FunctionTable' a b)

Methods

showsPrec :: Int -> FunctionTable' a b -> ShowS

show :: FunctionTable' a b -> String

showList :: [FunctionTable' a b] -> ShowS

(Render a, Render b) => Render (FunctionTable' a b)

Methods

render :: FunctionTable' a b -> Text

type TableCells a = TableCells' a a

type FunctionTable a = FunctionTable' a a

newtype Rows

Constructors

Rows Int

Instances

Eq Rows

Methods

(==) :: Rows -> Rows -> Bool

(/=) :: Rows -> Rows -> Bool

Num Rows

Methods

(+) :: Rows -> Rows -> Rows

(-) :: Rows -> Rows -> Rows

(*) :: Rows -> Rows -> Rows

negate :: Rows -> Rows

abs :: Rows -> Rows

signum :: Rows -> Rows

fromInteger :: Integer -> Rows

Ord Rows

Methods

compare :: Rows -> Rows -> Ordering

(<) :: Rows -> Rows -> Bool

(<=) :: Rows -> Rows -> Bool

(>) :: Rows -> Rows -> Bool

(>=) :: Rows -> Rows -> Bool

max :: Rows -> Rows -> Rows

min :: Rows -> Rows -> Rows

Show Rows

Methods

showsPrec :: Int -> Rows -> ShowS

show :: Rows -> String

showList :: [Rows] -> ShowS

HasHeight Heading Rows

Methods

height :: Lens' Heading Rows

newtype Cols

Constructors

Cols Int

Instances

Eq Cols

Methods

(==) :: Cols -> Cols -> Bool

(/=) :: Cols -> Cols -> Bool

Num Cols

Methods

(+) :: Cols -> Cols -> Cols

(-) :: Cols -> Cols -> Cols

(*) :: Cols -> Cols -> Cols

negate :: Cols -> Cols

abs :: Cols -> Cols

signum :: Cols -> Cols

fromInteger :: Integer -> Cols

Ord Cols

Methods

compare :: Cols -> Cols -> Ordering

(<) :: Cols -> Cols -> Bool

(<=) :: Cols -> Cols -> Bool

(>) :: Cols -> Cols -> Bool

(>=) :: Cols -> Cols -> Bool

max :: Cols -> Cols -> Cols

min :: Cols -> Cols -> Cols

Show Cols

Methods

showsPrec :: Int -> Cols -> ShowS

show :: Cols -> String

showList :: [Cols] -> ShowS

HasWidth Heading Cols

Methods

width :: Lens' Heading Cols

HasWidth Filler Cols

Methods

width :: Lens' Filler Cols

HasWidth Cols Cols

Methods

width :: Lens' Cols Cols

data Row a

Constructors

Row [Either Filler Heading] a

Instances

Functor Row

Methods

fmap :: (a -> b) -> Row a -> Row b

(<$) :: a -> Row b -> Row a

Foldable Row

Methods

fold :: Monoid m => Row m -> m

foldMap :: Monoid m => (a -> m) -> Row a -> m

foldr :: (a -> b -> b) -> b -> Row a -> b

foldr' :: (a -> b -> b) -> b -> Row a -> b

foldl :: (b -> a -> b) -> b -> Row a -> b

foldl' :: (b -> a -> b) -> b -> Row a -> b

foldr1 :: (a -> a -> a) -> Row a -> a

foldl1 :: (a -> a -> a) -> Row a -> a

toList :: Row a -> [a]

null :: Row a -> Bool

length :: Row a -> Int

elem :: Eq a => a -> Row a -> Bool

maximum :: Ord a => Row a -> a

minimum :: Ord a => Row a -> a

sum :: Num a => Row a -> a

product :: Num a => Row a -> a

Traversable Row

Methods

traverse :: Applicative f => (a -> f b) -> Row a -> f (Row b)

sequenceA :: Applicative f => Row (f a) -> f (Row a)

mapM :: Monad m => (a -> m b) -> Row a -> m (Row b)

sequence :: Monad m => Row (m a) -> m (Row a)

Eq a => Eq (Row a)

Methods

(==) :: Row a -> Row a -> Bool

(/=) :: Row a -> Row a -> Bool

Show a => Show (Row a)

Methods

showsPrec :: Int -> Row a -> ShowS

show :: Row a -> String

showList :: [Row a] -> ShowS

data Filler

Constructors

Filler

Fields

• _fillerWidth :: Cols
• _fillerIsLast :: Bool

Instances

Eq Filler

Methods

(==) :: Filler -> Filler -> Bool

(/=) :: Filler -> Filler -> Bool

Show Filler

Methods

showsPrec :: Int -> Filler -> ShowS

show :: Filler -> String

showList :: [Filler] -> ShowS

HasWidth Filler Cols

Methods

width :: Lens' Filler Cols

HasIsLast Filler Bool

Methods

isLast :: Lens' Filler Bool

data Heading

Constructors

Heading

Fields

• _title :: LaTeX
• _headingHeight :: Rows
• _headingWidth :: Cols
• _headingIsLast :: Bool

Instances

Eq Heading

Methods

(==) :: Heading -> Heading -> Bool

(/=) :: Heading -> Heading -> Bool

Show Heading

Methods

showsPrec :: Int -> Heading -> ShowS

show :: Heading -> String

showList :: [Heading] -> ShowS

HasWidth Heading Cols

Methods

width :: Lens' Heading Cols

HasIsLast Heading Bool

Methods

isLast :: Lens' Heading Bool

HasHeight Heading Rows

Methods

height :: Lens' Heading Rows

_Condition :: forall a b a. Prism (TableCells' a b) (TableCells' a b) (Cols, NonEmpty (a, TableCells' a b)) (Cols, NonEmpty (a, TableCells' a b))

_Cell :: forall a b. Prism' (TableCells' a b) b

class HasHeight s a | s -> a where