% % Some utilities for formatting (extended) lambda calculus and % transformations. % \startuseMPgraphic{HLine} path a, b; % Create a rectangle of the full size a := origin -- (\MPvar{width}, 0mm); % Randomize it a bit b := a randomized (\overlaywidth / 50) ; % And draw it drawoptions (withpen pencircle scaled .75mm withcolor black) ; draw b; \stopuseMPgraphic % Draw a line with the given options. Accepts only the 'width' option. Be % careful that these are metapost options, so use \the\textwidth instead of % textwidth, and a metapost expression for arithmethic (e.g. 0.5 * % \the\textwidth instead of 0.5\textwidth). \def\HLine[#1]% {\setupMPvariables[HLine][#1]% \useMPgraphic{HLine}} \startuseMPgraphic{HDLine} path a, b; % Create a rectangle of the full size a := origin -- (\MPvar{width}, 0mm); % Randomize it a bit b := a randomized (\overlaywidth / 100) ; % And draw it drawoptions (withpen pencircle scaled .75mm withcolor black dashed evenly) ; draw b; \stopuseMPgraphic % Draw a line with the given options. Accepts only the 'width' option. Be % careful that these are metapost options, so use \the\textwidth instead of % textwidth, and a metapost expression for arithmethic (e.g. 0.5 * % \the\textwidth instead of 0.5\textwidth). \def\HDLine[#1]% {\setupMPvariables[HDLine][#1]% \useMPgraphic{HDLine}} \startuseMPgraphic{box} path a, b; % Create a rectangle of the full size a := unitsquare xyscaled(\overlaywidth,\overlayheight); % Randomize it a bit b := a randomized (min(\overlayheight, \overlaywidth) / 25) ; % And draw it drawoptions (withpen pencircle scaled .75mm withcolor black) ; draw b; \stopuseMPgraphic \defineoverlay[box][\useMPgraphic{box}] % Define \{start,stop}boxed with a nice metapost box around it. \defineframedtext[boxed][width=fit,background=box,frame=off] % Install the lambda calculus pretty-printer, as defined in pret-lam.lua. \installprettytype [LAM] [LAM] % Define \startlambda \stoplambda \definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed] % Define \lam{} (since \lambda is taken) \definetype[lam][option=LAM,style=sans] % Install the transformation pretty-printer, as defined in pret-trans.lua. \installprettytype [TRANS] [TRANS] % Define \starttrans \stoptrans \definetyping[trans][option=TRANS,style=normal,before=\startboxed,after=\stopboxed] % Install the haskell pretty-printer, as defined in pret-haskell.lua. \installprettytype [HASKELL] [HASKELL] % Define \starthaskell \stophaskell \definetyping[haskell][option=HASKELL,before=\startboxed,after=\stopboxed] % Define \hs \definetype[hs][option=HASKELL,style=mono] % Type the given buffer with the lambda typing style. % e.g., \typebufferlam{buffname} \define[1]\typebufferlam{ % We can't use \startlambda here defined by definetyping[lambda] above when % typing buffers, so instead we'll redfine the options here. \setuptyping[option=LAM,style=sans,before=,after=] \startboxed \typebuffer[#1] \stopboxed % Reset the typing options \setuptyping[option=none,style=\tttf] } % Type the given buffer with the haskell typing style. % e.g., \typebufferhs{buffname} \define[1]\typebufferhs{ % We can't use \startlambda here defined by definetyping[lambda] above when % typing buffers, so instead we'll redfine the options here. \setuptyping[option=HASKELL,style=mono] \startboxed \typebuffer[#1] \stopboxed % Reset the typing options \setuptyping[option=none,style=\tttf] } % Display a useMPgraphic in a pretty box \define[1]\boxedgraphic{ \startboxed \useMPgraphic{#1} \stopboxed } % Define a "definition" float. We would like some more backgroundoffset, but % this offset doesn't move the caption, causing the border to cross the % caption... Also, centering the content didn't seem to work... % TODO: Make more pretty. \definefloat[definition][definitions] \setupfloat[definition][background=box,backgroundoffset=1mm] % Define an "example" float. Don't add box around it, since an example will % commonly contain two boxed items (Before / after, code / picture). \definefloat[example][examples] \setupcaption[example][location=top] % Put captions on top