Safe Haskell	None
Language	Haskell2010

Cursor.Tree.Swap

Synopsis

treeCursorSwapPrev :: TreeCursor a b -> SwapResult (TreeCursor a b)
treeCursorSwapNext :: TreeCursor a b -> SwapResult (TreeCursor a b)
data SwapResult a
- = SwapperIsTopNode
- | NoSiblingsToSwapWith
- | Swapped a

Documentation

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

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) Source #

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

Example:

Before:

p
|- a <--
|- b

After:

p
|- b
|- a <--

data SwapResult a Source #

Constructors

SwapperIsTopNode
NoSiblingsToSwapWith
Swapped a

Instances

Instances details

Functor SwapResult Source #
Instance details Defined in Cursor.Tree.Swap Methods fmap :: (a -> b) -> SwapResult a -> SwapResult b # (<$) :: a -> SwapResult b -> SwapResult a #
Eq a => Eq (SwapResult a) Source #
Instance details Defined in Cursor.Tree.Swap Methods (==) :: SwapResult a -> SwapResult a -> Bool # (/=) :: SwapResult a -> SwapResult a -> Bool #
Show a => Show (SwapResult a) Source #
Instance details Defined in Cursor.Tree.Swap Methods showsPrec :: Int -> SwapResult a -> ShowS # show :: SwapResult a -> String # showList :: [SwapResult a] -> ShowS #
Generic (SwapResult a) Source #
Instance details 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) Source #
Instance details Defined in Cursor.Tree.Swap Methods rnf :: SwapResult a -> () #
Validity a => Validity (SwapResult a) Source #
Instance details Defined in Cursor.Tree.Swap Methods validate :: SwapResult a -> Validation #
type Rep (SwapResult a) Source #
Instance details Defined in Cursor.Tree.Swap type Rep (SwapResult a) = D1 ('MetaData "SwapResult" "Cursor.Tree.Swap" "cursor-0.3.2.0-Ch3lJwc3yY89mrJgbt03T" '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))))