keera-hails-reactivelenses (empty) → 0.0.0.1

raw patch · 4 files changed

+124/−0 lines, 4 filesdep +basedep +keera-hails-reactivevaluesdep +lenssetup-changed

Dependencies added: base, keera-hails-reactivevalues, lens

Files

• LICENSE +30/−0
• Setup.hs +2/−0
• keera-hails-reactivelenses.cabal +59/−0
• src/Data/ReactiveLens.hs +33/−0

@@ -0,0 +1,30 @@+Copyright (c)2012, Ivan Perez++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Ivan Perez nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,59 @@+-- hails.cabal auto-generated by cabal init. For additional options,+-- see+-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.+-- The name of the package.+Name:                keera-hails-reactivelenses++-- The package version. See the Haskell package versioning policy+-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for+-- standards guiding when and how versions should be incremented.+Version:             0.0.0.1++-- A short (one-line) description of the package.+Synopsis:            Haskell on Gtk rails - Lenses applied to Reactive Values++-- A longer description of the package.+-- Description:++-- URL for the project homepage or repository.+Homepage:            http://www.keera.es/blog/community/++-- The license under which the package is released.+License:             BSD3++-- The file containing the license text.+License-file:        LICENSE++-- The package author(s).+Author:              Ivan Perez++-- An email address to which users can send suggestions, bug reports,+-- and patches.+Maintainer:          ivan.perez@keera.es++-- A copyright notice.+-- Copyright:++Category:            Development++Build-type:          Simple++-- Extra files to be distributed with the package, such as examples or+-- a README.+-- Extra-source-files:++-- Constraint on the version of Cabal needed to build this package.+Cabal-version:       >=1.2+++Library+  hs-source-dirs: src/++  ghc-options: -Wall -fno-warn-unused-do-bind -O2++  -- Modules exported by the library.+  Exposed-modules: Data.ReactiveLens++  -- Packages needed in order to build this package.+  Build-depends: base >= 4 && < 5, lens, keera-hails-reactivevalues+

@@ -0,0 +1,33 @@+{-# LANGUAGE RankNTypes           #-}+{-# LANGUAGE TypeSynonymInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+module Data.ReactiveLens where++import Control.Lens+import Data.ReactiveValue++reactiveFromLens :: (Monad m, Functor m)+                 => ReactiveFieldReadWrite m a+                 -> Lens' a b+                 -> ReactiveFieldReadWrite m b+reactiveFromLens (ReactiveFieldReadWrite setter getter notifier) l =+  ReactiveFieldReadWrite setter' getter' notifier+ where setter' v = setter.(set l v) =<< getter+       getter'   = fmap (view l) getter++-- I'd love to write this, but it's not possible because Haskell does not+-- allow partially applied type synonyms anywhere.+-- instance Monad m => GFunctor (ReactiveFieldReadWrite m) Lens' where+--   gmap = reactiveFromLens++-- | Why use such a big function name? Well, there are very good+-- reasons. One is to get back to the Lens implementors, who+-- always choose names that are incredibly easy to pronounce.+-- Another is because it's based on <$> and <$$>.+(<$$$>) :: (Monad m, Functor m)+        => Lens' a b -> ReactiveFieldReadWrite m a -> ReactiveFieldReadWrite m b+(<$$$>) = flip reactiveFromLens++-- I think this bit would need monadic lenses+-- reactiveLens :: Lens' a b -> Lens' (ReactiveFieldReadWrite m a) (ReactiveFieldReadWrite m b)+-- reactiveLens = undefined