HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulecursor-0.3.2.0Haskell2010

Cursor.Tree.Demote

  • 1 type
  • 4 values
  • Packagecursor-0.3.2.0
  • Exports5
  • LanguageHaskell2010
  • LicenceMIT
  • SourceDemote.hs
datadata DemoteResult a
#
Instances7Functor, Eq, Show, Generic, NFData, Validity, …
valuetreeCursorDemoteElemUnder
  1. :: b
  2. -> b
  3. -> TreeCursor a b
  4. -> Maybe (TreeCursor 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:

 p
 |- a <--
    |- b

After:

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