Cursor.Tree.Swap

Documentation

treeCursorSwapPrev :: TreeCursor a b -> SwapResult (TreeCursor a b)

Swaps the current node with the previous node on the same level

Example:

Before:

p
|- a
|- b <--

After:

p
|- b <--
|- a

treeCursorSwapNext :: TreeCursor a b -> SwapResult (TreeCursor a b)

Swaps the current node with the next node on the same level

Example:

Before:

p
|- a <--
|- b

After:

p
|- b
|- a <--

data SwapResult a

Constructors

SwapperIsTopNode

NoSiblingsToSwapWith

Swapped a

Instances

Functor SwapResult

Defined in Cursor.Tree.Swap

Methods

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

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

Eq a => Eq (SwapResult a)

Defined in Cursor.Tree.Swap

Methods

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

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

Show a => Show (SwapResult a)

Defined in Cursor.Tree.Swap

Methods

showsPrec :: Int -> SwapResult a -> ShowS

show :: SwapResult a -> String

showList :: [SwapResult a] -> ShowS

Generic (SwapResult a)

Defined in Cursor.Tree.Swap

Associated Types

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

Methods

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

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

NFData a => NFData (SwapResult a)

Defined in Cursor.Tree.Swap

Methods

rnf :: SwapResult a -> ()

Validity a => Validity (SwapResult a)

Defined in Cursor.Tree.Swap

Methods

validate :: SwapResult a -> Validation

type Rep (SwapResult a)

Defined in Cursor.Tree.Swap

type Rep (SwapResult a) = D1 (MetaData "SwapResult" "Cursor.Tree.Swap" "cursor-0.3.0.0-4Hn80vYAl979Qxk54M4vdL" False) (C1 (MetaCons "SwapperIsTopNode" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NoSiblingsToSwapWith" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Swapped" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))