git.iko.soy/typeable/pandoc
on 2.0.6 help sign in
typeable/pandoc/test/lhs-test.latex
125 lines 4.9 kB history raw
1\PassOptionsToPackage{unicode=true}{hyperref} % options for packages loaded elsewhere
2\PassOptionsToPackage{hyphens}{url}
3%
4\documentclass[]{article}
5\usepackage{lmodern}
6\usepackage{amssymb,amsmath}
7\usepackage{ifxetex,ifluatex}
8\usepackage{fixltx2e} % provides \textsubscript
9\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex
10 \usepackage[T1]{fontenc}
11 \usepackage[utf8]{inputenc}
12 \usepackage{textcomp} % provides euro and other symbols
13\else % if luatex or xelatex
14 \usepackage{unicode-math}
15 \defaultfontfeatures{Ligatures=TeX,Scale=MatchLowercase}
16\fi
17% use upquote if available, for straight quotes in verbatim environments
18\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
19% use microtype if available
20\IfFileExists{microtype.sty}{%
21\usepackage[]{microtype}
22\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
23}{}
24\IfFileExists{parskip.sty}{%
25\usepackage{parskip}
26}{% else
27\setlength{\parindent}{0pt}
28\setlength{\parskip}{6pt plus 2pt minus 1pt}
30\usepackage{hyperref}
31\hypersetup{
32 pdfborder={0 0 0},
33 breaklinks=true}
34\urlstyle{same} % don't use monospace font for urls
35\usepackage{color}
36\usepackage{fancyvrb}
37\newcommand{\VerbBar}{|}
38\newcommand{\VERB}{\Verb[commandchars=\\\{\}]}
39\DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\}}
40% Add ',fontsize=\small' for more characters per line
41\newenvironment{Shaded}{}{}
42\newcommand{\AlertTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
43\newcommand{\AnnotationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
44\newcommand{\AttributeTok}[1]{\textcolor[rgb]{0.49,0.56,0.16}{#1}}
45\newcommand{\BaseNTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
46\newcommand{\BuiltInTok}[1]{#1}
47\newcommand{\CharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
48\newcommand{\CommentTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textit{#1}}}
49\newcommand{\CommentVarTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
50\newcommand{\ConstantTok}[1]{\textcolor[rgb]{0.53,0.00,0.00}{#1}}
51\newcommand{\ControlFlowTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}
52\newcommand{\DataTypeTok}[1]{\textcolor[rgb]{0.56,0.13,0.00}{#1}}
53\newcommand{\DecValTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
54\newcommand{\DocumentationTok}[1]{\textcolor[rgb]{0.73,0.13,0.13}{\textit{#1}}}
55\newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
56\newcommand{\ExtensionTok}[1]{#1}
57\newcommand{\FloatTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
58\newcommand{\FunctionTok}[1]{\textcolor[rgb]{0.02,0.16,0.49}{#1}}
59\newcommand{\ImportTok}[1]{#1}
60\newcommand{\InformationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
61\newcommand{\KeywordTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}
62\newcommand{\NormalTok}[1]{#1}
63\newcommand{\OperatorTok}[1]{\textcolor[rgb]{0.40,0.40,0.40}{#1}}
64\newcommand{\OtherTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{#1}}
65\newcommand{\PreprocessorTok}[1]{\textcolor[rgb]{0.74,0.48,0.00}{#1}}
66\newcommand{\RegionMarkerTok}[1]{#1}
67\newcommand{\SpecialCharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
68\newcommand{\SpecialStringTok}[1]{\textcolor[rgb]{0.73,0.40,0.53}{#1}}
69\newcommand{\StringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
70\newcommand{\VariableTok}[1]{\textcolor[rgb]{0.10,0.09,0.49}{#1}}
71\newcommand{\VerbatimStringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
72\newcommand{\WarningTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
73\setlength{\emergencystretch}{3em} % prevent overfull lines
74\providecommand{\tightlist}{%
75 \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
76\setcounter{secnumdepth}{0}
77% Redefines (sub)paragraphs to behave more like sections
78\ifx\paragraph\undefined\else
79\let\oldparagraph\paragraph
80\renewcommand{\paragraph}[1]{\oldparagraph{#1}\mbox{}}
81\fi
82\ifx\subparagraph\undefined\else
83\let\oldsubparagraph\subparagraph
84\renewcommand{\subparagraph}[1]{\oldsubparagraph{#1}\mbox{}}
85\fi
87% set default figure placement to htbp
88\makeatletter
89\def\fps@figure{htbp}
90\makeatother
93\date{}
95\begin{document}
97\hypertarget{lhs-test}{%
98\section{lhs test}\label{lhs-test}}
100\texttt{unsplit} is an arrow that takes a pair of values and combines them to
101return a single value:
103\begin{Shaded}
104\begin{Highlighting}[]
105\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=>}\NormalTok{ (b }\OtherTok{->}\NormalTok{ c }\OtherTok{->}\NormalTok{ d) }\OtherTok{->}\NormalTok{ a (b, c) d}
106\NormalTok{unsplit }\FunctionTok{=}\NormalTok{ arr }\FunctionTok{.}\NormalTok{ uncurry}
107 \CommentTok{-- arr (\textbackslash{}op (x,y) -> x `op` y)}
108\end{Highlighting}
109\end{Shaded}
111\texttt{(***)} combines two arrows into a new arrow by running the two arrows on a
112pair of values (one arrow on the first item of the pair and one arrow on the
113second item of the pair).
115\begin{verbatim}
116f *** g = first f >>> second g
117\end{verbatim}
119Block quote:
121\begin{quote}
122foo bar
123\end{quote}
125\end{document}