| Name : ghc-config-ini
| |
| Version : 0.2.4.0
| Vendor : openSUSE
|
| Release : bp157.1.2
| Date : 2024-09-10 05:11:05
|
| Group : Unspecified
| Source RPM : ghc-config-ini-0.2.4.0-bp157.1.2.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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/x86_64 |
