rope 0.4 → 0.5

raw patch · 2 files changed

+7/−6 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Rope/Annotated.hs +6/−5
• rope.cabal +1/−1

@@ -19,7 +19,7 @@     , empty     -- :: MonoidA f => Ann Empty f      , append    -- :: MonoidA f => Ann a f -> Ann b f -> Ann (a :<> b) f -    , unit      -- :: (ReducerA f, Reducer t Rope) => t -> (forall a. Ann (Unit a) f -> r) -> r+    , unit      -- :: (ReducerA f, Reducer t Rope) => t -> (forall a. Ann (Return a) f -> r) -> r     , snoc      -- :: (ReducerA f, Reducer t Rope) => t -> Ann a f -> (forall c. Ann (Snoc c t a) f -> r) -> r     , cons      -- :: (ReducerA f, Reducer t Rope) => Ann a f -> t -> (forall c. Ann (Cons c t a) f -> r) -> r @@ -34,11 +34,12 @@     , dropWhile -- :: (BreakableA f, Breakable t) => (t -> Bool) -> Ann a f -> (forall n. Ann (Drop n a) f -> r) -> r      -- * Inspecting the ends of the 'Rope'-    , uncons    -- :: (BreakableA f, Unpackable t) => Ann a f -> Maybe (t, Ann (Unit (Tail t b)) f)-    , unsnoc    -- :: (BreakableA f, Unpackable t) => Ann a f -> Maybe (Ann (Unit (Init b t)) f, t)+    , uncons    -- :: (BreakableA f, Unpackable t) => Ann a f -> Maybe (t, Ann (Tail t b) f)+    , unsnoc    -- :: (BreakableA f, Unpackable t) => Ann a f -> Maybe (Ann (Init b t) f, t)      -- * Type-level constructors     , Drop, Take, Snoc, Cons, Tail, Init, Return, Nil , (:<>)+    , Tailed, Inited, Dropped, Taken, Nil, (:>)      -- * Annotations     -- ** Annotation Product@@ -89,10 +90,10 @@ type Snoc a s t = a :<> Return (Token s t)  data Tailed t a -type Tail t a = Unit (Tailed t a)+type Tail t a = Return (Tailed t a)  data Inited a t-type Init a t = Unit (Inited a t)+type Init a t = Return (Inited a t)  runAnn :: Ann a f -> (forall b. Ann b f -> r) -> r runAnn a k = k a 

@@ -1,5 +1,5 @@ name:           rope-version:        0.4+version:        0.5 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett