Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data TreeCursor a b = TreeCursor {}
- 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 = 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) a Source #
treeCursorBelowL :: Lens' (TreeCursor a b) (CForest b) Source #
treeCursorCurrentSubTreeL :: Lens' (TreeCursor a 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 # | |
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.2.0.0-oScMrSLnpaJnDZaMGInu" 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
Functor CTree Source # | |
Eq a => Eq (CTree a) Source # | |
Show a => Show (CTree a) Source # | |
Generic (CTree a) Source # | |
Validity a => Validity (CTree a) Source # | |
Defined in Cursor.Tree.Types validate :: CTree a -> Validation # | |
type Rep (CTree a) Source # | |
Defined in Cursor.Tree.Types type Rep (CTree a) = D1 (MetaData "CTree" "Cursor.Tree.Types" "cursor-0.2.0.0-oScMrSLnpaJnDZaMGInu" 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)))) |
rebuildCTree :: CTree a -> Tree a Source #
EmptyCForest | |
ClosedForest !(NonEmpty (Tree a)) | |
OpenForest !(NonEmpty (CTree a)) |
Instances
Functor CForest Source # | |
Eq a => Eq (CForest a) Source # | |
Show a => Show (CForest a) Source # | |
Generic (CForest a) Source # | |
Validity a => Validity (CForest a) Source # | |
Defined in Cursor.Tree.Types validate :: CForest a -> Validation # | |
type Rep (CForest a) Source # | |
Defined in Cursor.Tree.Types type Rep (CForest a) = D1 (MetaData "CForest" "Cursor.Tree.Types" "cursor-0.2.0.0-oScMrSLnpaJnDZaMGInu" 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 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 #