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

Methods

fmap :: (a -> b) -> SeqZipper a -> SeqZipper b

(<$) :: a -> SeqZipper b -> SeqZipper a

Applicative SeqZipper

Methods

pure :: a -> SeqZipper a

(<*>) :: SeqZipper (a -> b) -> SeqZipper a -> SeqZipper b

(*>) :: SeqZipper a -> SeqZipper b -> SeqZipper b

(<*) :: SeqZipper a -> SeqZipper b -> SeqZipper a

Foldable SeqZipper

deriving instance Foldable SeqZipper

Methods

fold :: Monoid m => SeqZipper m -> m

foldMap :: Monoid m => (a -> m) -> SeqZipper a -> m

foldr :: (a -> b -> b) -> b -> SeqZipper a -> b

foldr' :: (a -> b -> b) -> b -> SeqZipper a -> b

foldl :: (b -> a -> b) -> b -> SeqZipper a -> b

foldl' :: (b -> a -> b) -> b -> SeqZipper a -> b

foldr1 :: (a -> a -> a) -> SeqZipper a -> a

foldl1 :: (a -> a -> a) -> SeqZipper a -> a

toList :: SeqZipper a -> [a]

null :: SeqZipper a -> Bool

length :: SeqZipper a -> Int

elem :: Eq a => a -> SeqZipper a -> Bool

maximum :: Ord a => SeqZipper a -> a

minimum :: Ord a => SeqZipper a -> a

sum :: Num a => SeqZipper a -> a

product :: Num a => SeqZipper a -> a

Traversable SeqZipper

Methods

traverse :: Applicative f => (a -> f b) -> SeqZipper a -> f (SeqZipper b)

sequenceA :: Applicative f => SeqZipper (f a) -> f (SeqZipper a)

mapM :: Monad m => (a -> m b) -> SeqZipper a -> m (SeqZipper b)

sequence :: Monad m => SeqZipper (m a) -> m (SeqZipper a)

singletonSZ :: a -> SeqZipper a

lengthSZ :: SeqZipper a -> Int

currIndex :: SeqZipper a -> Int

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

appendDropSecond :: 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