cursor-0.3.2.0: Purely Functional Cursors
Safe HaskellNone
LanguageHaskell2010

Cursor.List

Documentation

data ListCursor a Source #

Constructors

ListCursor 

Fields

Instances

Instances details
Functor ListCursor Source # 
Instance details

Defined in Cursor.List

Methods

fmap :: (a -> b) -> ListCursor a -> ListCursor b #

(<$) :: a -> ListCursor b -> ListCursor a #

Eq a => Eq (ListCursor a) Source # 
Instance details

Defined in Cursor.List

Methods

(==) :: ListCursor a -> ListCursor a -> Bool #

(/=) :: ListCursor a -> ListCursor a -> Bool #

Show a => Show (ListCursor a) Source # 
Instance details

Defined in Cursor.List

Methods

showsPrec :: Int -> ListCursor a -> ShowS #

show :: ListCursor a -> String #

showList :: [ListCursor a] -> ShowS #

Generic (ListCursor a) Source # 
Instance details

Defined in Cursor.List

Associated Types

type Rep (ListCursor a) :: Type -> Type #

Methods

from :: ListCursor a -> Rep (ListCursor a) x #

to :: Rep (ListCursor a) x -> ListCursor a #

NFData a => NFData (ListCursor a) Source # 
Instance details

Defined in Cursor.List

Methods

rnf :: ListCursor a -> () #

Validity a => Validity (ListCursor a) Source # 
Instance details

Defined in Cursor.List

Methods

validate :: ListCursor a -> Validation #

type Rep (ListCursor a) Source # 
Instance details

Defined in Cursor.List

type Rep (ListCursor a) = D1 ('MetaData "ListCursor" "Cursor.List" "cursor-0.3.2.0-Ch3lJwc3yY89mrJgbt03T" 'False) (C1 ('MetaCons "ListCursor" 'PrefixI 'True) (S1 ('MetaSel ('Just "listCursorPrev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a]) :*: S1 ('MetaSel ('Just "listCursorNext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

emptyListCursor :: ListCursor a Source #

makeListCursor :: [a] -> ListCursor a Source #

makeListCursorWithSelection :: Int -> [a] -> Maybe (ListCursor a) Source #

rebuildListCursor :: ListCursor a -> [a] Source #

listCursorNull :: ListCursor a -> Bool Source #

listCursorLength :: ListCursor a -> Int Source #

listCursorIndex :: ListCursor a -> Int Source #

listCursorSelectPrev :: ListCursor a -> Maybe (ListCursor a) Source #

listCursorSelectNext :: ListCursor a -> Maybe (ListCursor a) Source #

listCursorSelectIndex :: Int -> ListCursor a -> ListCursor a Source #

listCursorSelectStart :: ListCursor a -> ListCursor a Source #

listCursorSelectEnd :: ListCursor a -> ListCursor a Source #

listCursorPrevItem :: ListCursor a -> Maybe a Source #

listCursorNextItem :: ListCursor a -> Maybe a Source #

listCursorPrevUntil :: (a -> Bool) -> ListCursor a -> ListCursor a Source #

listCursorNextUntil :: (a -> Bool) -> ListCursor a -> ListCursor a Source #

listCursorInsert :: a -> ListCursor a -> ListCursor a Source #

listCursorAppend :: a -> ListCursor a -> ListCursor a Source #

listCursorInsertList :: [a] -> ListCursor a -> ListCursor a Source #

listCursorAppendList :: [a] -> ListCursor a -> ListCursor a Source #

listCursorRemove :: ListCursor a -> Maybe (DeleteOrUpdate (ListCursor a)) Source #

listCursorDelete :: ListCursor a -> Maybe (DeleteOrUpdate (ListCursor a)) Source #

listCursorSplit :: ListCursor a -> (ListCursor a, ListCursor a) Source #

listCursorCombine :: ListCursor a -> ListCursor a -> ListCursor a Source #

traverseListCursor :: ([a] -> [a] -> f b) -> ListCursor a -> f b Source #

foldListCursor :: ([a] -> [a] -> b) -> ListCursor a -> b Source #