[better documentation added to annotated ropes ekmett@gmail.com**20100323191649 Ignore-this: 69f917d55332c0107678cb2cd5728622 ] hunk ./Data/Rope/Annotated.hs 2 - ( A(rope) + ( + -- * Annotated 'Rope's + A(rope) hunk ./Data/Rope/Annotated.hs 7 - , (:~>) - , (:*:)(..) - + -- * Unpacking Annotated 'Rope' hunk ./Data/Rope/Annotated.hs 11 + , 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) hunk ./Data/Rope/Annotated.hs 14 + -- * Building Annotated 'Rope' hunk ./Data/Rope/Annotated.hs 17 - - , splitAt -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Take n a) f -> Ann (Drop n a) f -> r) -> r - , drop -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Drop n a) f -> r) -> r - , take -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Take n a) f -> r) -> r - hunk ./Data/Rope/Annotated.hs 21 - , 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) - + -- * Cutting An Annotated 'Rope' + , splitAt -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Take n a) f -> Ann (Drop n a) f -> r) -> r + , drop -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Drop n a) f -> r) -> r + , take -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Take n a) f -> r) -> r hunk ./Data/Rope/Annotated.hs 32 - -- * Type-level programming classes + + -- * Annotation Product + , (:*:)(..), fstF, sndF hunk ./Data/Rope/Annotated/Internal.hs 10 - , (:*:)(..), fstF, sndF - hunk ./Data/Rope/Annotated/Internal.hs 12 + -- * Unpackable Ropes hunk ./Data/Rope/Annotated/Internal.hs 16 + , 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 19 - , empty -- :: (Annotation f) => Ann Empty f - , append -- :: (Annotation f, ) => Ann a f -> Ann b f -> Ann (a :<> b) f - - , splitAt -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Take n a) f -> Ann (Drop n a) f -> r) -> r + -- * Splitting Ropes hunk ./Data/Rope/Annotated/Internal.hs 22 + , splitAt -- :: (Annotation f) => Int -> Ann a f -> (forall n. Ann (Take n a) f -> Ann (Drop n a) f -> r) -> r hunk ./Data/Rope/Annotated/Internal.hs 24 + -- * Building Ropes hunk ./Data/Rope/Annotated/Internal.hs 28 + , empty -- :: (Annotation f) => Ann Empty f + , append -- :: (Annotation f, ) => Ann a f -> Ann b f -> Ann (a :<> b) f hunk ./Data/Rope/Annotated/Internal.hs 31 - , 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) + -- * Breaking Ropes hunk ./Data/Rope/Annotated/Internal.hs 41 + -- * Annotation Products + , (:*:)(..), fstF, sndF hunk ./dist/doc/html/rope/doc-index.html 88 ->, Data.Rope.Annotated, Data.Rope.Annotated, Data.Rope.Annotated