Skip to content

Commit c7b077b

Browse files
selloutsellout
committed
Update Dhall & add Nix build
1 parent 4359758 commit c7b077b

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

104 files changed

+4123
-544
lines changed

‎.config/git/config‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
[blame]
2+
ignoreRevsFile = ignoreRevs

‎.config/git/ignoreRevs‎

Whitespace-only changes.

‎.config/mustache.yaml‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
{
2+
project:
3+
{
4+
description:
5+
"Recursion schemes provide a total way to support recursion. The \
6+
decomposition they encourage also enhances composability and \
7+
reusability.",
8+
name: "dada",
9+
repo: "sellout/dada",
10+
summary: "A total recursion scheme library for Dhall",
11+
version: "0.1.0",
12+
},
13+
type: { name: "dhall" },
14+
}

‎.dir-locals.el‎

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
1-
;;; Directory Local Variables
2-
;;; For more information see (info "(emacs) Directory Variables")
3-
4-
((fundamental-mode
1+
((nil
2+
(fill-column . 80)
3+
(indent-tabs-mode . nil)
4+
(projectile-project-configure-cmd . "nix flake update")
5+
(sentence-end-double-space . nil))
6+
("dhall"
7+
;; These files generally don’t have an extension
58
(mode . dhall)))

‎.editorconfig‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
### This configures basic cross-editor formatting.
2+
###
3+
### See https://editorconfig.org/ for more info, and to see if your editor
4+
### requires a plugin to take advantage of it.
5+
6+
root = true
7+
8+
[*]
9+
charset = utf-8
10+
end_of_line = lf
11+
indent_size = 2
12+
indent_style = space
13+
insert_final_newline = true
14+
trim_trailing_whitespace = true
15+
## for shfmt
16+
binary_next_line = true
17+
space_redirects = true
18+
switch_case_indent = true
19+
20+
[*.{diff,patch}]
21+
trim_trailing_whitespace = false
22+
23+
[*.{el,lisp}]
24+
## Lisps have a fairly consistent indentation style that doesn’t collapse well
25+
## to a single value, so we let the editor do what it wants here.
26+
indent_size = unset

‎.envrc‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
use flake

‎.github/settings.yml‎

Lines changed: 121 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,121 @@
1+
# These settings are synced to GitHub by https://probot.github.io/apps/settings/
2+
3+
# See https://docs.github.com/en/rest/reference/repos#update-a-repository for all available settings.
4+
repository:
5+
name: dada
6+
description: A total recursion scheme library for Dhall
7+
# homepage: https://example.github.io/
8+
# topics: development, nix-flakes, nix-templates
9+
private: false
10+
has_issues: true
11+
has_projects: false
12+
has_wiki: true
13+
has_downloads: false
14+
default_branch: main
15+
allow_squash_merge: false
16+
allow_merge_commit: true
17+
allow_rebase_merge: false
18+
delete_branch_on_merge: true
19+
merge_commit_title: PR_TITLE
20+
merge_commit_message: PR_BODY
21+
enable_automated_security_fixes: true
22+
enable_vulnerability_alerts: true
23+
24+
labels:
25+
- name: bug
26+
color: "#d73a4a"
27+
description: Something isn’t working
28+
- name: documentation
29+
color: "#0075ca"
30+
description: Improvements or additions to documentation
31+
- name: enhancement
32+
color: "#a2eeef"
33+
description: New feature or request
34+
- name: good first issue
35+
color: "#7057ff"
36+
description: Good for newcomers
37+
- name: help wanted
38+
color: "#008672"
39+
description: Extra attention is needed
40+
- name: question
41+
color: "#d876e3"
42+
description: Further information is requested
43+
44+
branches:
45+
- name: main
46+
# https://docs.github.com/en/rest/branches/branch-protection?apiVersion=2022-11-28#update-branch-protection
47+
protection:
48+
required_pull_request_reviews: null
49+
required_status_checks:
50+
strict: false
51+
contexts:
52+
- "check format [aarch64-darwin]"
53+
- "check format [aarch64-linux]"
54+
- "check format [x86_64-linux]"
55+
- "devShell default [aarch64-darwin]"
56+
- "devShell default [aarch64-linux]"
57+
- "devShell default [x86_64-linux]"
58+
- "devShell ghc8107 [aarch64-darwin]"
59+
- "devShell ghc8107 [aarch64-linux]"
60+
- "devShell ghc8107 [x86_64-linux]"
61+
- "devShell ghc902 [aarch64-darwin]"
62+
- "devShell ghc902 [aarch64-linux]"
63+
- "devShell ghc902 [x86_64-linux]"
64+
- "devShell ghc928 [aarch64-darwin]"
65+
- "devShell ghc928 [aarch64-linux]"
66+
- "devShell ghc928 [x86_64-linux]"
67+
- "devShell ghc945 [aarch64-darwin]"
68+
- "devShell ghc945 [aarch64-linux]"
69+
- "devShell ghc945 [x86_64-linux]"
70+
- "devShell ghc961 [aarch64-darwin]"
71+
- "devShell ghc961 [aarch64-linux]"
72+
- "devShell ghc961 [x86_64-linux]"
73+
- "homeConfiguration aarch64-darwin-dada-example"
74+
- "homeConfiguration aarch64-linux-dada-example"
75+
- "homeConfiguration x86_64-linux-dada-example"
76+
- "package default [aarch64-darwin]"
77+
- "package default [aarch64-linux]"
78+
- "package default [x86_64-linux]"
79+
- "package dada [aarch64-darwin]"
80+
- "package dada [aarch64-linux]"
81+
- "package dada [x86_64-linux]"
82+
- "package ghc8107_all [aarch64-darwin]"
83+
- "package ghc8107_all [aarch64-linux]"
84+
- "package ghc8107_all [x86_64-linux]"
85+
- "package ghc8107_dada [aarch64-darwin]"
86+
- "package ghc8107_dada [aarch64-linux]"
87+
- "package ghc8107_dada [x86_64-linux]"
88+
- "package ghc902_all [aarch64-darwin]"
89+
- "package ghc902_all [aarch64-linux]"
90+
- "package ghc902_all [x86_64-linux]"
91+
- "package ghc902_dada [aarch64-darwin]"
92+
- "package ghc902_dada [aarch64-linux]"
93+
- "package ghc902_dada [x86_64-linux]"
94+
- "package ghc928_all [aarch64-darwin]"
95+
- "package ghc928_all [aarch64-linux]"
96+
- "package ghc928_all [x86_64-linux]"
97+
- "package ghc928_dada [aarch64-darwin]"
98+
- "package ghc928_dada [aarch64-linux]"
99+
- "package ghc928_dada [x86_64-linux]"
100+
- "package ghc945_all [aarch64-darwin]"
101+
- "package ghc945_all [aarch64-linux]"
102+
- "package ghc945_all [x86_64-linux]"
103+
- "package ghc945_dada [aarch64-darwin]"
104+
- "package ghc945_dada [aarch64-linux]"
105+
- "package ghc945_dada [x86_64-linux]"
106+
- "package ghc961_all [aarch64-darwin]"
107+
- "package ghc961_all [aarch64-linux]"
108+
- "package ghc961_all [x86_64-linux]"
109+
- "package ghc961_dada [aarch64-darwin]"
110+
- "package ghc961_dada [aarch64-linux]"
111+
- "package ghc961_dada [x86_64-linux]"
112+
enforce_admins: true
113+
required_linear_history: false
114+
allow_force_pushes: false
115+
restrictions:
116+
apps: []
117+
118+
pages:
119+
build_type: "workflow"
120+
source:
121+
branch: "master"

‎.github/workflows/pages.yml‎

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
name: Deploy modules & generated docs to Pages
2+
3+
on:
4+
# Runs on pushes targeting the default branch
5+
push:
6+
branches: ["master"]
7+
8+
# Allows you to run this workflow manually from the Actions tab
9+
workflow_dispatch:
10+
11+
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
12+
permissions:
13+
contents: read
14+
pages: write
15+
id-token: write
16+
17+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
18+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
19+
concurrency:
20+
group: "pages"
21+
cancel-in-progress: false
22+
23+
jobs:
24+
build:
25+
runs-on: ubuntu-latest
26+
steps:
27+
- name: Checkout
28+
uses: actions/checkout@v3
29+
- name: Setup Pages
30+
uses: actions/configure-pages@v3
31+
- uses: cachix/install-nix-action@v20
32+
with:
33+
extra_nix_config: |
34+
extra-trusted-public-keys = cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g=
35+
extra-substituters = https://cache.garnix.io
36+
- uses: lriesebos/nix-develop-command@v1
37+
with:
38+
command: |
39+
dhall-docs \
40+
--input ./dhall \
41+
--base-import-url "https://sellout.github.io/dada" \
42+
--package-name "dada"
43+
## We copy here to fix the permissions from the Nix symlinks
44+
cp -r ./docs ./_site
45+
chmod --recursive +rwx ./_site
46+
cp -r ./dhall/* ./_site/
47+
- name: Upload artifact
48+
uses: actions/upload-pages-artifact@v2
49+
deploy:
50+
environment:
51+
name: github-pages
52+
url: ${{ steps.deployment.outputs.page_url }}
53+
runs-on: ubuntu-latest
54+
needs: build
55+
steps:
56+
- name: Deploy to GitHub Pages
57+
id: deployment
58+
uses: actions/deploy-pages@v2

‎.gitignore‎

Lines changed: 5 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,5 @@
1-
dist
2-
dist-*
3-
cabal-dev
4-
*.o
5-
*.hi
6-
*.chi
7-
*.chs.h
8-
*.dyn_o
9-
*.dyn_hi
10-
.hpc
11-
.hsenv
12-
.cabal-sandbox/
13-
cabal.sandbox.config
14-
*.prof
15-
*.aux
16-
*.hp
17-
*.eventlog
18-
.stack-work/
19-
cabal.project.local
20-
.HTF/
1+
/.direnv/
2+
3+
# Nix build
4+
/result
5+
/source

‎.shellcheckrc‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
## -*- mode: sh -*-
2+
3+
# Unicode quotes are good, and Shellcheck gets this wrong a lot.
4+
disable=SC1111,SC1112

0 commit comments

Comments
 (0)