Utils/Lambda.tex

   1 %
   2 % Some utilities for formatting (extended) lambda calculus and
   3 % transformations.
   4 %
   5
   6 \startuseMPgraphic{HLine}
   7 path a, b;
   8 % Create a rectangle of the full size
   9 a := origin -- (\MPvar{width}, 0mm);
  10 % Randomize it a bit
  11 b := a randomized (\overlaywidth / 50) ;
  12 % And draw it
  13 drawoptions (withpen pencircle scaled .75mm withcolor black) ;
  14 draw b;
  15 \stopuseMPgraphic
  16
  17 % Draw a line with the given options. Accepts only the 'width' option. Be
  18 % careful that these are metapost options, so use \the\textwidth instead of
  19 % textwidth, and a metapost expression for arithmethic (e.g. 0.5 *
  20 % \the\textwidth instead of 0.5\textwidth).
  21 \def\HLine[#1]%
  22   {\setupMPvariables[HLine][#1]%
  23   \useMPgraphic{HLine}}
  24
  25 \startuseMPgraphic{HDLine}
  26 path a, b;
  27 % Create a rectangle of the full size
  28 a := origin -- (\MPvar{width}, 0mm);
  29 % Randomize it a bit
  30 b := a randomized (\overlaywidth / 100) ;
  31 % And draw it
  32 drawoptions (withpen pencircle scaled .75mm withcolor black dashed evenly) ;
  33 draw b;
  34 \stopuseMPgraphic
  35
  36 % Draw a line with the given options. Accepts only the 'width' option. Be
  37 % careful that these are metapost options, so use \the\textwidth instead of
  38 % textwidth, and a metapost expression for arithmethic (e.g. 0.5 *
  39 % \the\textwidth instead of 0.5\textwidth).
  40 \def\HDLine[#1]%
  41   {\setupMPvariables[HDLine][#1]%
  42   \useMPgraphic{HDLine}}
  43
  44 \startuseMPgraphic{box}
  45 path a, b;
  46 % Create a rectangle of the full size
  47 a := unitsquare xyscaled(\overlaywidth,\overlayheight);
  48 % Randomize it a bit
  49 b := a randomized (min(\overlayheight, \overlaywidth) / 25) ;
  50 % And draw it
  51 drawoptions (withpen pencircle scaled .75mm withcolor black) ;
  52 draw b;
  53 \stopuseMPgraphic
  54
  55 \defineoverlay[box][\useMPgraphic{box}]
  56
  57 % Define \{start,stop}boxed with a nice metapost box around it.
  58 \defineframedtext[boxed][width=fit,background=box,frame=off]
  59
  60 % Install the lambda calculus pretty-printer, as defined in pret-lam.lua.
  61 \installprettytype [LAM] [LAM]
  62 % Define \startlambda \stoplambda
  63 \definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed]
  64
  65 % Define \lam{} (since \lambda is taken)
  66 \definetype[lam][option=LAM,style=sans]
  67
  68 % Install the transformation pretty-printer, as defined in pret-trans.lua.
  69 \installprettytype [TRANS] [TRANS]
  70 % Define \starttrans \stoptrans
  71 \definetyping[trans][option=TRANS,style=normal,before=\startboxed,after=\stopboxed]
  72
  73 % Install the haskell pretty-printer, as defined in pret-haskell.lua.
  74 \installprettytype [HASKELL] [HASKELL]
  75 % Define \starthaskell \stophaskell
  76 \definetyping[haskell][option=HASKELL,before=\startboxed,after=\stopboxed]
  77 % Define \hs
  78 \definetype[hs][option=HASKELL,style=mono]
  79
  80 % Type the given buffer with the lambda typing style.
  81 % e.g., \typebufferlam{buffname}
  82 \define[1]\typebufferlam{
  83   % We can't use \startlambda here defined by definetyping[lambda] above when
  84   % typing buffers, so instead we'll redfine the options here.
  85   \setuptyping[option=LAM,style=sans,before=,after=]
  86   \startboxed
  87   \typebuffer[#1]
  88   \stopboxed
  89   % Reset the typing options
  90   \setuptyping[option=none,style=\tttf]
  91 }
  92
  93 % Display a useMPgraphic in a pretty box
  94 \define[1]\boxedgraphic{
  95   \startboxed
  96   \useMPgraphic{#1}
  97   \stopboxed
  98 }
  99
 100 % Define a "definition" float. We would like some more backgroundoffset, but
 101 % this offset doesn't move the caption, causing the border to cross the
 102 % caption... Also, centering the content didn't seem to work...
 103 % TODO: Make more pretty.
 104 \definefloat[definition][definitions]
 105 \setupfloat[definition][background=box,backgroundoffset=1mm]