Data.Hoodle.Zipper

representing selection of hoodle type

Documentation

type NonEmptyList a = (a, [a])

newtype SeqZipper a

Constructors

SZ

Fields

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

Instances

Functor SeqZipper

Applicative SeqZipper

Foldable SeqZipper

Traversable 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)

fromNonEmptyList :: NonEmptyList a -> SeqZipper a

toSeq :: SeqZipper a -> Seq a

type ZipperSelect = SeqZipper

selectFirst :: ZipperSelect a -> ZipperSelect a