test/lhs-test.latex · typeable/pandoc

git.iko.soy/typeable/pandoc

on rc/2.9.2-1 help sign in

typeable/pandoc/test/lhs-test.latex

118 lines 4.9 kB history raw

1% Options for packages loaded elsewhere

2\PassOptionsToPackage{unicode}{hyperref}

3\PassOptionsToPackage{hyphens}{url}

5\documentclass[

6]{article}

7\usepackage{lmodern}

8\usepackage{amssymb,amsmath}

9\usepackage{ifxetex,ifluatex}

10\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex

11 \usepackage[T1]{fontenc}

12 \usepackage[utf8]{inputenc}

13 \usepackage{textcomp} % provide euro and other symbols

14\else % if luatex or xetex

15 \usepackage{unicode-math}

16 \defaultfontfeatures{Scale=MatchLowercase}

17 \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}

18\fi

19% Use upquote if available, for straight quotes in verbatim environments

20\IfFileExists{upquote.sty}{\usepackage{upquote}}{}

21\IfFileExists{microtype.sty}{% use microtype if available

22 \usepackage[]{microtype}

23 \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts

24}{}

25\makeatletter

26\@ifundefined{KOMAClassName}{% if non-KOMA class

27 \IfFileExists{parskip.sty}{%

28 \usepackage{parskip}

29 }{% else

30 \setlength{\parindent}{0pt}

31 \setlength{\parskip}{6pt plus 2pt minus 1pt}}

32}{% if KOMA class

33 \KOMAoptions{parskip=half}}

34\makeatother

35\usepackage{xcolor}

36\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available

37\IfFileExists{bookmark.sty}{\usepackage{bookmark}}{\usepackage{hyperref}}

38\hypersetup{

39 hidelinks,

40 pdfcreator={LaTeX via pandoc}}

41\urlstyle{same} % disable monospaced font for URLs

42\usepackage{color}

43\usepackage{fancyvrb}

44\newcommand{\VerbBar}{|}

45\newcommand{\VERB}{\Verb[commandchars=\\\{\}]}

46\DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\}}

47% Add ',fontsize=\small' for more characters per line

48\newenvironment{Shaded}{}{}

49\newcommand{\AlertTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}

50\newcommand{\AnnotationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}

51\newcommand{\AttributeTok}[1]{\textcolor[rgb]{0.49,0.56,0.16}{#1}}

52\newcommand{\BaseNTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}

53\newcommand{\BuiltInTok}[1]{#1}

54\newcommand{\CharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}

55\newcommand{\CommentTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textit{#1}}}

56\newcommand{\CommentVarTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}

57\newcommand{\ConstantTok}[1]{\textcolor[rgb]{0.53,0.00,0.00}{#1}}

58\newcommand{\ControlFlowTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}

59\newcommand{\DataTypeTok}[1]{\textcolor[rgb]{0.56,0.13,0.00}{#1}}

60\newcommand{\DecValTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}

61\newcommand{\DocumentationTok}[1]{\textcolor[rgb]{0.73,0.13,0.13}{\textit{#1}}}

62\newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}

63\newcommand{\ExtensionTok}[1]{#1}

64\newcommand{\FloatTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}

65\newcommand{\FunctionTok}[1]{\textcolor[rgb]{0.02,0.16,0.49}{#1}}

66\newcommand{\ImportTok}[1]{#1}

67\newcommand{\InformationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}

68\newcommand{\KeywordTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}

69\newcommand{\NormalTok}[1]{#1}

70\newcommand{\OperatorTok}[1]{\textcolor[rgb]{0.40,0.40,0.40}{#1}}

71\newcommand{\OtherTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{#1}}

72\newcommand{\PreprocessorTok}[1]{\textcolor[rgb]{0.74,0.48,0.00}{#1}}

73\newcommand{\RegionMarkerTok}[1]{#1}

74\newcommand{\SpecialCharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}

75\newcommand{\SpecialStringTok}[1]{\textcolor[rgb]{0.73,0.40,0.53}{#1}}

76\newcommand{\StringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}

77\newcommand{\VariableTok}[1]{\textcolor[rgb]{0.10,0.09,0.49}{#1}}

78\newcommand{\VerbatimStringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}

79\newcommand{\WarningTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}

80\setlength{\emergencystretch}{3em} % prevent overfull lines

81\providecommand{\tightlist}{%

82 \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}

83\setcounter{secnumdepth}{-\maxdimen} % remove section numbering

85\author{}

86\date{}

88\begin{document}

90\hypertarget{lhs-test}{%

91\section{lhs test}\label{lhs-test}}

93\texttt{unsplit} is an arrow that takes a pair of values and combines them to

94return a single value:

96\begin{Shaded}

97\begin{Highlighting}[]

98\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=\textgreater{}}\NormalTok{ (b }\OtherTok{{-}\textgreater{}}\NormalTok{ c }\OtherTok{{-}\textgreater{}}\NormalTok{ d) }\OtherTok{{-}\textgreater{}}\NormalTok{ a (b, c) d}

99\NormalTok{unsplit }\OtherTok{=}\NormalTok{ arr }\OperatorTok{.} \FunctionTok{uncurry}

100 \CommentTok{{-}{-} arr (\textbackslash{}op (x,y) {-}\textgreater{} x \textasciigrave{}op\textasciigrave{} y)}

101\end{Highlighting}

102\end{Shaded}

103

104\texttt{(***)} combines two arrows into a new arrow by running the two arrows on a

105pair of values (one arrow on the first item of the pair and one arrow on the

106second item of the pair).

107

108\begin{verbatim}

109f *** g = first f >>> second g

110\end{verbatim}