Skip to content

Instantly share code, notes, and snippets.

@ohri-anurag
Last active October 2, 2023 09:38
Show Gist options
  • Save ohri-anurag/b6cd5a3b52f78510920028f05a337572 to your computer and use it in GitHub Desktop.
Save ohri-anurag/b6cd5a3b52f78510920028f05a337572 to your computer and use it in GitHub Desktop.
VSCode settings.json
{
"workbench.iconTheme": "material-icon-theme",
"workbench.editor.enablePreview": false,
"editor.fontFamily": "hasklig",
"editor.fontSize": 16,
"git.confirmSync": false,
"editor.renderWhitespace": "all",
"editor.fontLigatures": "'ccmp' off",
"[json]": {
"editor.defaultFormatter": "vscode.json-language-features"
},
"workbench.colorTheme": "Horizon",
"workbench.colorCustomizations": {
"editorIndentGuide.activeBackground1": "#278185",
"editorIndentGuide.background1": "#ffffff58",
"editorWarning.foreground": "#aaaa00"
},
"editor.tokenColorCustomizations": {
"textMateRules": [
{
"scope": [
// Haskell operators
"keyword.operator.infix.haskell",
"constant.other.operator.infix.haskell",
"keyword.operator.eq.haskell",
"keyword.operator.infix.tight.at.haskell",
"keyword.operator.prefix.at.haskell",
"keyword.operator.function.infix.haskell",
// Elm Operators
"keyword.operator.elm"
],
"settings": {
"foreground": "#d35757"
}
},
{
"scope": [
// Haskell punctuation
"keyword.operator.arrow.left.haskell",
"punctuation.separator.comma.haskell",
"punctuation.comma.haskell",
// Elm punctuation
"punctuation.separator.comma.elm"
],
"settings": {
"foreground": "#57aed3"
}
},
{
"scope": [
// Haskell operators
"keyword.operator.arrow.haskell",
"keyword.operator.big-arrow.haskell",
"keyword.operator.double-colon.haskell",
"keyword.operator.lambda.haskell",
"keyword.operator.prefix.dollar.haskell",
"keyword.operator.prefix.hash.haskell",
// Elm operators
"keyword.operator.arrow.elm",
"keyword.other.colon.elm"
],
"settings": {
"foreground": "#38d893"
}
},
{
"scope": "keyword.operator.pipe.haskell",
"settings": {
"foreground": "#935be7"
}
},
{
"scope": "meta.preprocessor.haskell",
"settings": {
"foreground": "#bfac21"
}
},
{
"scope": [
"keyword.operator.quasi-quotation.begin.haskell",
"keyword.operator.quasi-quotation.end.haskell"
],
"settings": {
"foreground": "#c5cb5b",
"fontStyle": "bold"
}
},
{
"scope": [
"comment.line.documentation.haskell",
"comment.block.documentation.haskell",
"punctuation.definition.comment.haskell",
"comment.line.double-dash.haskell",
"comment.block.haskell"
],
"settings": {
"foreground": "#ffffff58"
}
},
{
"scope": [
// Haskell keywords
"keyword.other.deriving.haskell",
"keyword.other.module.haskell",
"keyword.other.newtype.haskell",
"keyword.other.data.haskell",
"keyword.other.import.haskell",
"keyword.other.class.haskell",
"keyword.other.instance.haskell",
"keyword.other.where.haskell",
"keyword.other.let.haskell",
"keyword.other.in.haskell",
"keyword.control.case.haskell",
"keyword.control.of.haskell",
"keyword.control.if.haskell",
"keyword.other.type.haskell",
"keyword.other.qualified.haskell",
"keyword.other.as.haskell",
"keyword.other.hiding.haskell",
// Elm keywords
"keyword.control.import.elm",
"keyword.control.elm",
"keyword.other.elm"
],
"settings": {
"foreground": "#6a98e1"
}
},
{
"scope": [
"keyword.other.deriving.strategy.stock.haskell",
"keyword.other.deriving.strategy.newtype.haskell",
"keyword.other.deriving.strategy.anyclass.haskell"
],
"settings": {
"foreground": "#6a98e1",
"fontStyle": "underline"
}
}
]
},
"ctagsymbols.regenerateCommand": "rm tags & hasktags -c -L .",
"diffEditor.ignoreTrimWhitespace": false,
"todohighlight.keywords": [
{
"text": "TODO:",
"color": "#d35757",
"border": "1px solid #d35757",
"borderRadius": "4px",
"backgroundColor": "transparent"
//other styling properties goes here ...
},
{
"text": "NOTE:",
"color": "#00bbbb",
"border": "1px solid #00bbbb",
"borderRadius": "4px",
"backgroundColor": "transparent"
//other styling properties goes here ...
}
],
"window.titleBarStyle": "custom",
"haskell.manageHLS": "PATH",
"editor.minimap.showSlider": "always",
"window.zoomLevel": 1,
"editor.guides.bracketPairs": true,
"terminal.integrated.defaultProfile.linux": "bash",
"terminal.integrated.shellIntegration.enabled": false,
"git.openRepositoryInParentFolders": "never",
"editor.codeLens": false,
"editor.detectIndentation": false,
"editor.tabSize": 2,
"[elm]": {
"editor.tabSize": 4
},
"editor.formatOnSave": true,
"redhat.telemetry.enabled": false,
}
@ohri-anurag
Copy link
Author

ohri-anurag commented May 27, 2022

Additional Tools (to work along with the packages above):

  1. hasktags

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment