Data.Xournal.Select

Documentation

newtype SeqZipper a

Constructors

SZ

Fields

unSZ :: (a, (Seq a, Seq a))

Instances

Functor SeqZipper

Applicative SeqZipper

Foldable SeqZipper

Traversable SeqZipper

GListable (:. Maybe SeqZipper)

singletonSZ :: a -> SeqZipper a

lengthSZ :: SeqZipper a -> Int

currIndex :: SeqZipper a -> Int

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

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

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

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

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

goFirst :: SeqZipper a -> SeqZipper a

goLast :: SeqZipper a -> SeqZipper a

current :: SeqZipper a -> a

prev :: SeqZipper a -> Maybe a

next :: SeqZipper a -> Maybe a

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

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

data ZipperSelect a

Constructors

NoSelect

Fields

allelems :: [a]

Select

Fields

zipper :: (Maybe :. SeqZipper) a

Instances

Functor ZipperSelect

Foldable ZipperSelect

Traversable ZipperSelect

GListable ZipperSelect

selectFirst :: ZipperSelect a -> ZipperSelect a