latex-function-tables-0.1.0.0: Function table specifications in latex
Safe HaskellNone
LanguageHaskell2010

Text.LaTeX.Internal.FunctionTable

Documentation

data LaTeXLI Source #

Constructors

LaTeXLI SrcLoc String 

Instances

Instances details
Render LaTeXLI Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

render :: LaTeXLI -> Text #

renderBuilder :: LaTeXLI -> Builder #

Show LaTeXLI Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

showsPrec :: Int -> LaTeXLI -> ShowS #

show :: LaTeXLI -> String #

showList :: [LaTeXLI] -> ShowS #

Eq LaTeXLI Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

data TableCells' a b Source #

Constructors

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

Instances

Instances details
Bifoldable TableCells' Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

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 #

Bifunctor TableCells' Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

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' Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

Foldable (TableCells' a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

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

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

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

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

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

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

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

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

null :: TableCells' a a0 -> Bool #

length :: TableCells' a a0 -> Int #

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

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

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

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

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

Traversable (TableCells' a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

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

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

Functor (TableCells' a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

(Show b, Show a) => Show (TableCells' a b) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

show :: TableCells' a b -> String #

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

(Eq b, Eq a) => Eq (TableCells' a b) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

data FunctionTable' a b Source #

Constructors

Table b (TableCells' a b) 

Instances

Instances details
Bifoldable FunctionTable' Source # 
Instance details

Defined in Text.LaTeX.Internal.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 #

Bifunctor FunctionTable' Source # 
Instance details

Defined in Text.LaTeX.Internal.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' Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

Foldable (FunctionTable' a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

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

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

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

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

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

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

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

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

null :: FunctionTable' a a0 -> Bool #

length :: FunctionTable' a a0 -> Int #

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

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

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

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

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

Traversable (FunctionTable' a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

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

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

Functor (FunctionTable' a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

(Render a, Render b) => Render (FunctionTable' a b) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

render :: FunctionTable' a b -> Text #

renderBuilder :: FunctionTable' a b -> Builder #

(Show b, Show a) => Show (FunctionTable' a b) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

show :: FunctionTable' a b -> String #

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

(Eq b, Eq a) => Eq (FunctionTable' a b) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

type TableCells a = TableCells' a a Source #

type FunctionTable a = FunctionTable' a a Source #

newtype Rows Source #

Constructors

Rows Int 

Instances

Instances details
Num Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

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

negate :: Rows -> Rows #

abs :: Rows -> Rows #

signum :: Rows -> Rows #

fromInteger :: Integer -> Rows #

Show Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

showsPrec :: Int -> Rows -> ShowS #

show :: Rows -> String #

showList :: [Rows] -> ShowS #

Eq Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

Ord Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

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 #

HasHeight Heading Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

height :: Lens' Heading Rows Source #

newtype Cols Source #

Constructors

Cols Int 

Instances

Instances details
Num Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

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

negate :: Cols -> Cols #

abs :: Cols -> Cols #

signum :: Cols -> Cols #

fromInteger :: Integer -> Cols #

Show Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

showsPrec :: Int -> Cols -> ShowS #

show :: Cols -> String #

showList :: [Cols] -> ShowS #

Eq Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

Ord Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

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 #

HasWidth Cols Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Cols Cols Source #

HasWidth Filler Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Filler Cols Source #

HasWidth Heading Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Heading Cols Source #

data Row a Source #

Constructors

Row [Either Filler Heading] a 

Instances

Instances details
Foldable Row Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

foldMap :: Monoid m => (a -> m) -> Row a -> 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 Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

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) #

Functor Row Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

Show a => Show (Row a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

showsPrec :: Int -> Row a -> ShowS #

show :: Row a -> String #

showList :: [Row a] -> ShowS #

Eq a => Eq (Row a) Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

data Filler Source #

Constructors

Filler 

Fields

Instances

Instances details
Show Filler Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

showsPrec :: Int -> Filler -> ShowS #

show :: Filler -> String #

showList :: [Filler] -> ShowS #

Eq Filler Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

HasIsLast Filler Bool Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

isLast :: Lens' Filler Bool Source #

HasWidth Filler Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Filler Cols Source #

data Heading Source #

Constructors

Heading 

Fields

Instances

Instances details
Show Heading Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

showsPrec :: Int -> Heading -> ShowS #

show :: Heading -> String #

showList :: [Heading] -> ShowS #

Eq Heading Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

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

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

HasHeight Heading Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

height :: Lens' Heading Rows Source #

HasIsLast Heading Bool Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

isLast :: Lens' Heading Bool Source #

HasWidth Heading Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Heading Cols Source #

_Cell :: forall a b p f. (Choice p, Applicative f) => p b (f b) -> p (TableCells' a b) (f (TableCells' a b)) Source #

_Condition :: forall a1 b a2 p f. (Choice p, Applicative f) => p (Cols, NonEmpty (a1, TableCells' a1 b)) (f (Cols, NonEmpty (a2, TableCells' a2 b))) -> p (TableCells' a1 b) (f (TableCells' a2 b)) Source #

class HasWidth s a | s -> a where Source #

Methods

width :: Lens' s a Source #

Instances

Instances details
HasWidth Cols Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Cols Cols Source #

HasWidth Filler Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Filler Cols Source #

HasWidth Heading Cols Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' Heading Cols Source #

(HasWidth a c, HasWidth b c) => HasWidth (Either a b) c Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

width :: Lens' (Either a b) c Source #

class HasIsLast s a | s -> a where Source #

Methods

isLast :: Lens' s a Source #

Instances

Instances details
HasIsLast Filler Bool Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

isLast :: Lens' Filler Bool Source #

HasIsLast Heading Bool Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

isLast :: Lens' Heading Bool Source #

class HasHeight s a | s -> a where Source #

Methods

height :: Lens' s a Source #

Instances

Instances details
HasHeight Heading Rows Source # 
Instance details

Defined in Text.LaTeX.Internal.FunctionTable

Methods

height :: Lens' Heading Rows Source #

type Pre = ?loc :: CallStack Source #

subtables :: forall a b f. Applicative f => ((a, TableCells' a b) -> f (a, TableCells' a b)) -> TableCells' a b -> f (TableCells' a b) Source #

isubtables :: forall a b p f. (Indexable Int p, Applicative f) => p (a, TableCells' a b) (f (a, TableCells' a b)) -> TableCells' a b -> f (TableCells' a b) Source #

type M a = WriterT [(a, TableCells a)] Maybe Source #

makeTable :: Pre => String -> M LaTeXLI () -> FunctionTable LaTeXLI Source #

cell :: Pre => String -> String -> M LaTeXLI () Source #

branch :: Pre => String -> M LaTeXLI () -> M LaTeXLI () Source #

depth :: TableCells' a b -> Int Source #

witdth :: TableCells' a b -> Int Source #

columnSpecOf :: TableCells' a b -> [TableSpec] Source #

rowToLatex :: Render a => Cols -> Row a -> LaTeX Source #

texFunctionTable :: (Render a, Render b) => FunctionTable' a b -> LaTeX Source #

multirow :: LaTeXC l => Int -> l -> l Source #

rows :: Lens' Heading Rows Source #

cols :: Lens' Heading Cols Source #

condition :: Rows -> Cols -> LaTeX -> NonEmpty LaTeX Source #

makeLast :: Heading -> Heading Source #

addHeading :: Heading -> Row a -> Row a Source #

addMargin :: Cols -> Row a -> Row a Source #

addLastMargin :: Cols -> Row a -> Row a Source #

mapNonEmpty :: (a -> b) -> ([a] -> [b]) -> NonEmpty a -> NonEmpty b Source #

texFunctionTableRows :: Render a => TableCells' a b -> NonEmpty (Row b) Source #