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

PortabilityGHC
Stabilityexperimental
MaintainerIan-Woo Kim <ianwookim@gmail.com>
Safe HaskellNone

Data.Xournal.Select

Description

representing selection of xournal type

Documentation

newtype SeqZipper a Source

Constructors

SZ 

Fields

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

Instances

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

data ZipperSelect a Source

Constructors

NoSelect 

Fields

allelems :: [a]
 
Select 

Fields

zipper :: (Maybe :. SeqZipper) a
 

Instances

selectFirst :: ZipperSelect a -> ZipperSelect aSource