Name : ghc-exhaustive
| |
Version : 1.1.5
| Vendor : openSUSE
|
Release : bp150.2.7
| Date : 2018-07-30 20:29:23
|
Group : Development/Libraries/Haskell
| Source RPM : ghc-exhaustive-1.1.5-bp150.2.7.src.rpm
|
Size : 0.04 MB
| |
Packager : https://bugs_opensuse_org
| |
Summary : Compile time checks that a computation considers producing data through all possible constructors
|
Description :
For a brief tutorial to \'exhaustive\', check out the documentation for \"Control.Exhaustive\", which contains a small example.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64 |