xournal-types-0.5.1.0: Data types for programs for xournal file format

Copyright	(c) 2011, 2012 Ian-Woo Kim
License	BSD3
Maintainer	Ian-Woo Kim <ianwookim@gmail.com>
Stability	experimental
Portability	GHC
Safe Haskell	None
Language	Haskell98

Data.Xournal.Select

Description

representing selection of xournal type

Documentation

newtype SeqZipper a Source

Constructors

SZ
Fields unSZ :: (a, (Seq a, Seq a))

Instances

Functor SeqZipper Source
Applicative SeqZipper Source
Foldable SeqZipper Source
Traversable SeqZipper Source
GListable ((:.) Maybe SeqZipper) Source

singletonSZ :: a -> SeqZipper a Source

lengthSZ :: SeqZipper a -> Int Source

currIndex :: SeqZipper a -> Int Source

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

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 a Source

goLast :: SeqZipper a -> SeqZipper a Source

current :: SeqZipper a -> a Source

prev :: SeqZipper a -> Maybe a Source

next :: SeqZipper a -> Maybe a Source

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

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

data ZipperSelect a Source

Constructors

NoSelect
Fields allelems :: [a]
Select
Fields zipper :: (Maybe :. SeqZipper) a

Instances

Functor ZipperSelect Source
Foldable ZipperSelect Source
Traversable ZipperSelect Source
GListable ZipperSelect Source

selectFirst :: ZipperSelect a -> ZipperSelect a Source