Cursor.Tree.Types

Documentation

data TreeCursor a b

Constructors

TreeCursor

Fields

• treeAbove :: !(Maybe (TreeAbove b))
• treeCurrent :: !a
• treeBelow :: CForest b

Instances

(Eq b, Eq a) => Eq (TreeCursor a b)

Defined in Cursor.Tree.Types

Methods

(==) :: TreeCursor a b -> TreeCursor a b -> Bool

(/=) :: TreeCursor a b -> TreeCursor a b -> Bool

(Show b, Show a) => Show (TreeCursor a b)

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> TreeCursor a b -> ShowS

show :: TreeCursor a b -> String

showList :: [TreeCursor a b] -> ShowS

Generic (TreeCursor a b)

Defined in Cursor.Tree.Types

Associated Types

type Rep (TreeCursor a b) :: Type -> Type

Methods

from :: TreeCursor a b -> Rep (TreeCursor a b) x

to :: Rep (TreeCursor a b) x -> TreeCursor a b

(Validity a, Validity b) => Validity (TreeCursor a b)

Defined in Cursor.Tree.Types

Methods

validate :: TreeCursor a b -> Validation

type Rep (TreeCursor a b)

Defined in Cursor.Tree.Types

type Rep (TreeCursor a b) = D1 (MetaData "TreeCursor" "Cursor.Tree.Types" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "TreeCursor" PrefixI True) (S1 (MetaSel (Just "treeAbove") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe (TreeAbove b))) :*: (S1 (MetaSel (Just "treeCurrent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Just "treeBelow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CForest b)))))

treeCursorAboveL :: Lens' (TreeCursor a b) (Maybe (TreeAbove b))

treeCursorCurrentL :: Lens' (TreeCursor a b) a

treeCursorBelowL :: Lens' (TreeCursor a b) (CForest b)

treeCursorCurrentSubTreeL :: Lens' (TreeCursor a b) (a, CForest b)

data TreeAbove b

Constructors

TreeAbove

Fields

• treeAboveLefts :: ![CTree b]
• treeAboveAbove :: !(Maybe (TreeAbove b))
• treeAboveNode :: !b
• treeAboveRights :: ![CTree b]

Instances

Functor TreeAbove

Defined in Cursor.Tree.Types

Methods

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

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

Eq b => Eq (TreeAbove b)

Defined in Cursor.Tree.Types

Methods

(==) :: TreeAbove b -> TreeAbove b -> Bool

(/=) :: TreeAbove b -> TreeAbove b -> Bool

Show b => Show (TreeAbove b)

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> TreeAbove b -> ShowS

show :: TreeAbove b -> String

showList :: [TreeAbove b] -> ShowS

Generic (TreeAbove b)

Defined in Cursor.Tree.Types

Associated Types

type Rep (TreeAbove b) :: Type -> Type

Methods

from :: TreeAbove b -> Rep (TreeAbove b) x

to :: Rep (TreeAbove b) x -> TreeAbove b

Validity b => Validity (TreeAbove b)

Defined in Cursor.Tree.Types

Methods

validate :: TreeAbove b -> Validation

type Rep (TreeAbove b)

Defined in Cursor.Tree.Types

type Rep (TreeAbove b) = D1 (MetaData "TreeAbove" "Cursor.Tree.Types" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "TreeAbove" PrefixI True) ((S1 (MetaSel (Just "treeAboveLefts") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [CTree b]) :*: S1 (MetaSel (Just "treeAboveAbove") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe (TreeAbove b)))) :*: (S1 (MetaSel (Just "treeAboveNode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 b) :*: S1 (MetaSel (Just "treeAboveRights") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [CTree b]))))

treeAboveLeftsL :: Lens' (TreeAbove b) [CTree b]

treeAboveAboveL :: Lens' (TreeAbove b) (Maybe (TreeAbove b))

treeAboveNodeL :: Lens' (TreeAbove b) b

treeAboveRightsL :: Lens' (TreeAbove b) [CTree b]

data TreeCursorSelection

Constructors

SelectNode

SelectChild !Int !TreeCursorSelection

Instances

Eq TreeCursorSelection

Defined in Cursor.Tree.Types

Methods

(==) :: TreeCursorSelection -> TreeCursorSelection -> Bool

(/=) :: TreeCursorSelection -> TreeCursorSelection -> Bool

Show TreeCursorSelection

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> TreeCursorSelection -> ShowS

show :: TreeCursorSelection -> String

showList :: [TreeCursorSelection] -> ShowS

Generic TreeCursorSelection

Defined in Cursor.Tree.Types

Associated Types

type Rep TreeCursorSelection :: Type -> Type

Methods

from :: TreeCursorSelection -> Rep TreeCursorSelection x

to :: Rep TreeCursorSelection x -> TreeCursorSelection

Validity TreeCursorSelection

Defined in Cursor.Tree.Types

Methods

validate :: TreeCursorSelection -> Validation

type Rep TreeCursorSelection

Defined in Cursor.Tree.Types

type Rep TreeCursorSelection = D1 (MetaData "TreeCursorSelection" "Cursor.Tree.Types" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "SelectNode" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SelectChild" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TreeCursorSelection)))

CTree

data CTree a

Constructors

CNode !a (CForest a)

Instances

Functor CTree

Defined in Cursor.Tree.Types

Methods

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

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

Eq a => Eq (CTree a)

Defined in Cursor.Tree.Types

Methods

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

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

Show a => Show (CTree a)

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> CTree a -> ShowS

show :: CTree a -> String

showList :: [CTree a] -> ShowS

Generic (CTree a)

Defined in Cursor.Tree.Types

Associated Types

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

Methods

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

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

Validity a => Validity (CTree a)

Defined in Cursor.Tree.Types

Methods

validate :: CTree a -> Validation

type Rep (CTree a)

Defined in Cursor.Tree.Types

type Rep (CTree a) = D1 (MetaData "CTree" "Cursor.Tree.Types" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "CNode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CForest a))))

makeCTree :: Tree a -> CTree a

cTree :: Bool -> Tree a -> CTree a

rebuildCTree :: CTree a -> Tree a

data CForest a

Constructors

EmptyCForest

ClosedForest !(NonEmpty (Tree a))

OpenForest !(NonEmpty (CTree a))

Instances

Functor CForest

Defined in Cursor.Tree.Types

Methods

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

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

Eq a => Eq (CForest a)

Defined in Cursor.Tree.Types

Methods

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

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

Show a => Show (CForest a)

Defined in Cursor.Tree.Types

Methods

showsPrec :: Int -> CForest a -> ShowS

show :: CForest a -> String

showList :: [CForest a] -> ShowS

Generic (CForest a)

Defined in Cursor.Tree.Types

Associated Types

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

Methods

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

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

Validity a => Validity (CForest a)

Defined in Cursor.Tree.Types

Methods

validate :: CForest a -> Validation

type Rep (CForest a)

Defined in Cursor.Tree.Types

type Rep (CForest a) = D1 (MetaData "CForest" "Cursor.Tree.Types" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "EmptyCForest" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ClosedForest" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (NonEmpty (Tree a)))) :+: C1 (MetaCons "OpenForest" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (NonEmpty (CTree a))))))

makeCForest :: Forest a -> CForest a

cForest :: Bool -> Forest a -> CForest a

rebuildCForest :: CForest a -> Forest a

emptyCForest :: CForest a

openForest :: [CTree a] -> CForest a

closedForest :: [Tree a] -> CForest a

lengthCForest :: CForest a -> Int

unpackCForest :: CForest a -> [CTree a]