Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data TreeCursor a b = TreeCursor {}
- treeCursorAboveL :: Lens' (TreeCursor a b) (Maybe (TreeAbove b))
- treeCursorCurrentL :: Lens (TreeCursor a b) (TreeCursor a' b) a a'
- treeCursorBelowL :: Lens' (TreeCursor a b) (CForest b)
- treeCursorCurrentSubTreeL :: Lens (TreeCursor a b) (TreeCursor a' b) (a, CForest b) (a', CForest b)
- data TreeAbove b = TreeAbove {
- treeAboveLefts :: ![CTree b]
- treeAboveAbove :: !(Maybe (TreeAbove b))
- treeAboveNode :: !b
- treeAboveRights :: ![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
- data CTree a = CNode !a (CForest a)
- makeCTree :: Tree a -> CTree a
- cTree :: Bool -> Tree a -> CTree a
- rebuildCTree :: CTree a -> Tree a
- data CForest a
- = EmptyCForest
- | ClosedForest !(NonEmpty (Tree a))
- | OpenForest !(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]
Documentation
data TreeCursor a b Source #
Instances
treeCursorAboveL :: Lens' (TreeCursor a b) (Maybe (TreeAbove b)) Source #
treeCursorCurrentL :: Lens (TreeCursor a b) (TreeCursor a' b) a a' Source #
treeCursorBelowL :: Lens' (TreeCursor a b) (CForest b) Source #
treeCursorCurrentSubTreeL :: Lens (TreeCursor a b) (TreeCursor a' b) (a, CForest b) (a', CForest b) Source #
TreeAbove | |
|
Instances
Functor TreeAbove Source # | |
Eq b => Eq (TreeAbove b) Source # | |
Show b => Show (TreeAbove b) Source # | |
Generic (TreeAbove b) Source # | |
NFData b => NFData (TreeAbove b) Source # | |
Defined in Cursor.Tree.Types | |
Validity b => Validity (TreeAbove b) Source # | |
Defined in Cursor.Tree.Types validate :: TreeAbove b -> Validation # | |
type Rep (TreeAbove b) Source # | |
Defined in Cursor.Tree.Types type Rep (TreeAbove b) = D1 ('MetaData "TreeAbove" "Cursor.Tree.Types" "cursor-0.3.2.0-Ch3lJwc3yY89mrJgbt03T" '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])))) |
treeAboveNodeL :: Lens' (TreeAbove b) b Source #
data TreeCursorSelection Source #
Instances
CTree
Instances
rebuildCTree :: CTree a -> Tree a Source #
EmptyCForest | |
ClosedForest !(NonEmpty (Tree a)) | |
OpenForest !(NonEmpty (CTree a)) |
Instances
makeCForest :: Forest a -> CForest a Source #
rebuildCForest :: CForest a -> Forest a Source #
emptyCForest :: CForest a Source #
openForest :: [CTree a] -> CForest a Source #
closedForest :: [Tree a] -> CForest a Source #
lengthCForest :: CForest a -> Int Source #
unpackCForest :: CForest a -> [CTree a] Source #