Modulecursor-0.3.2.0Haskell2010

Cursor.Tree.Types

5 types
19 values

Packagecursor-0.3.2.0
Exports24
LanguageHaskell2010
LicenceMIT

datadata TreeCursor a b

Constructors

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

Instances6Eq, Show, Generic, NFData, Validity, Rep

(Eq a, Eq b) => Eq (TreeCursor a b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
(Show a, Show b) => Show (TreeCursor a b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic (TreeCursor a b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
(NFData a, NFData b) => NFData (TreeCursor a b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
(Validity a, Validity b) => Validity (TreeCursor a b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep (TreeCursor a b) = D1 ('MetaData "TreeCursor" "Cursor.Tree.Types" "cursor-0.3.2.0-CnVsw36Ku0W6UbunGI9kmH" '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 'SourceStrict 'DecidedStrict) (Rec0 (CForest b)))))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

valuetreeCursorAboveL

:: Functor f
=> Maybe (TreeAbove b) -> f (Maybe (TreeAbove b))
-> TreeCursor a b
-> f (TreeCursor a b)

valuetreeCursorCurrentL

:: Functor f
=> a -> f a'
-> TreeCursor a b
-> f (TreeCursor a' b)

valuetreeCursorBelowL

:: Functor f
=> CForest b -> f (CForest b)
-> TreeCursor a b
-> f (TreeCursor a b)

valuetreeCursorCurrentSubTreeL

:: Functor f
=> (a, CForest b) -> f (a', CForest b)
-> TreeCursor a b
-> f (TreeCursor a' b)

datadata TreeAbove b

Constructors

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

Instances7Functor, Eq, Show, Generic, NFData, Validity, …

Functor TreeAboveDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Eq b => Eq (TreeAbove b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Show b => Show (TreeAbove b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic (TreeAbove b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
NFData b => NFData (TreeAbove b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Validity b => Validity (TreeAbove b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep (TreeAbove b) = D1 ('MetaData "TreeAbove" "Cursor.Tree.Types" "cursor-0.3.2.0-CnVsw36Ku0W6UbunGI9kmH" '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]))))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

valuetreeAboveLeftsL

:: Functor f
=> [CTree b] -> f [CTree b]
-> TreeAbove b
-> f (TreeAbove b)

valuetreeAboveAboveL

:: Functor f
=> Maybe (TreeAbove b) -> f (Maybe (TreeAbove b))
-> TreeAbove b
-> f (TreeAbove b)

valuetreeAboveNodeL :: Functor f => (b -> f b) -> TreeAbove b -> f (TreeAbove b)

valuetreeAboveRightsL

:: Functor f
=> [CTree b] -> f [CTree b]
-> TreeAbove b
-> f (TreeAbove b)

datadata TreeCursorSelection

Instances6Eq, Show, Generic, NFData, Validity, Rep

Eq TreeCursorSelectionDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Show TreeCursorSelectionDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic TreeCursorSelectionDefined in cursor-0.3.2.0 · Cursor.Tree.Types
NFData TreeCursorSelectionDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Validity TreeCursorSelectionDefined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep TreeCursorSelection = D1 ('MetaData "TreeCursorSelection" "Cursor.Tree.Types" "cursor-0.3.2.0-CnVsw36Ku0W6UbunGI9kmH" 'False) (C1 ('MetaCons "SelectNode" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SelectChild" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TreeCursorSelection)))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

CTree

13 declarations

datadata CTree a

Constructors

CNode !a (CForest a)

Instances9Functor, Foldable, Traversable, Eq, Show, Generic, …

Functor CTreeDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Foldable CTreeDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Traversable CTreeDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Eq a => Eq (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Show a => Show (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
NFData a => NFData (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Validity a => Validity (CTree a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep (CTree a) = D1 ('MetaData "CTree" "Cursor.Tree.Types" "cursor-0.3.2.0-CnVsw36Ku0W6UbunGI9kmH" 'False) (C1 ('MetaCons "CNode" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CForest a))))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

valuemakeCTree :: Tree a -> CTree a

valuecTree :: Bool -> Tree a -> CTree a

valuerebuildCTree :: CTree a -> Tree a

datadata CForest a

Constructors

EmptyCForest
ClosedForest !(NonEmpty (Tree a))
OpenForest !(NonEmpty (CTree a))

Instances9Functor, Foldable, Traversable, Eq, Show, Generic, …

Functor CForestDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Foldable CForestDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Traversable CForestDefined in cursor-0.3.2.0 · Cursor.Tree.Types
Eq a => Eq (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Show a => Show (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Generic (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
NFData a => NFData (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
Validity a => Validity (CForest a)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
type Rep (CForest a) = D1 ('MetaData "CForest" "Cursor.Tree.Types" "cursor-0.3.2.0-CnVsw36Ku0W6UbunGI9kmH" 'False) (C1 ('MetaCons "EmptyCForest" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ClosedForest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Tree a)))) :+: C1 ('MetaCons "OpenForest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (CTree a))))))Defined in cursor-0.3.2.0 · Cursor.Tree.Types

valuemakeCForest :: Forest a -> CForest a

valuecForest :: Bool -> Forest a -> CForest a

valuerebuildCForest :: CForest a -> Forest a

valueemptyCForest :: CForest a

valueopenForest :: [CTree a] -> CForest a

valueclosedForest :: [Tree a] -> CForest a

valuelengthCForest :: CForest a -> Int

valueunpackCForest :: CForest a -> [CTree a]