diff options
author | Profpatsch <mail@profpatsch.de> | 2024-10-05T12·32+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2024-10-05T13·49+0000 |
commit | 2d6e98f8a40d1ce29b2277decc03ac90d1ef55ca (patch) | |
tree | e1149b5102c245d4cf561ae019775409e55741ae /users/Profpatsch/ini | |
parent | 82dc99fee2dce7f4291572da33bb5b4eec20383a (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.nix | 6 | ||||
-rw-r--r-- | users/Profpatsch/ini/ini.dhall | 36 |
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 } |