[fixed annotated ropes, though, with lobotomized brands ekmett@gmail.com**20100323191040 Ignore-this: a455acbfd454d9426d8f21c3417792e6 ] rmdir ./dist/src hunk ./Data/Rope/Annotated.hs 9 - , rope -- :: A s a -> Rope hunk ./Data/Rope/Annotated.hs 32 - , Drop, Take, Snoc, Cons, Tail, Init, Empty + , Drop, Take, Snoc, Cons, Tail, Init, Empty, (:<>) hunk ./Data/Rope/Annotated.hs 34 - , Append, Unsnoc, Uncons hunk ./Data/Rope/Annotated.hs 36 +import Prelude hiding (null, head, last, take, drop, span, break, splitAt, takeWhile, dropWhile) hunk ./Data/Rope/Annotated/Internal.hs 10 - , (:*:)(..) + , (:*:)(..), fstF, sndF + hunk ./Data/Rope/Annotated/Internal.hs 14 - , rope -- :: A s a -> Rope hunk ./Data/Rope/Annotated/Internal.hs 16 + , unpack -- :: Unpackable t => A s a -> [t] hunk ./Data/Rope/Annotated/Internal.hs 19 - , append -- :: (Annotation f, Append a b c) => Ann a f -> Ann b f -> Ann c f + , append -- :: (Annotation f, ) => Ann a f -> Ann b f -> Ann (a :<> b) f hunk ./Data/Rope/Annotated/Internal.hs 29 - , uncons -- :: (Annotation f, Unpackable t, Uncons t a b) => Ann a f -> Maybe (t, Ann b f) - , unsnoc -- :: (Annotation f, Unpackable t, Unsnoc t a b) => Ann a f -> Maybe (t, Ann b f) + , uncons -- :: (Annotation f, Unpackable t) => Ann a f -> Maybe (t, Ann (Tail t a) f) + , unsnoc -- :: (Annotation f, Unpackable t) => Ann a f -> Maybe (t, Ann (Init a t) f) hunk ./Data/Rope/Annotated/Internal.hs 38 - , Drop, Take, Snoc, Cons, Tail, Init, Empty - -- * Type-level programming classes - , Append, Unsnoc, Uncons, (:<>) + , Drop, Take, Snoc, Cons, Tail, Init, Empty, (:<>) hunk ./Data/Rope/Annotated/Internal.hs 42 +import Prelude hiding (null, head, last, take, drop, span, break, splitAt, takeWhile, dropWhile) hunk ./Data/Rope/Annotated/Internal.hs 51 -import Data.Traversable (Traversable(traverse), foldMapDefault) +import Data.Traversable (Traversable(traverse)) hunk ./Data/Rope/Annotated/Internal.hs 78 - extract (A _ a) = a + extract = extractA hunk ./Data/Rope/Annotated/Internal.hs 110 -unit t = A rope (unitA rope) +unit t = A r (unitA r) hunk ./Data/Rope/Annotated/Internal.hs 112 - rope :: Rope - rope = Reducer.unit t + r :: Rope + r = Reducer.unit t hunk ./Data/Rope/Annotated/Internal.hs 126 -snoc (A r a) t k = k (A r' (snocA r' (Rope.length r' - Rope.length r))) +snoc (A r a) t k = k (A r' (snocA r' (Rope.length r' - Rope.length r) a)) hunk ./Data/Rope/Annotated/Internal.hs 130 -cons t (A r a) k = k (A r' (consA (Rope.length r' - Rope.length r) r')) +cons t (A r a) k = k (A r' (consA (Rope.length r' - Rope.length r) r' a)) hunk ./Data/Rope/Annotated/Internal.hs 137 -break p (A r a) k = k (A x b) (A x c) where +break p (A r a) k = k (A x b) (A y c) where hunk ./Data/Rope/Annotated/Internal.hs 142 -span p (A r a) k = k (A x b) (A x c) where +span p (A r a) k = k (A x b) (A y c) where hunk ./Data/Rope/Annotated/Internal.hs 166 --- functor product +-- annotation product hunk ./Data/Rope/Annotated/Internal.hs 181 +instance (Applicative f, Applicative g) => Applicative (f :*: g) where + pure a = pure a :*: pure a + (f :*: g) <*> (a :*: b) = (f <*> a) :*: (g <*> b) + hunk ./Data/Rope/Annotated/Internal.hs 201 + appendA (A r (a :*: a')) (A s (b :*: b')) = + appendA (A r a) (A s b) :*: appendA (A r a') (A s b') + hunk ./Data/Rope/Annotated/Internal.hs 210 -data (:<>) a b -- Append +data (:<>) a b hunk ./dist/doc/html/rope/Data-Rope-Body.html 24 ->rope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsMeasured Offset (A s a)rope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsrope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsrope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsrope-0.2: Tools for manipulating fingertrees of bytestrings (Index)rope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotations (Index)rope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotations:*:1 (Type/Class)Data.Rope.Annotated.Internal, Data.Rope.Annotated2 (Data Constructor)Data.Rope.Annotated.Internal, Data.Rope.Annotated:<>Data.Rope.Annotated.Internal, Data.Rope.Annotated:~>Data.Rope.Annotated.Internal, Data.Rope.AnnotatedA1 (Type/Class)Data.Rope.Annotated.Internal, Data.Rope.Annotated2 (Data Constructor)Data.Rope.Annotated.InternalAnnData.Rope.Annotated.Internal, Data.Rope.AnnotatedAnnotationData.Rope.Annotated.Internal, Data.Rope.AnnotatedappendData.Rope.Annotated.Internal, Data.Rope.AnnotatedappendAData.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedComonadData.Rope.Util.ComonadConsData.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedconsAData.Rope.Annotated.InternalDropData.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotateddropAData.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedduplicateData.Rope.Util.ComonadEmptyData.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedemptyAData.Rope.Annotated.InternalextendData.Rope.Util.ComonadextractData.Rope.Util.ComonadfstFData.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedInitData.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedropeData.Rope.Annotated.Internal, Data.Rope.AnnotatedsndFData.Rope.Annotated.InternalSnocData.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedsnocAData.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedsplitAtAData.Rope.Annotated.InternalTailData.Rope.Annotated.Internal, Data.Rope.AnnotatedTakeData.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedtakeAData.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.Annotated1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.AnnotatedunitAData.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal1 (Function)2 (Function)Data.Rope.Annotated.Internal, Data.Rope.Annotatedrope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsData.Rope.Annotated
Data.Rope.Annotated.Internal
Data.Rope.Util.Comonad
rope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsrope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsrope-0.2: Tools for manipulating fingertrees of bytestringsrope-0.3: Tools for manipulating fingertrees of bytestrings with optional annotationsTools for manipulating fingertrees of bytestrings +>Tools for manipulating fingertrees of bytestrings with optional annotations hunk ./dist/doc/html/rope/index.html 78 +>show/hideData.Rope.Annotated
Data.Rope.Annotated.Internal
show/hideshow/hide
Data.Rope.Util.Comonad