Name : ghc-validation
| |
Version : 1
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
Release : lp150.4.4
| Date : 2018-12-23 04:41:16
|
Group : Development/Libraries/Haskell
| Source RPM : ghc-validation-1-lp150.4.4.src.rpm
|
Size : 0.12 MB
| |
Packager : (none)
| |
Summary : A data-type like Either but with an accumulating Applicative
|
Description :
< < http://i.imgur.com/uZnp9ke.png>>
A data-type like Either but with differing properties and type-class instances.
Library support is provided for this different representation, include `lens`-related functions for converting between each and abstracting over their similarities.
* `Validation`
The `Validation` data type is isomorphic to `Either`, but has an instance of `Applicative` that accumulates on the error side. That is to say, if two (or more) errors are encountered, they are appended using a `Semigroup` operation.
As a consequence of this `Applicative` instance, there is no corresponding `Bind` or `Monad` instance. `Validation` is an example of, \"An applicative functor that is not a monad.\".
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/12/openSUSE_Leap_15.0/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-validation
ghc-validation(x86-64)
libHSvalidation-1-GFAd7h1Rzz485ZlVfZF067-ghc8.4.4.so()(64bit)
Requires :