- data Rope
- rope :: FingerTree Delta Strand -> Rope
- strands :: Rope -> FingerTree Delta Strand
- data Strand
- = Strand !ByteString !Delta
- | LineDirective !ByteString !Int64
- strand :: ByteString -> Strand
- data Delta
- class HasDelta t where
- class HasBytes t where
Documentation
Strands of a rope
strand :: ByteString -> StrandSource
Properties
HasDelta Char | |
HasDelta Word8 | |
HasDelta ByteString | |
HasDelta Delta | |
HasDelta Rope | |
HasDelta Strand | |
HasDelta Rendering | |
HasDelta HighlightedRope | |
HasDelta Caret | |
HasDelta (Rendered a) | |
HasDelta (Diagnostic m) | |
(HasDelta l, HasDelta r) => HasDelta (Either l r) | |
(Measured v a, HasDelta v) => HasDelta (FingerTree v a) |