Modulecursor-0.3.2.0Haskell2010

Cursor.Tree.Types

Contents

CTree

Synopsis

data TreeCursor
value treeCursorAboveL
value treeCursorCurrentL
value treeCursorBelowL
value treeCursorCurrentSubTreeL
data TreeAbove
value treeAboveLeftsL
value treeAboveAboveL
value treeAboveNodeL
value treeAboveRightsL
data TreeCursorSelection
data CTree
value makeCTree
value cTree
value rebuildCTree
data CForest
value makeCForest
value cForest
value rebuildCForest
value emptyCForest
value openForest
value closedForest
value lengthCForest
value unpackCForest

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 b, Eq a) => Eq (TreeCursor a b)Defined in cursor-0.3.2.0 · Cursor.Tree.Types
(Show b, Show a) => 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-Goc09bEWCK1ISEU87uNjFO" '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-Goc09bEWCK1ISEU87uNjFO" '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-Goc09bEWCK1ISEU87uNjFO" '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

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-Goc09bEWCK1ISEU87uNjFO" '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-Goc09bEWCK1ISEU87uNjFO" '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]