| Name : ghc-config-ini
| |
| Version : 0.2.7.0
| Vendor : openSUSE
|
| Release : 2.5
| Date : 2024-03-27 21:39:57
|
| Group : Unspecified
| Source RPM : ghc-config-ini-0.2.7.0-2.5.src.rpm
|
| Size : 0.50 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:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/x86_64 |
