Cursor.Tree.Promote

Documentation

treeCursorPromoteElem :: (a -> b) -> (b -> a) -> TreeCursor a b -> PromoteElemResult (TreeCursor a b)

Promotes the current node to the level of its parent.

Example:

Before:

 p
 |- a
 |  |- b
 |  |  |- c
 |  |- d <--
 |  |  |- e
 |  |- f
 |     |- g
 |- h

After:

 p
 |- a
 |  |- b
 |  |  |- c
 |  |  |- e
 |  |- f
 |     |- g
 |- d <--
 |- h

data PromoteElemResult a

Constructors

CannotPromoteTopElem

NoGrandparentToPromoteElemUnder

NoSiblingsToAdoptChildren

PromotedElem a

Instances

Monad PromoteElemResult

Defined in Cursor.Tree.Promote

Methods

(>>=) :: PromoteElemResult a -> (a -> PromoteElemResult b) -> PromoteElemResult b

(>>) :: PromoteElemResult a -> PromoteElemResult b -> PromoteElemResult b

return :: a -> PromoteElemResult a

fail :: String -> PromoteElemResult a

Functor PromoteElemResult

Defined in Cursor.Tree.Promote

Methods

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

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

Applicative PromoteElemResult

Defined in Cursor.Tree.Promote

Methods

pure :: a -> PromoteElemResult a

(<*>) :: PromoteElemResult (a -> b) -> PromoteElemResult a -> PromoteElemResult b

liftA2 :: (a -> b -> c) -> PromoteElemResult a -> PromoteElemResult b -> PromoteElemResult c

(*>) :: PromoteElemResult a -> PromoteElemResult b -> PromoteElemResult b

(<*) :: PromoteElemResult a -> PromoteElemResult b -> PromoteElemResult a

Eq a => Eq (PromoteElemResult a)

Defined in Cursor.Tree.Promote

Methods

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

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

Show a => Show (PromoteElemResult a)

Defined in Cursor.Tree.Promote

Methods

showsPrec :: Int -> PromoteElemResult a -> ShowS

show :: PromoteElemResult a -> String

showList :: [PromoteElemResult a] -> ShowS

Generic (PromoteElemResult a)

Defined in Cursor.Tree.Promote

Associated Types

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

Methods

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

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

Validity a => Validity (PromoteElemResult a)

Defined in Cursor.Tree.Promote

Methods

validate :: PromoteElemResult a -> Validation

type Rep (PromoteElemResult a)

Defined in Cursor.Tree.Promote

type Rep (PromoteElemResult a) = D1 (MetaData "PromoteElemResult" "Cursor.Tree.Promote" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) ((C1 (MetaCons "CannotPromoteTopElem" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NoGrandparentToPromoteElemUnder" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NoSiblingsToAdoptChildren" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PromotedElem" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))

treeCursorPromoteSubTree :: (a -> b) -> (b -> a) -> TreeCursor a b -> PromoteResult (TreeCursor a b)

Promotes the current node to the level of its parent.

Example:

Before:

 p
 |- a
 |  |- b
 |  |  |- c
 |  |- d <--
 |  |  |- e
 |  |- f
 |     |- g
 |- h

After:

 p
 |- a
 |  |- b
 |  |  |- c
 |  |- f
 |     |- g
 |- d <--
 |  |- e
 |- h

data PromoteResult a

Constructors

CannotPromoteTopNode

NoGrandparentToPromoteUnder

Promoted a

Instances

Monad PromoteResult

Defined in Cursor.Tree.Promote

Methods

(>>=) :: PromoteResult a -> (a -> PromoteResult b) -> PromoteResult b

(>>) :: PromoteResult a -> PromoteResult b -> PromoteResult b

return :: a -> PromoteResult a

fail :: String -> PromoteResult a

Functor PromoteResult

Defined in Cursor.Tree.Promote

Methods

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

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

Applicative PromoteResult

Defined in Cursor.Tree.Promote

Methods

pure :: a -> PromoteResult a

(<*>) :: PromoteResult (a -> b) -> PromoteResult a -> PromoteResult b

liftA2 :: (a -> b -> c) -> PromoteResult a -> PromoteResult b -> PromoteResult c

(*>) :: PromoteResult a -> PromoteResult b -> PromoteResult b

(<*) :: PromoteResult a -> PromoteResult b -> PromoteResult a

Eq a => Eq (PromoteResult a)

Defined in Cursor.Tree.Promote

Methods

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

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

Show a => Show (PromoteResult a)

Defined in Cursor.Tree.Promote

Methods

showsPrec :: Int -> PromoteResult a -> ShowS

show :: PromoteResult a -> String

showList :: [PromoteResult a] -> ShowS

Generic (PromoteResult a)

Defined in Cursor.Tree.Promote

Associated Types

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

Methods

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

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

Validity a => Validity (PromoteResult a)

Defined in Cursor.Tree.Promote

Methods

validate :: PromoteResult a -> Validation

type Rep (PromoteResult a)

Defined in Cursor.Tree.Promote

type Rep (PromoteResult a) = D1 (MetaData "PromoteResult" "Cursor.Tree.Promote" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "CannotPromoteTopNode" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NoGrandparentToPromoteUnder" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Promoted" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))