78 changed files with 2130 additions and 6569 deletions
-
4.envrc
-
3.gitignore
-
18.vscode/launch.json
-
1.vscode/settings.json
-
25.vscode/tasks.json
-
16JenkinsFile
-
15bin/compose
-
39bin/hie-bios-setup
-
28bin/m
-
23bin/mkenv
-
0brittany.yaml
-
8cabal.project
-
581data/golden/comment/output.json
-
10data/golden/empty-document/output.json
-
189data/golden/gamut/output.json
-
91data/golden/invalid-utf8/output.json
-
62data/golden/line-break/output.json
-
41data/golden/shebang/output.json
-
77doc/index.pro
-
15doc/overview.pro
-
58doc/res/caution.svg
-
54doc/res/important.svg
-
56doc/res/info.svg
-
554doc/res/manual.css
-
79doc/res/manual.js
-
233doc/res/nord.css
-
58doc/res/tip.svg
-
259doc/specification.pro
-
7hie.yaml
-
125kate/prosidy.xml
-
52nix/default.nix
-
25nix/nixpkgs.nix
-
270prosidy.cabal
-
13src/Prosidy.hs
-
11src/Prosidy/Optics.hs
-
115src/Prosidy/Optics/Internal.hs
-
78src/Prosidy/Optics/Source.hs
-
183src/Prosidy/Optics/Types.hs
-
53src/Prosidy/Parse.hs
-
283src/Prosidy/Source.hs
-
306src/Prosidy/Types.hs
-
45src/Prosidy/Types/Assoc.hs
-
142src/Prosidy/Types/Key.hs
-
90src/Prosidy/Types/Series.hs
-
56src/Prosidy/Types/Set.hs
-
145src/prosidy-internal/Prosidy/Internal/JSON.hs
-
99src/prosidy-internal/Prosidy/Internal/Optics.hs
-
142src/prosidy-manual/Prosidy/Manual.hs
-
406src/prosidy-manual/Prosidy/Manual/Compile.hs
-
85src/prosidy-manual/Prosidy/Manual/Highlight.hs
-
127src/prosidy-manual/Prosidy/Manual/Monad.hs
-
44src/prosidy-manual/Prosidy/Manual/Opts.hs
-
60src/prosidy-manual/Prosidy/Manual/Slug.hs
-
126src/prosidy-manual/Prosidy/Manual/TableOfContents.hs
-
28src/prosidy-manual/Prosidy/Manual/Version.hs
-
323src/prosidy-markup/Prosidy/Markup.hs
-
8src/prosidy/Prosidy.hs
-
209src/prosidy/Prosidy/Source.hs
-
598src/prosidy/Prosidy/Types.hs
-
223src/prosidyc/Prosidy/Compile.hs
-
310src/prosidyc/Prosidy/Compile/Internal/Compile.hs
-
238src/prosidyc/Prosidy/Compile/Internal/Error.hs
-
217src/prosidyc/Prosidy/Compile/Internal/Eval.hs
-
76src/prosidyc/Prosidy/Compile/Internal/Info.hs
-
90src/prosidyc/Prosidy/Compile/Internal/Spec.hs
-
55src/prosidyc/Prosidy/Compile/Internal/Util.hs
-
15test/Prosidy/Test.hs
-
4test/Prosidy/Test/Parse.hs
-
120test/Prosidy/Test/Source.hs
-
78test/Prosidy/Test/Types.hs
-
6vim/README.md
-
1vim/ftdetect/prosidy.vim
-
13vim/ftplugin/prosidy.vim
-
153vim/syntax/prosidy.vim
-
9vscode/CHANGELOG.md
-
25vscode/language-configuration.json
-
25vscode/package.json
-
190vscode/syntaxes/prosidy.tmLanguage.json
@ -1,4 +0,0 @@ |
|||
PATH_add bin |
|||
PATH_add .out/bin |
|||
PATH_add .env/bin |
|||
export NIX_PATH="nixpkgs=$PWD/nix/nixpkgs.nix" |
|||
@ -1,8 +1,5 @@ |
|||
.stack-work/ |
|||
/.env |
|||
dist/ |
|||
dist-newstyle/ |
|||
/cabal.project.local |
|||
/.out/ |
|||
/.prosidy-manual/ |
|||
*~ |
|||
@ -1,18 +0,0 @@ |
|||
// A launch configuration that launches the extension inside a new window |
|||
// Use IntelliSense to learn about possible attributes. |
|||
// Hover to view descriptions of existing attributes. |
|||
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387 |
|||
{ |
|||
"version": "0.2.0", |
|||
"configurations": [ |
|||
{ |
|||
"name": "Extension", |
|||
"type": "extensionHost", |
|||
"request": "launch", |
|||
"runtimeExecutable": "${execPath}", |
|||
"args": [ |
|||
"--extensionDevelopmentPath=${workspaceFolder}/vscode" |
|||
] |
|||
} |
|||
] |
|||
} |
|||
@ -1,25 +0,0 @@ |
|||
{ |
|||
"version": "2.0.0", |
|||
"tasks": [ |
|||
{ |
|||
"label": "Build everything", |
|||
"type": "shell", |
|||
"command": "./bin/m", |
|||
"args": ["build", "all"], |
|||
"group": { |
|||
"kind": "build", |
|||
"isDefault": true |
|||
} |
|||
}, |
|||
{ |
|||
"label": "Run tests", |
|||
"type": "shell", |
|||
"command": "./bin/m", |
|||
"args": ["test", "all"], |
|||
"group": { |
|||
"kind": "test", |
|||
"isDefault": true |
|||
} |
|||
} |
|||
] |
|||
} |
|||
@ -0,0 +1,16 @@ |
|||
pipeline { |
|||
agent { |
|||
docker { |
|||
image 'utdemir/ghc-musl:v4-integer-simple-ghc881' |
|||
} |
|||
} |
|||
|
|||
stages { |
|||
stage('build') { |
|||
steps { |
|||
sh 'cabal v2-build' |
|||
sh 'cabal v2-test' |
|||
} |
|||
} |
|||
} |
|||
} |
|||
@ -1,15 +0,0 @@ |
|||
#!/bin/bash |
|||
set -euo pipefail |
|||
cd "$(git rev-parse --show-toplevel)" |
|||
source ./bin/mkenv |
|||
|
|||
mkdir -p .out/doc |
|||
warp --docroot .out/doc --host 127.0.0.1 & |
|||
trap "kill $!" EXIT |
|||
|
|||
fswatch --recursive --one-per-batch --event Created --event Updated ./doc |\ |
|||
while read -r event |
|||
do |
|||
echo "Triggering update (event: ${event})" >&2 |
|||
m v2-run prosidy-manual || true |
|||
done |
|||
@ -1,39 +0,0 @@ |
|||
#!/bin/bash |
|||
set -eu |
|||
cd "$(git rev-parse --show-toplevel)" |
|||
./bin/mkenv |
|||
|
|||
HIE_BIOS_OUTPUT="${HIE_BIOS_OUTPUT:-/dev/fd/1}" |
|||
|
|||
function write |
|||
{ |
|||
cat >> "$HIE_BIOS_OUTPUT" |
|||
} |
|||
|
|||
if [ -L .env ] 2>&1 |
|||
then |
|||
dbpath="$(realpath "$(find -L .env/lib -type d -name package.conf.d)")" |
|||
write <<EOF |
|||
-clear-package-db |
|||
-package-db=$dbpath |
|||
EOF |
|||
else |
|||
version="$(ghc --numeric-version)" |
|||
write <<EOF |
|||
-package-db |
|||
$HOME/.cabal/store/ghc-${version}/package.db |
|||
EOF |
|||
fi |
|||
|
|||
write <<EOF |
|||
-Wall |
|||
-Wno-name-shadowing |
|||
-i |
|||
-ibuild |
|||
-itest |
|||
EOF |
|||
|
|||
for path in src/* |
|||
do |
|||
echo "-i${path}" >> "$HIE_BIOS_OUTPUT" |
|||
done |
|||
@ -1,28 +0,0 @@ |
|||
#!/bin/bash |
|||
set -eu |
|||
cd "$(git rev-parse --show-toplevel)" |
|||
source ./bin/mkenv |
|||
|
|||
ghc_version="$(ghc --numeric-version)" |
|||
|
|||
cabal_opts=( |
|||
--offline |
|||
--builddir="$PWD/.out/cabal" |
|||
--package-db=clear |
|||
--package-db="$PWD/.env/lib/ghc-${ghc_version}/package.conf.d" |
|||
) |
|||
|
|||
if [ "$#" -eq 0 ] |
|||
then |
|||
set - build all |
|||
elif [[ "${1:-}" = *install ]] |
|||
then |
|||
cabal_opts+=( --installdir="$PWD/.out/bin" ) |
|||
fi |
|||
|
|||
if [ -n "${JENKINS_URL:-}" ] |
|||
then |
|||
cabal_opts+=( --flags='+fatal-warnings' ) |
|||
fi |
|||
|
|||
exec cabal "${cabal_opts[@]}" "$@" |
|||
@ -1,23 +0,0 @@ |
|||
#!/bin/bash |
|||
[ -z "${_MKENV:-}" ] || return 0 |
|||
command -v nix >/dev/null 2>&1 || return 0 |
|||
[ -n "${DIRENV_DIR:-}" ] || eval "$(direnv export bash)" |
|||
|
|||
function setup_nix |
|||
{ |
|||
local nix_substituters=( |
|||
'https://cache.nixos.org' |
|||
'https://static-haskell-nix.cachix.org' |
|||
) |
|||
local nix_keys=( |
|||
'cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=' |
|||
'static-haskell-nix.cachix.org-1:Q17HawmAwaM1/BfIxaEDKAxwTOyRVhPG5Ji9K3+FvUU=' |
|||
) |
|||
nix-build ./nix/default.nix -A env \ |
|||
--substituters "$nix_substituters" \ |
|||
--trusted-public-keys "$nix_keys" \ |
|||
--out-link .env |
|||
} |
|||
|
|||
setup_nix |
|||
export _MKENV=1 |
|||
@ -1,4 +1,4 @@ |
|||
packages: prosidy.cabal |
|||
|
|||
optimization: True |
|||
split-sections: True |
|||
packages: prosidy.cabal |
|||
optimization: True |
|||
split-sections: True |
|||
test-show-details: direct |
|||
@ -1,317 +1,312 @@ |
|||
{ |
|||
"content": [ |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": [] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
"content": [ |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": {} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": {} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": {} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Inner contents", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
}, |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Another paragraph", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
} |
|||
], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Inner contents", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
}, |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Another paragraph", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
} |
|||
], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Inner contents", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
} |
|||
], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": [] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"value": "Blah blah", |
|||
"type": "text" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": [] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"value": "blah blah.", |
|||
"type": "text" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"value": { |
|||
"content": [], |
|||
"name": "inline", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "inline", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Inner contents", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
}, |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Another paragraph", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
} |
|||
], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": "look ma", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"name": "inline", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "inline", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Inner contents", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
}, |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Another paragraph", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
} |
|||
], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Inner contents", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
} |
|||
], |
|||
"name": "tag", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "block", |
|||
"type": "tag" |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": "no hands", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"name": "inline", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
}, |
|||
"subtype": "inline", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": [ |
|||
{ |
|||
"value": "Blah blah", |
|||
"type": "text" |
|||
}, |
|||
{ |
|||
"value": [], |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": "blah blah.", |
|||
"type": "text" |
|||
}, |
|||
{ |
|||
"value": [], |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [], |
|||
"name": "inline", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "inline", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": [], |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": "look ma", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"name": "inline", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "inline", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": [], |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": [ |
|||
{ |
|||
"value": "no hands", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"name": "inline", |
|||
"metadata": { |
|||
"settings": { |
|||
"setting": "foo" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
} |
|||
}, |
|||
"subtype": "inline", |
|||
"type": "tag" |
|||
}, |
|||
{ |
|||
"value": [], |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": "content", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"type": "paragraph" |
|||
"type": "break" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": " ## This is _not_ a comment; it's part of the tag around it", |
|||
"name": "src", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": [] |
|||
} |
|||
}, |
|||
"subtype": "literal", |
|||
"type": "tag" |
|||
"value": "content", |
|||
"type": "text" |
|||
} |
|||
], |
|||
"metadata": { |
|||
"settings": { |
|||
"empty": "", |
|||
"case": "Comments", |
|||
"nonempty": "yes" |
|||
}, |
|||
"properties": [ |
|||
"prop" |
|||
] |
|||
], |
|||
"type": "paragraph" |
|||
}, |
|||
{ |
|||
"value": { |
|||
"content": " ## This is _not_ a comment; it's part of the tag around it", |
|||
"name": "src", |
|||
"metadata": { |
|||
"settings": {}, |
|||
"properties": {} |
|||
} |
|||
}, |
|||
"subtype": "literal", |
|||
"type": "tag" |
|||
} |
|||
], |
|||
"metadata": { |
|||
"settings": { |
|||
"empty": "", |
|||
"case": "Comments", |
|||
"nonempty": "yes" |
|||
}, |
|||
"properties": { |
|||
"prop": true |
|||
} |
|||
} |
|||
} |
|||
} |
|||
@ -1,7 +1,7 @@ |
|||
{ |
|||
"metadata": { |
|||
"properties": [], |
|||
"settings": {} |
|||
}, |
|||
"content": [] |
|||
"metadata": { |
|||
"properties": {}, |
|||
"settings": {} |
|||
}, |
|||
"content": [] |
|||
} |
|||