test/lhs-test.latex · typeable/pandoc

git.iko.soy/typeable/pandoc

on 2.14.0.3 help sign in

typeable/pandoc/test/lhs-test.latex

121 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\author{}

8\date{}

10\usepackage{amsmath,amssymb}

11\usepackage{lmodern}

12\usepackage{iftex}

13\ifPDFTeX

14 \usepackage[T1]{fontenc}

15 \usepackage[utf8]{inputenc}

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

17\else % if luatex or xetex

18 \usepackage{unicode-math}

19 \defaultfontfeatures{Scale=MatchLowercase}

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

21\fi

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

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

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

25 \usepackage[]{microtype}

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

27}{}

28\makeatletter

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

30 \IfFileExists{parskip.sty}{%

31 \usepackage{parskip}

32 }{% else

33 \setlength{\parindent}{0pt}

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

35}{% if KOMA class

36 \KOMAoptions{parskip=half}}

37\makeatother

38\usepackage{xcolor}

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

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

41\hypersetup{

42 hidelinks,

43 pdfcreator={LaTeX via pandoc}}

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

45\usepackage{color}

46\usepackage{fancyvrb}

47\newcommand{\VerbBar}{|}

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

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

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

51\newenvironment{Shaded}{}{}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

84\providecommand{\tightlist}{%

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

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

87\ifLuaTeX

88 \usepackage{selnolig} % disable illegal ligatures

89\fi

91\begin{document}

93\hypertarget{lhs-test}{%

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

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

97return a single value:

99\begin{Shaded}

100\begin{Highlighting}[]

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

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

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

104\end{Highlighting}

105\end{Shaded}

106

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

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

109second item of the pair).

110

111\begin{verbatim}

112f *** g = first f >>> second g

113\end{verbatim}