| Name : ghc-config-ini
| |
| Version : 0.2.4.0
| Vendor : openSUSE
|
| Release : bp155.2.5
| Date : 2022-08-20 07:36:22
|
| Group : Unspecified
| Source RPM : ghc-config-ini-0.2.4.0-bp155.2.5.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:/Leap:/15.5:/ToTest/images/repo/openSUSE-Leap-15.5-x86_64-aarch64-ppc64le-s390x-Media1/x86_64 |
