| Name : ghc-codo-notation
| |
| Version : 0.5.2
| Vendor : openSUSE
|
| Release : bp150.2.7
| Date : 2018-07-30 21:04:40
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-codo-notation-0.5.2-bp150.2.7.src.rpm
|
| Size : 0.09 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : A notation for comonads, analogous to the do-notation for monads
|
Description :
A notation for comonads, analogous to the do-notation for monads.
Requires the \'TemplateHaskell\' and \'QuasiQuotes\' extensions.
Example 1:
\' {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE QuasiQuotes
import Control.Comonad import Language.Haskell.Codo
foo :: (Comonad c, Num a) => c a -> a foo = [codo| x => extract x + 1 |] \'
Example 2:
\' import Data.Monoid instance Monoid Double where mempty =
0.0 mappend = (+)
differentiate f = ((f 0.001) - f 0) / 0.001
minima :: (Double -> Double) -> Bool minima = [codo| f => f\' < - differentiate f
f\'\' < - differentiate f\'
(extract f\' < 0.001) && (extract f\'\' > 0) |] \'
Further explanation of the syntax can be found in the following (short) paper:
< http://www.cl.cam.ac.uk/~dao29/drafts/codo-notation-orchard-ifl12.pdf> with a
numer of examples.
Further examples can be found here:
< https://github.com/dorchard/codo-notation>.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64 |
