| Name : ghc-config-ini
| |
| Version : 0.2.4.0
| Vendor : openSUSE
|
| Release : bp156.3.4
| Date : 2024-02-21 13:12:07
|
| Group : Unspecified
| Source RPM : ghc-config-ini-0.2.4.0-bp156.3.4.src.rpm
|
| Size : 0.58 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : A library for simple INI-based configuration files
|
Description :
The \'config-ini\' library is a set of small monadic languages for writing simple
configuration languages with convenient, human-readable error messages.
> parseConfig :: IniParser (Text, Int, Bool) > parseConfig = section \"NETWORK\"
$ do > user < - field \"user\" > port < - fieldOf \"port\" number > enc < -
fieldFlagDef \"encryption\" True > return (user, port, enc).
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.6/repo/oss/x86_64 |
