Documentation

type NonEmptyList a = (a, [a])Source

newtype SeqZipper a Source

singletonSZ :: a -> SeqZipper aSource

lengthSZ :: SeqZipper a -> IntSource

currIndex :: SeqZipper a -> IntSource

appendGoLast :: SeqZipper a -> a -> SeqZipper aSource

chopFirst :: SeqZipper a -> Maybe (SeqZipper a)Source

moveLeft :: SeqZipper a -> Maybe (SeqZipper a)Source

moveRight :: SeqZipper a -> Maybe (SeqZipper a)Source

moveTo :: Int -> SeqZipper a -> Maybe (SeqZipper a)Source

goFirst :: SeqZipper a -> SeqZipper aSource

goLast :: SeqZipper a -> SeqZipper aSource

current :: SeqZipper a -> aSource

prev :: SeqZipper a -> Maybe aSource

next :: SeqZipper a -> Maybe aSource

replace :: a -> SeqZipper a -> SeqZipper aSource

deleteCurrent :: SeqZipper a -> Maybe (SeqZipper a)Source

fromNonEmptyList :: NonEmptyList a -> SeqZipper aSource

toSeq :: SeqZipper a -> Seq aSource

type ZipperSelect = SeqZipperSource

selectFirst :: ZipperSelect a -> ZipperSelect aSource