test/lhs-test.latex · typeable/pandoc

git.iko.soy/typeable/pandoc

on rc/2.11.0.3 help sign in

typeable/pandoc/test/lhs-test.latex

122 lines 5.0 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{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 \usepackage{amssymb}

15\else % if luatex or xetex

16 \usepackage{unicode-math}

17 \defaultfontfeatures{Scale=MatchLowercase}

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

19\fi

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

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

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

23 \usepackage[]{microtype}

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

25}{}

26\makeatletter

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

28 \IfFileExists{parskip.sty}{%

29 \usepackage{parskip}

30 }{% else

31 \setlength{\parindent}{0pt}

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

33}{% if KOMA class

34 \KOMAoptions{parskip=half}}

35\makeatother

36\usepackage{xcolor}

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

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

39\hypersetup{

40 hidelinks,

41 pdfcreator={LaTeX via pandoc}}

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

43\usepackage{color}

44\usepackage{fancyvrb}

45\newcommand{\VerbBar}{|}

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

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

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

49\newenvironment{Shaded}{}{}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

82\providecommand{\tightlist}{%

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

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

85\ifluatex

86 \usepackage{selnolig} % disable illegal ligatures

87\fi

89\author{}

90\date{}

92\begin{document}

94\hypertarget{lhs-test}{%

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

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

98return a single value:

100\begin{Shaded}

101\begin{Highlighting}[]

102\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}

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

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

105\end{Highlighting}

106\end{Shaded}

107

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

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

110second item of the pair).

111

112\begin{verbatim}

113f *** g = first f >>> second g

114\end{verbatim}