List of snippets for vscode for Haskell Unicode functions and tokens

haskell.json

{
  "α": { "body": "α", "prefix": "\\alpha" },
  "β": { "body": "β", "prefix": "\\beta" },
  "γ": { "body": "γ", "prefix": "\\gamma" },
  "δ": { "body": "δ", "prefix": "\\delta" },
  "ζ": { "body": "ζ", "prefix": "\\zeta" },
  "η": { "body": "η", "prefix": "\\eta" },
  "θ": { "body": "θ", "prefix": "\\theta" },
  "ι": { "body": "ι", "prefix": "\\iota" },
  "κ": { "body": "κ", "prefix": "\\kappa" },
  "λ": { "body": "λ", "prefix": "\\lambda" },
  "μ": { "body": "μ", "prefix": "\\mu" },
  "ν": { "body": "ν", "prefix": "\\nu" },
  "ξ": { "body": "ξ", "prefix": "\\xi" },
  "π": { "body": "π", "prefix": "\\pi" },
  "ρ": { "body": "ρ", "prefix": "\\rho" },
  "σ": { "body": "σ", "prefix": "\\sigma" },
  "τ": { "body": "τ", "prefix": "\\tau" },
  "υ": { "body": "υ", "prefix": "\\upsilon" },
  "χ": { "body": "χ", "prefix": "\\chi" },
  "ψ": { "body": "ψ", "prefix": "\\psi" },
  "ω": { "body": "ω", "prefix": "\\omega" },
  "ϕ": { "body": "ϕ", "prefix": "\\phi" },

  "∀": { "body": "∀", "prefix": "\\forall" },
  "∃": { "body": "∀", "prefix": "\\exist" },
  "∷": { "body": "∷", "prefix": "\\signat" },
  "★": { "body": "★", "prefix": "\\star" },

  "→": { "body": "→", "prefix": "\\arr" },
  "←": { "body": "←", "prefix": "\\larr" },
  "⤚": { "body": "⤚", "prefix": "\\arrt" },
  "⤙": { "body": "⤙", "prefix": "\\larrt" },
  "⤜": { "body": "⤜", "prefix": "\\darrt" },
  "⤛": { "body": "⤛", "prefix": "\\ldarrt" },
  "⇒": { "body": "⇒", "prefix": "\\fatarr" },

  "⟦": { "body": "⟦", "prefix": "\\msqbl" },
  "⟧": { "body": "⟧", "prefix": "\\msqbr" },

  // Control.Applicative.Unicode
  "⊛": { "body": "⊛", "prefix": "\\seq" },
  "∅": { "body": "∅", "prefix": "\\empty" },

  // Control.Arrow.Unicode
  "⋙": { "body": "⋙", "prefix": "\\arr_composel" },
  "⋘": { "body": "⋘", "prefix": "\\arr_composer" },
  "⁂": { "body": "⁂", "prefix": "\\arr_mul" },
  "⧻": { "body": "⧻", "prefix": "\\arr_sum" },
  "⫴": { "body": "⫴", "prefix": "\\arr_either" },

  // Control.Category.Unicode
  "∘": { "body": "∘", "prefix": "\\compose" },

  // Control.Monad.Unicode
  "≫=": { "body": "≫=", "prefix": "\\m_bind" },
  "≫": { "body": "≫", "prefix": "\\m_seq" },
  "=≪": { "body": "=≪", "prefix": "\\m_rbind" },

  // Data.Bool.Unicode
  "∧": { "body": "∧", "prefix": "\\and" },
  "∨": { "body": "∨", "prefix": "\\or" },
  "¬": { "body": "¬", "prefix": "\\not" },

  // Data.Eq.Unicode
  "≡": { "body": "∷", "prefix": "\\eq" },
  "≠": { "body": "≠", "prefix": "\\not_eql" },

  // Data.Foldable.Unicode
  "∈": { "body": "∈", "prefix": "\\elem" },
  "∋": { "body": "∋", "prefix": "\\emenR" },
  "∉": { "body": "∉", "prefix": "\\notElem" },
  "∌": { "body": "∌", "prefix": "\\notElemR" },

  // Data.List.Unicode
  "⧺": { "body": "⧺", "prefix": "\\concat" },
  "∪": { "body": "∪", "prefix": "\\union" },
  "∖": { "body": "∷", "prefix": "\\diff" },
  "∆": { "body": "∆", "prefix": "\\symdiff" },
  "∩": { "body": "∩", "prefix": "\\intersect" },

  // Data.Monoid.Unicode
  "⊕": { "body": "⊕", "prefix": "\\mappend" },

  // Data.Ord.Unicode
  "≤": { "body": "≤", "prefix": "\\lte" },
  "≥": { "body": "≥", "prefix": "\\gte" }
}