M .editorconfig => .editorconfig +2 -2
@@ 11,7 11,7 @@ indent_size = 3
trim_trailing_whitespace = true
[*.{nix}]
-indent_size = 3
+indent_size = 2
-[*.{css,dhall}]
+[*.{dhall}]
indent_size = 4
A CONTRIBUTORS.dhall => CONTRIBUTORS.dhall +40 -0
@@ 0,0 1,40 @@
+{-
+Contributors: a place for contributors to get credit
+====================================================
+
+Sorted by date of contribution, this file defines contributors in Dhall format
+for easy manipulation and consumption.
+
+`name` is prefered name—no need to give away your identity. `::` lets us extend
+the defaults (so `Optional` values can be omitted).
+-}
+let Key = { Type = { long-key-id : Text, fingerprint : Text }, default = {=} }
+
+let Contributor =
+ { Type =
+ { name : Text
+ , email : Text
+ , website : Optional Text
+ , pronouns : List Text
+ , keys : List Key.Type
+ }
+ , default =
+ { website = None Text
+ , pronouns = [] : List Text
+ , keys = [] : List Key.Type
+ }
+ }
+
+in [ Contributor::{
+ , name = "toastal"
+ , email = "toastal@posteo.net"
+ , website = Some "https://toast.al"
+ , pronouns = [ "he/him", "เขา", "ລາວ" ]
+ , keys =
+ [ { long-key-id = "ed25519/5CCE6F1466D47C9E"
+ , fingerprint = "7944 74B7 D236 DAB9 C9EF E7F9 5CCE 6F14 66D4 7C9E"
+ }
+ ]
+ }
+ ]
+ : List Contributor.Type
A bin/spago2nix-regenerate => bin/spago2nix-regenerate +12 -0
@@ 0,0 1,12 @@
+#!/usr/bin/env bash
+# run from `nix develop`
+
+set -eu -o pipefail
+
+PROJECT_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.."; pwd -P)"
+#NIX_DIR="$PROJECT_ROOT/nix"
+
+cd "$PROJECT_ROOT"
+
+spago2nix generate "$(grep -c ^processor /proc/cpuinfo)" -- \
+ --config "./spago.dhall"
A bin/spago2nix-upgrade-set => bin/spago2nix-upgrade-set +11 -0
@@ 0,0 1,11 @@
+#!/usr/bin/env bash
+# run from `nix develop`
+
+set -eu -o pipefail
+
+PROJECT_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.."; pwd -P)"
+
+cd "$PROJECT_ROOT"
+
+spago upgrade-set
+bin/spago2nix-regenerate
M flake.lock => flake.lock +9 -9
@@ 3,11 3,11 @@
"easy-purescript-nix": {
"flake": false,
"locked": {
- "lastModified": 1631961521,
- "narHash": "sha256-1yPjUdOYzw1+UGFzBXbyZqEbsM6XZu/6+v8W35qFdLo=",
+ "lastModified": 1634991731,
+ "narHash": "sha256-uAS889Rpl//h0Ne2M7NyNk6tDFOkr9O3R8yny3qHKVk=",
"owner": "justinwoo",
"repo": "easy-purescript-nix",
- "rev": "d9a37c75ed361372e1545f6efbc08d819b3c28c8",
+ "rev": "7802db65618c2ead3a55121355816b4c41d276d9",
"type": "github"
},
"original": {
@@ 18,11 18,11 @@
},
"flake-utils": {
"locked": {
- "lastModified": 1631561581,
- "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
+ "lastModified": 1637014545,
+ "narHash": "sha256-26IZAc5yzlD9FlDT54io1oqG/bBoyka+FJk5guaX4x4=",
"owner": "numtide",
"repo": "flake-utils",
- "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
+ "rev": "bba5dcc8e0b20ab664967ad83d24d64cb64ec4f4",
"type": "github"
},
"original": {
@@ 33,11 33,11 @@
},
"nixpkgs": {
"locked": {
- "lastModified": 1633706237,
- "narHash": "sha256-xNHCuo9g6r5ehf84YdJi39JJR2QCfeWic8xRc7WmcIY=",
+ "lastModified": 1636976544,
+ "narHash": "sha256-9ZmdyoRz4Qu8bP5BKR1T10YbzcB9nvCeQjOEw2cRKR0=",
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "18d4025a8ee2f656d897505ccd0ba61a5b89bbea",
+ "rev": "931ab058daa7e4cd539533963f95e2bb0dbd41e6",
"type": "github"
},
"original": {
M flake.nix => flake.nix +3 -1
@@ 28,6 28,8 @@
};
+ purs = easy-ps.purs-0_14_5;
+
nativeBuildInputs = with pkgs; [
dhall
dhall-json
@@ 35,8 37,8 @@
];
purescriptBuildInputs = [
+ purs
easy-ps.spago
- easy-ps.purs-0_14_4
easy-ps.psc-package
easy-ps.psa
];
M packages.dhall => packages.dhall +2 -2
@@ 1,5 1,5 @@
let upstream =
- https://github.com/purescript/package-sets/releases/download/psc-0.14.4-20211005/packages.dhall
- sha256:2ec351f17be14b3f6421fbba36f4f01d1681e5c7f46e0c981465c4cf222de5be
+ https://github.com/purescript/package-sets/releases/download/psc-0.14.5-20211116/packages.dhall
+ sha256:7ba810597a275e43c83411d2ab0d4b3c54d0b551436f4b1632e9ff3eb62e327a
in upstream
M src/Halogen/Donut.css => src/Halogen/Donut.css +5 -5
@@ 1,8 1,8 @@
-/* SPDX-License-Identifier: MPL-2.0
- * Copyright © 2020–2021 toastal purescript-halogen-donut
- * This Source Code Form is subject to the terms of the Mozilla Public
- * License, v. 2.0. If a copy of the MPL was not distributed with this
- * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+/*! SPDX-License-Identifier: MPL-2.0
+ * Copyright © 2020–2021 toastal purescript-halogen-donut
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
*/
@keyframes Donut-spinner--dashlength {
0% {
M src/Halogen/Donut.purs => src/Halogen/Donut.purs +6 -5
@@ 1,8 1,9 @@
---! SPDX-License-Identifier: MPL-2.0
--- Copyright © 2021 toastal purescript-blurhash
--- This Source Code Form is subject to the terms of the Mozilla Public
--- License, v. 2.0. If a copy of the MPL was not distributed with this
--- file, You can obtain one at https://mozilla.org/MPL/2.0/.
+{-! SPDX-License-Identifier: MPL-2.0
+ Copyright © 2021 toastal purescript-blurhash
+ This Source Code Form is subject to the terms of the Mozilla Public
+ License, v. 2.0. If a copy of the MPL was not distributed with this
+ file, You can obtain one at https://mozilla.org/MPL/2.0/.
+-}
module Halogen.Donut (progress, spinner) where
import Prelude