lstlangclean.sty

   1 \lstdefinelanguage{Clean}{%
   2         alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
   3         alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
   4         alsoother={.},
   5         alsodigit={1234567890},
   6         morekeywords={generic,implementation,definition,dynamic,module,import,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,code,In,qualified,otherwise,from,foreign,export,ccall,stdcall},
   7         sensitive=true,
   8         morecomment=[l]{//},
   9         morecomment=[n]{/*}{*/},
  10         morestring=[b]",
  11         morestring=[s]{['}{']},
  12         literate=%
  13                 {\_}{{\raisebox{.15ex}{\_}}}1
  14 %               {\~}{{\raisebox{-.6ex}{\textasciitilde}}}1
  15                 {~}{{\textasciitilde}}1
  16                 {...}{{$\cdots$}}3
  17                 {->}{{$\shortrightarrow$}}2
  18                 {=>}{{$\Rightarrow$}}2
  19 }