lstlanghaskell.sty

   1 \lstdefinestyle{haskell}{%
   2         language=Haskell,
   3         deletekeywords={%
   4                 Applicative,%
   5                 Bool,%
   6                 Char,%
   7                 Double,%
   8                 Either,%
   9                 Eq,%
  10                 False,%
  11                 Float,%
  12                 Fractional,%
  13                 Functor,%
  14                 Int,%
  15                 Integer,%
  16                 Just,%
  17                 Left,%
  18                 List,%
  19                 Maybe,%
  20                 Monad,%
  21                 Nothing,%
  22                 Num,%
  23                 Right,%
  24                 Show,%
  25                 String,%
  26                 True,%
  27                 concatMap,%
  28                 const,%
  29                 div,%
  30                 error,%
  31                 fail,%
  32                 foldM,%
  33                 foldl,%
  34                 foldr,%
  35                 fst,%
  36                 id,%
  37                 length,%
  38                 map,%
  39                 mapM,%
  40                 pred,%
  41                 print,%
  42                 product,%
  43                 sequence,%
  44                 show,%
  45                 snd,%
  46                 sum,%
  47                 uncurry,%
  48                 undefined,%
  49                 unwords,%
  50                 unzip,%
  51                 zip,%
  52                 zipWith,%
  53                 }
  54         morekeywords={forall,Q},
  55         literate=%
  56                 {forall}{{$\forall$}}1
  57                 {\_}{{\raisebox{.15ex}{\_}}}1
  58                 {~}{{\raisebox{-.6ex}{\textasciitilde}}}1
  59                 {\\}{{$\lambda\:$}}1
  60                 {->}{{$\shortrightarrow$}}2
  61                 {<-}{{$\shortleftarrow$}}2
  62                 {=>}{{$\Rightarrow$}}2
  63                 {<=}{{$\Leftarrow$}}2
  64                 {...}{{$\cdots$}}3 %chktex 11
  65                 {\[p|}{{$\llbracket_p$}}2
  66                 {\[d|}{{$\llbracket_d$}}2
  67                 {\[t|}{{$\llbracket_t$}}2
  68                 {\[e|}{{$\llbracket_e$}}2
  69                 {\[dsl|}{{$\llbracket_{dsl}$}}4
  70                 {\[bin|}{{$\llbracket_{bin}$}}4
  71                 {\[|}{{$\llbracket$}}1
  72                 {|\]}{{$\rrbracket$}}1
  73 }