Modulecursor-0.3.2.0Haskell2010

Cursor.Simple.Forest

Synopsis

type ForestCursor
value singletonForestCursor
value makeForestCursor
value rebuildForestCursor
value drawForestCursor
value mapForestCursor
value forestCursorListCursorL
value forestCursorSelectedTreeL
value forestCursorSelectPrevTreeCursor
value forestCursorSelectNextTreeCursor
value forestCursorSelectFirstTreeCursor
value forestCursorSelectLastTreeCursor
value forestCursorSelectPrev
value forestCursorSelectNext
value forestCursorSelectPrevOnSameLevel
value forestCursorSelectNextOnSameLevel
value forestCursorSelectFirst
value forestCursorSelectLast
value forestCursorSelectFirstOnSameLevel
value forestCursorSelectLastOnSameLevel
value forestCursorSelectAbove
value forestCursorSelectBelowAtPos
value forestCursorSelectBelowAtStart
value forestCursorSelectBelowAtEnd
value forestCursorOpenCurrentForest
value forestCursorCloseCurrentForest
value forestCursorToggleCurrentForest
value forestCursorOpenCurrentForestRecursively
value forestCursorToggleCurrentForestRecursively
value forestCursorSelection
value forestCursorSelectIndex
value forestCursorInsertEntireTree
value forestCursorInsertAndSelectTreeCursor
value forestCursorAppendEntireTree
value forestCursorAppendAndSelectTreeCursor
value forestCursorInsertTree
value forestCursorAppendTree
value forestCursorInsertAndSelectTree
value forestCursorAppendAndSelectTree
value forestCursorInsert
value forestCursorAppend
value forestCursorInsertAndSelect
value forestCursorAppendAndSelect
value forestCursorInsertNodeSingleAndSelect
value forestCursorAppendNodeSingleAndSelect
value forestCursorInsertNodeAndSelect
value forestCursorAppendNodeAndSelect
value forestCursorAddChildTreeToNodeAtPos
value forestCursorAddChildTreeToNodeAtStart
value forestCursorAddChildTreeToNodeAtEnd
value forestCursorAddChildToNodeAtPos
value forestCursorAddChildToNodeAtStart
value forestCursorAddChildToNodeAtEnd
value forestCursorAddChildTreeToNodeAtPosAndSelect
value forestCursorAddChildTreeToNodeAtStartAndSelect
value forestCursorAddChildTreeToNodeAtEndAndSelect
value forestCursorAddChildToNodeAtPosAndSelect
value forestCursorAddChildToNodeAtStartAndSelect
value forestCursorAddChildToNodeAtEndAndSelect
value forestCursorAddChildNodeSingleToNodeAtPosAndSelect
value forestCursorAddChildNodeSingleToNodeAtStartAndSelect
value forestCursorAddChildNodeSingleToNodeAtEndAndSelect
value forestCursorAddChildNodeToNodeAtPosAndSelect
value forestCursorAddChildNodeToNodeAtStartAndSelect
value forestCursorAddChildNodeToNodeAtEndAndSelect
value forestCursorRemoveElemAndSelectPrev
value forestCursorDeleteElemAndSelectNext
value forestCursorRemoveElem
value forestCursorDeleteElem
value forestCursorRemoveSubTreeAndSelectPrev
value forestCursorDeleteSubTreeAndSelectNext
value forestCursorRemoveSubTree
value forestCursorDeleteSubTree
value forestCursorAddRoot
value forestCursorSwapPrev
value forestCursorSwapNext
value forestCursorPromoteElem
value forestCursorPromoteSubTree
value forestCursorDemoteElem
value forestCursorDemoteSubTree
value forestCursorDemoteElemUnder
value forestCursorDemoteSubTreeUnder
data CTree
value makeCTree
value cTree
value rebuildCTree
data CForest
value makeCForest
value cForest
value rebuildCForest

Packagecursor-0.3.2.0
Exports90
LanguageHaskell2010
LicenceMIT
SourceForest.hs

typetype ForestCursor a = ForestCursor a a

valuesingletonForestCursor :: a -> ForestCursor a b

valuemakeForestCursor :: NonEmpty (CTree a) -> ForestCursor a

valuerebuildForestCursor :: ForestCursor a -> NonEmpty (CTree a)

valuedrawForestCursor :: (Show a, Show b) => ForestCursor a b -> String

valuemapForestCursor :: (a -> b) -> ForestCursor a -> ForestCursor b

valueforestCursorListCursorL

:: Functor f
=> NonEmptyCursor (TreeCursor a b) (CTree b) -> f (NonEmptyCursor (TreeCursor c d) (CTree d))
-> ForestCursor a b
-> f (ForestCursor c d)

valueforestCursorSelectedTreeL

:: Functor f
=> TreeCursor a b -> f (TreeCursor a b)
-> ForestCursor a b
-> f (ForestCursor a b)

valueforestCursorSelectPrevTreeCursor :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorSelectNextTreeCursor :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorSelectFirstTreeCursor :: ForestCursor a -> ForestCursor a

valueforestCursorSelectLastTreeCursor :: ForestCursor a -> ForestCursor a

valueforestCursorSelectPrev :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorSelectNext :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorSelectPrevOnSameLevel

:: ForestCursor a
-> Maybe (ForestCursor a)

valueforestCursorSelectNextOnSameLevel

:: ForestCursor a
-> Maybe (ForestCursor a)

valueforestCursorSelectFirst :: ForestCursor a -> ForestCursor a

valueforestCursorSelectLast :: ForestCursor a -> ForestCursor a

valueforestCursorSelectFirstOnSameLevel :: ForestCursor a -> ForestCursor a

valueforestCursorSelectLastOnSameLevel :: ForestCursor a -> ForestCursor a

valueforestCursorSelectAbove :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorSelectBelowAtPos

:: Int
-> ForestCursor a
-> Maybe (ForestCursor a)

valueforestCursorSelectBelowAtStart :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorSelectBelowAtEnd :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorOpenCurrentForest

:: ForestCursor a b
-> Maybe (ForestCursor a b)

valueforestCursorCloseCurrentForest

:: ForestCursor a b
-> Maybe (ForestCursor a b)

valueforestCursorToggleCurrentForest

:: ForestCursor a b
-> Maybe (ForestCursor a b)

valueforestCursorOpenCurrentForestRecursively

:: ForestCursor a b
-> Maybe (ForestCursor a b)

valueforestCursorToggleCurrentForestRecursively

:: ForestCursor a b
-> Maybe (ForestCursor a b)

valueforestCursorSelection :: ForestCursor a b -> Int

valueforestCursorSelectIndex :: Int -> ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorInsertEntireTree

:: Tree b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorInsertAndSelectTreeCursor

:: TreeCursor a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAppendEntireTree

:: Tree b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorAppendAndSelectTreeCursor

:: TreeCursor a
-> ForestCursor a
-> ForestCursor a

valueforestCursorInsertTree :: Tree b -> ForestCursor a b -> ForestCursor a b

valueforestCursorAppendTree :: Tree b -> ForestCursor a b -> ForestCursor a b

valueforestCursorInsertAndSelectTree

:: Tree a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAppendAndSelectTree

:: Tree a
-> ForestCursor a
-> ForestCursor a

valueforestCursorInsert :: b -> ForestCursor a b -> ForestCursor a b

valueforestCursorAppend :: b -> ForestCursor a b -> ForestCursor a b

valueforestCursorInsertAndSelect :: a -> ForestCursor a -> ForestCursor a

valueforestCursorAppendAndSelect :: a -> ForestCursor a -> ForestCursor a

valueforestCursorInsertNodeSingleAndSelect

:: a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAppendNodeSingleAndSelect

:: a
-> ForestCursor a
-> ForestCursor a

valueforestCursorInsertNodeAndSelect

:: a
-> CForest a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAppendNodeAndSelect

:: a
-> CForest a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildTreeToNodeAtPos

:: Int
-> Tree b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorAddChildTreeToNodeAtStart

:: Tree b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorAddChildTreeToNodeAtEnd

:: Tree b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorAddChildToNodeAtPos

:: Int
-> b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorAddChildToNodeAtStart

:: b
-> ForestCursor a b
-> ForestCursor a b

valueforestCursorAddChildToNodeAtEnd :: b -> ForestCursor a b -> ForestCursor a b

valueforestCursorAddChildTreeToNodeAtPosAndSelect

:: Int
-> Tree a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildTreeToNodeAtStartAndSelect

:: Tree a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildTreeToNodeAtEndAndSelect

:: Tree a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildToNodeAtPosAndSelect

:: Int
-> a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildToNodeAtStartAndSelect

:: a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildToNodeAtEndAndSelect

:: a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildNodeSingleToNodeAtPosAndSelect

:: Int
-> a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildNodeSingleToNodeAtStartAndSelect

:: a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildNodeSingleToNodeAtEndAndSelect

:: a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildNodeToNodeAtPosAndSelect

:: Int
-> a
-> Forest a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildNodeToNodeAtStartAndSelect

:: a
-> Forest a
-> ForestCursor a
-> ForestCursor a

valueforestCursorAddChildNodeToNodeAtEndAndSelect

:: a
-> Forest a
-> ForestCursor a
-> ForestCursor a

valueforestCursorRemoveElemAndSelectPrev

:: ForestCursor a
-> Maybe (DeleteOrUpdate (ForestCursor a))

valueforestCursorDeleteElemAndSelectNext

:: ForestCursor a
-> Maybe (DeleteOrUpdate (ForestCursor a))

valueforestCursorRemoveElem :: ForestCursor a -> DeleteOrUpdate (ForestCursor a)

valueforestCursorDeleteElem :: ForestCursor a -> DeleteOrUpdate (ForestCursor a)

valueforestCursorRemoveSubTreeAndSelectPrev

:: ForestCursor a
-> Maybe (DeleteOrUpdate (ForestCursor a))

valueforestCursorDeleteSubTreeAndSelectNext

:: ForestCursor a
-> Maybe (DeleteOrUpdate (ForestCursor a))

valueforestCursorRemoveSubTree

:: ForestCursor a
-> DeleteOrUpdate (ForestCursor a)

valueforestCursorDeleteSubTree

:: ForestCursor a
-> DeleteOrUpdate (ForestCursor a)

valueforestCursorAddRoot :: ForestCursor a -> a -> TreeCursor a

valueforestCursorSwapPrev :: ForestCursor a b -> Maybe (ForestCursor a b)

Source#

Swaps the current node with the previous node on the same level

Example:

Before:

- a
- b <--

After:

- b <--
- a

valueforestCursorSwapNext :: ForestCursor a b -> Maybe (ForestCursor a b)

Source#

Swaps the current node with the next node on the same level

Example:

Before:

- a <--
- b

After:

- b
- a <--

valueforestCursorPromoteElem :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorPromoteSubTree :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorDemoteElem :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorDemoteSubTree :: ForestCursor a -> Maybe (ForestCursor a)

valueforestCursorDemoteElemUnder

:: b
-> b
-> ForestCursor a b
-> ForestCursor a b

Source#

Demotes the current node to the level of its children, by adding two roots. One for the current node and one for its children that are left behind.

Example:

Before:

 - a <--
   |- b

After:

 - <given element 1>
   |- a <--
 - <given element 2>
   |- b

valueforestCursorDemoteSubTreeUnder :: b -> ForestCursor a b -> ForestCursor a b

Source#

Demotes the current subtree to the level of its children, by adding a root.

Example:

Before:

 a <--
 |- b

After:

 <given element>
 |- a <--
    |- b

datadata CTree a

Constructors

CNode !a (CForest a)

Instances9Functor, Foldable, Traversable, Eq, Show, Generic, …

Functor CTreeDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Foldable CTreeDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Traversable CTreeDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Eq a => Eq (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Show a => Show (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
NFData a => NFData (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Validity a => Validity (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep (CTree a) = D1 ('MetaData "CTree" "Cursor.Tree.Types" "cursor-0.3.2.0-Goc09bEWCK1ISEU87uNjFO" 'False) (C1 ('MetaCons "CNode" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CForest a))))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

valuemakeCTree :: Tree a -> CTree a

valuecTree :: Bool -> Tree a -> CTree a

valuerebuildCTree :: CTree a -> Tree a

datadata CForest a

Constructors

Instances9Functor, Foldable, Traversable, Eq, Show, Generic, …

Functor CForestDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Foldable CForestDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Traversable CForestDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Eq a => Eq (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Show a => Show (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
NFData a => NFData (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Validity a => Validity (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep (CForest a) = D1 ('MetaData "CForest" "Cursor.Tree.Types" "cursor-0.3.2.0-Goc09bEWCK1ISEU87uNjFO" 'False) (C1 ('MetaCons "EmptyCForest" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ClosedForest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Tree a)))) :+: C1 ('MetaCons "OpenForest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (CTree a))))))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

valuemakeCForest :: Forest a -> CForest a

valuecForest :: Bool -> Forest a -> CForest a

valuerebuildCForest :: CForest a -> Forest a