zippo 0.1 → 0.2

raw patch · 2 files changed

+39/−3 lines, 2 files

Files

• Data/Lens/Zipper.hs +32/−2
• zippo.cabal +7/−1

@@ -11,24 +11,54 @@ -}    -- * Zipper type-    Zipper+    Zipper(..)   -- ** Zipper history -  , Top , (:>) , Hist+{- |+   These three types make up the heterogenous history stack, and the programmer+   should never need to use them directly. They come together with 'Zipper' to+   form types that look like, e.g.+    +   > -- a zipper on a Tree, with focus on a leaf "a" of a 2nd level subtree+   > z :: Zipper (Top :> Tree a :> Tree a) a+    +   This zipper works conceptually like the \"breacrumbs\" navigation UI design+   pattern, and the types reflect this visually.+    +   Nevertheless user-provided type annotations should almost never be+   necessary, so these will probably never appear in your code.+-}+  , Top(..) , (:>)(..) , Hist(..)    -- * Zipper operations   , zipper , close   -- ** Motions   , move , moveP , moveUp   -- ** Focus+{- |+   In addition to these, 'viewf' can be used to view the focus.+-}   , focus , setf , modf   ) where  {- TODO+-      - either switch to new lens lib, or add TH to your own -      - excellent rewrite rules+-          - first look at core output of simple example+-          - add rules one-by-one, looking at core+-      - change moveP -> pmove? -      - consider a newtype-wrapped submodule encapsulating monad return value+-          what we really want is a notation like:+-              move x+-              move y+-              foc <- move z+-              moveUp +-              modf (+foc)+-          quasiquotation, or can we shoe-horn this into proc notation? +-          otherwise add those combinators (in notes) -      - more advanced motions a.la. pez? -      - better demos+-      - pretty Show instance for Zipper -}  import Data.Yall.Lens

@@ -7,7 +7,7 @@ -- 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.1+Version:             0.2  -- A short (one-line) description of the package. Synopsis:            A simple lens-based, generic, heterogenous, type-checked zipper library@@ -21,6 +21,12 @@                      .                      For a similar approach with many more features, but less type-safety                      see "pez".+                     .+                     /CHANGES/: 0.1 to 0.2:+                     .+                     - Export all data type implementations (mea culpa!)+                     .+                     - better documentation  -- URL for the project homepage or repository. Homepage:            http://brandon.si/code/zippo/