Cursor.Simple.Forest · cursor-0.3.2.0

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)

#

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)

#

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

#

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

#

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-F9X8WOAtgDl2Ee7ztttX2k" '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-F9X8WOAtgDl2Ee7ztttX2k" '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

#