Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
7 results

walint.cabal

  • stuebinm's avatar
    34e66b3a
    too much type level stuff to read a config file · 34e66b3a
    stuebinm authored 
    This got kinda out of hand, but it can now (a) read a json config file
and (b) patch that with another json given on the command line to change
some of the options given in the file.

No, I probably didn't need to make the `patch` function sufficiently
general to work with arbitrary records, but it was kinda fun to do.
    34e66b3a
    History
    too much type level stuff to read a config file
    stuebinm authored 
    This got kinda out of hand, but it can now (a) read a json config file
and (b) patch that with another json given on the command line to change
some of the options given in the file.

No, I probably didn't need to make the `patch` function sufficiently
general to work with arbitrary records, but it was kinda fun to do.

Impressum - Datenschutzerklärung