veb

Safe Haskell	None
Language	GHC2024

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 #

height :: Tree -> Int Source #

marked :: Tree -> Bool Source #

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 #

left :: Loc -> Loc Source #

right :: Loc -> Loc Source #

top :: Tree -> Loc Source #

up :: Loc -> Loc Source #

upmost :: Loc -> Loc Source #

data Order Source #

Constructors

Pre
In
Post

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

harvestLeft :: Loc -> [Loc] Source #

harvestRight :: Loc -> [Loc] Source #

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

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

leaves :: Tree -> [Loc] Source #

make :: Int -> Tree Source #

mark :: Loc -> Loc Source #

minLoc :: Loc -> Maybe Loc Source #

maxLoc :: Loc -> Maybe Loc Source #

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

neighbourLoc :: Loc -> Maybe Loc Source #

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

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

predLoc :: Loc -> Maybe Loc Source #

succLoc :: Loc -> Maybe Loc Source #

toBits :: Loc -> [Int] Source #

toNum :: Loc -> Int Source #

unmark :: Loc -> Loc Source #

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

data Set' Source #

Constructors

setNew' :: Int -> Set' Source #

setInsert' :: Set' -> Int -> Set' Source #

setDelete' :: Set' -> Int -> Set' Source #

setEmpty' :: Set' -> Bool Source #

setMin' :: Set' -> Maybe Loc Source #

setMax' :: Set' -> Maybe Loc Source #

setPred' :: Loc -> Maybe Loc Source #

setSucc' :: Loc -> Maybe Loc Source #

setNeighbour' :: Set' -> Int -> Maybe Loc Source #

setExtractMin' :: Set' -> Set' Source #

setExtractMax' :: Set' -> Set' Source #