Promotes the current node to the level of its parent.
Example:
Before:
p
|- a
| |- b
| | |- c
| |- d <--
| | |- e
| |- f
| |- g
|- hAfter:
p
|- a
| |- b
| | |- c
| | |- e
| |- f
| |- g
|- d <--
|- h:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulecursor-0.3.2.0Haskell2010
Promotes the current node to the level of its parent.
Example:
Before:
p
|- a
| |- b
| | |- c
| |- d <--
| | |- e
| |- f
| |- g
|- hAfter:
p
|- a
| |- b
| | |- c
| | |- e
| |- f
| |- g
|- d <--
|- hMonad PromoteElemResultDefined in cursor-0.3.2.0 · Cursor.Tree.PromoteFunctor PromoteElemResultDefined in cursor-0.3.2.0 · Cursor.Tree.PromoteApplicative PromoteElemResultDefined in cursor-0.3.2.0 · Cursor.Tree.PromoteEq a => Eq (PromoteElemResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteShow a => Show (PromoteElemResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteGeneric (PromoteElemResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteNFData a => NFData (PromoteElemResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteValidity a => Validity (PromoteElemResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.Promotetype Rep (PromoteElemResult a) = D1 ('MetaData "PromoteElemResult"
"Cursor.Tree.Promote"
"cursor-0.3.2.0-F9X8WOAtgDl2Ee7ztttX2k"
'False) ((C1 ('MetaCons "CannotPromoteTopElem"
'PrefixI 'False) U1 :+: C1 ('MetaCons "NoGrandparentToPromoteElemUnder"
'PrefixI 'False) U1) :+: (C1 ('MetaCons "NoSiblingsToAdoptChildren"
'PrefixI 'False) U1 :+: C1 ('MetaCons "PromotedElem"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))Defined in cursor-0.3.2.0 · Cursor.Tree.PromotePromotes the current node to the level of its parent.
Example:
Before:
p
|- a
| |- b
| | |- c
| |- d <--
| | |- e
| |- f
| |- g
|- hAfter:
p
|- a
| |- b
| | |- c
| |- f
| |- g
|- d <--
| |- e
|- hMonad PromoteResultDefined in cursor-0.3.2.0 · Cursor.Tree.PromoteFunctor PromoteResultDefined in cursor-0.3.2.0 · Cursor.Tree.PromoteApplicative PromoteResultDefined in cursor-0.3.2.0 · Cursor.Tree.PromoteEq a => Eq (PromoteResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteShow a => Show (PromoteResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteGeneric (PromoteResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteNFData a => NFData (PromoteResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.PromoteValidity a => Validity (PromoteResult a)Defined in cursor-0.3.2.0 · Cursor.Tree.Promotetype Rep (PromoteResult a) = D1 ('MetaData "PromoteResult"
"Cursor.Tree.Promote"
"cursor-0.3.2.0-F9X8WOAtgDl2Ee7ztttX2k"
'False) (C1 ('MetaCons "CannotPromoteTopNode"
'PrefixI 'False) U1 :+: (C1 ('MetaCons "NoGrandparentToPromoteUnder"
'PrefixI 'False) U1 :+: C1 ('MetaCons "Promoted"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))Defined in cursor-0.3.2.0 · Cursor.Tree.Promote