veb
Safe HaskellNone
LanguageGHC2024

Silly_3_1

Documentation

data Tree Source #

Constructors

Leaf Bool 
Node Tree Tree Bool 

Instances

Instances details
Show Tree Source # 
Instance details

Defined in Silly_3_1

Methods

showsPrec :: Int -> Tree -> ShowS #

show :: Tree -> String #

showList :: [Tree] -> ShowS #

Eq Tree Source # 
Instance details

Defined in Silly_3_1

Methods

(==) :: Tree -> Tree -> Bool #

(/=) :: Tree -> Tree -> Bool #

data Ctx Source #

Constructors

Top 
L Ctx Tree 
R Tree Ctx 

Instances

Instances details
Show Ctx Source # 
Instance details

Defined in Silly_3_1

Methods

showsPrec :: Int -> Ctx -> ShowS #

show :: Ctx -> String #

showList :: [Ctx] -> ShowS #

Eq Ctx Source # 
Instance details

Defined in Silly_3_1

Methods

(==) :: Ctx -> Ctx -> Bool #

(/=) :: Ctx -> Ctx -> Bool #

type Loc = (Tree, Ctx) Source #

up :: Loc -> Loc Source #

data Order Source #

Constructors

Pre 
In 
Post 

harvest :: [Loc] -> Loc -> [Loc] Source #

insert :: Int -> Tree -> Int -> Tree Source #

delete :: Int -> Tree -> Int -> Tree Source #

modify :: Loc -> (Tree -> Tree) -> Loc Source #

path :: Int -> Int -> Tree -> Loc Source #

postorder :: (t -> Loc -> t) -> t -> Loc -> t Source #

visit :: Order -> (a -> Loc -> a) -> a -> Loc -> a Source #

data Set' Source #

Constructors

Set' Int Set