Cursor.Simple.Forest

Documentation

type ForestCursor a = ForestCursor a a

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

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

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

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

forestCursorListCursorL :: Lens (ForestCursor a b) (ForestCursor c d) (NonEmptyCursor (TreeCursor a b) (CTree b)) (NonEmptyCursor (TreeCursor c d) (CTree d))

forestCursorSelectedTreeL :: Lens' (ForestCursor a b) (TreeCursor a b)

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

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

forestCursorSelectFirstTreeCursor :: ForestCursor a -> ForestCursor a

forestCursorSelectLastTreeCursor :: ForestCursor a -> ForestCursor a

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

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

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

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

forestCursorSelectFirst :: ForestCursor a -> ForestCursor a

forestCursorSelectLast :: ForestCursor a -> ForestCursor a

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

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

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

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

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

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

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

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

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

forestCursorSelection :: ForestCursor a b -> Int

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

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

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

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

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

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

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

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

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

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

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

forestCursorInsertAndSelect :: a -> ForestCursor a -> ForestCursor a

forestCursorAppendAndSelect :: a -> ForestCursor a -> ForestCursor a

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

data CTree a

Constructors

CNode !a (CForest a)

Instances

Functor CTree

Defined in Cursor.Tree.Types

Methods

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

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

Eq a => Eq (CTree a)

Defined in Cursor.Tree.Types

Methods

(==) :: CTree a -> CTree a -> Bool

(/=) :: CTree a -> CTree a -> Bool

Show a => Show (CTree a)

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> CTree a -> ShowS

show :: CTree a -> String

showList :: [CTree a] -> ShowS

Generic (CTree a)

Defined in Cursor.Tree.Types

Associated Types

type Rep (CTree a) :: Type -> Type

Methods

from :: CTree a -> Rep (CTree a) x

to :: Rep (CTree a) x -> CTree a

Validity a => Validity (CTree a)

Defined in Cursor.Tree.Types

Methods

validate :: CTree a -> Validation

type Rep (CTree a)

Defined in Cursor.Tree.Types

type Rep (CTree a) = D1 (MetaData "CTree" "Cursor.Tree.Types" "cursor-0.1.0.1-B4Ve9845sGB2dEksN2X1wh" False) (C1 (MetaCons "CNode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CForest a))))

makeCTree :: Tree a -> CTree a

cTree :: Bool -> Tree a -> CTree a

rebuildCTree :: CTree a -> Tree a

data CForest a

Constructors

EmptyCForest

ClosedForest !(NonEmpty (Tree a))

OpenForest !(NonEmpty (CTree a))

Instances

Functor CForest

Defined in Cursor.Tree.Types

Methods

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

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

Eq a => Eq (CForest a)

Defined in Cursor.Tree.Types

Methods

(==) :: CForest a -> CForest a -> Bool

(/=) :: CForest a -> CForest a -> Bool

Show a => Show (CForest a)

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> CForest a -> ShowS

show :: CForest a -> String

showList :: [CForest a] -> ShowS

Generic (CForest a)

Defined in Cursor.Tree.Types

Associated Types

type Rep (CForest a) :: Type -> Type

Methods

from :: CForest a -> Rep (CForest a) x

to :: Rep (CForest a) x -> CForest a

Validity a => Validity (CForest a)

Defined in Cursor.Tree.Types

Methods

validate :: CForest a -> Validation

type Rep (CForest a)

Defined in Cursor.Tree.Types

type Rep (CForest a) = D1 (MetaData "CForest" "Cursor.Tree.Types" "cursor-0.1.0.1-B4Ve9845sGB2dEksN2X1wh" False) (C1 (MetaCons "EmptyCForest" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ClosedForest" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (NonEmpty (Tree a)))) :+: C1 (MetaCons "OpenForest" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (NonEmpty (CTree a))))))

makeCForest :: Forest a -> CForest a

cForest :: Bool -> Forest a -> CForest a

rebuildCForest :: CForest a -> Forest a