about summary refs log tree commit diff
path: root/users/Profpatsch/ini
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2024-10-05T12·32+0200
committerProfpatsch <mail@profpatsch.de>2024-10-05T13·49+0000
commit2d6e98f8a40d1ce29b2277decc03ac90d1ef55ca (patch)
treee1149b5102c245d4cf561ae019775409e55741ae /users/Profpatsch/ini
parent82dc99fee2dce7f4291572da33bb5b4eec20383a (diff)
chore(users/Profpatsch): remove ini r/8776
Change-Id: I289e133ef64766d4b1a199a26d2eea9db52918a0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12579
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'users/Profpatsch/ini')
-rw-r--r--users/Profpatsch/ini/default.nix6
-rw-r--r--users/Profpatsch/ini/ini.dhall36
2 files changed, 0 insertions, 42 deletions
diff --git a/users/Profpatsch/ini/default.nix b/users/Profpatsch/ini/default.nix
deleted file mode 100644
index e1a7a1a7b6b7..000000000000
--- a/users/Profpatsch/ini/default.nix
+++ /dev/null
@@ -1,6 +0,0 @@
-{ depot, ... }:
-{
-  externs = {
-    renderIni = depot.users.Profpatsch.toINI { };
-  };
-}
diff --git a/users/Profpatsch/ini/ini.dhall b/users/Profpatsch/ini/ini.dhall
deleted file mode 100644
index f2efbc0af4f1..000000000000
--- a/users/Profpatsch/ini/ini.dhall
+++ /dev/null
@@ -1,36 +0,0 @@
-let lib = ../dhall/lib.dhall
-
-let NameVal = λ(T : Type) → { name : Text, value : T }
-
-let ValueList = λ(T : Type) → List (NameVal T)
-
-let Section = ValueList Text
-
-let Sections = ValueList Section
-
-let Ini = { globalSection : Section, sections : Sections }
-
-let
-    -- Takes to INI files and merges their global sections and their section lists,
-    -- without duplicating by section name.
-    appendInis =
-      λ(inis : List Ini) →
-          { globalSection =
-              lib.List/concat
-                (NameVal Text)
-                (lib.List/map Ini Section (λ(i : Ini) → i.globalSection) inis)
-          , sections =
-              lib.List/concat
-                (NameVal Section)
-                (lib.List/map Ini Sections (λ(i : Ini) → i.sections) inis)
-          }
-        : Ini
-
-let
-    -- Signatures of functions that are input via FFI.
-    Externs =
-      { -- given a dsl of functions to create an Ini, render the ini file
-        renderIni : Ini → Text
-      }
-
-in  { NameVal, ValueList, Section, Sections, Ini, appendInis, Externs }