flix.sty

\NeedsTeXFormat{LaTeX2e}[1994/06/01]
\ProvidesPackage{flix}[2021/11/24 Flix]

\RequirePackage{listings}
\RequirePackage{xcolor}

\definecolor{linenumber-color}{RGB}{170, 170, 170}
\definecolor{code-color}{RGB}{0, 0, 0}
\definecolor{keyword-color}{RGB}{155, 70, 147}
\definecolor{type-color}{RGB}{72, 118, 158}
\definecolor{comment-color}{RGB}{55, 55, 55}
\definecolor{string-color}{RGB}{30, 126, 19}

\lstdefinelanguage{flix}{
  basicstyle        = \ttfamily\footnotesize\color{code-color},
  numberstyle       = \footnotesize\color{linenumber-color},
  keywordstyle      = \color{keyword-color}\bfseries,
  commentstyle      = \color{comment-color},
  identifierstyle   = \color{black},
  stringstyle       = \color{string-color},
  emph              = [1]{Unit, Bool, Char, Float32, Float64, Int8, Int16, Int32, Int64, String},
  emphstyle         = [1]{\color{type-color}},
  showspaces        = false,
  showstringspaces  = false,
  tabsize           = 4,
  numbers           = left,
  xleftmargin       = 0.5cm,
  morecomment       = [l]{//},
  morecomment       = [n]{/*}{*/},
  morestring        = [b]",
  morestring        = [b]',
  morestring        = [b]""",
  morekeywords      = {
    Absent,
    Impure,
    Present,
    Pure,
    Static,
    alias,
    as,
    case,
    catch,
    choose,
    choose*,
    class,
    dbg,
    dbg!,
    dbg!!,
    def,
    deref,
    discard,
    eff,
    else,
    enum,
    false,
    fix,
    for,
    forA,
    forall,
    forM,
    force,
    foreach,
    from,
    get,
    if,
    import,
    inject,
    inline,
    instance,
    into,
    law,
    lawful,
    lazy,
    let,
    masked_cast,
    match,
    mod,
    new,
    not,
    null,
    open,
    open_as,
    override,
    par,
    project,
    pub,
    query,
    region,
    relational_choose,
    relational_choose*,
    restrictable,
    resume,
    sealed,
    select,
    set,
    solve,
    spawn,
    static,
    true,
    try,
    type,
    typematch,
    checked_cast,
    checked_ecast,
    unchecked_cast,
    use,
    where,
    with,
    without,
    yield
  },
}