tile
Safe HaskellNone
LanguageGHC2024

Tile.Tree

Documentation

data Tree a Source #

Constructors

Tree 

Fields

Instances

Instances details
Eq a => Eq (Tree a) Source # 
Instance details

Defined in Tile.Tree

Methods

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

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

Show a => Show (Tree a) Source # 
Instance details

Defined in Tile.Tree

Methods

showsPrec :: Int -> Tree a -> ShowS #

show :: Tree a -> String #

showList :: [Tree a] -> ShowS #

data DecompositionView Source #

data HopView Source #

newtype TileTree (view :: k) Source #

Constructors

TileTree 

Fields

Instances

Instances details
Eq (TileTree view) Source # 
Instance details

Defined in Tile.Tree

Methods

(==) :: TileTree view -> TileTree view -> Bool #

(/=) :: TileTree view -> TileTree view -> Bool #

Show (TileTree view) Source # 
Instance details

Defined in Tile.Tree

Methods

showsPrec :: Int -> TileTree view -> ShowS #

show :: TileTree view -> String #

showList :: [TileTree view] -> ShowS #

type DecompositionTree = TileTree DecompositionView Source #

type HopTree = TileTree HopView Source #

mapTree :: (a -> b) -> Tree a -> Tree b Source #

unfoldTree :: (a -> [a]) -> a -> Tree a Source #

renderTreeWith :: (a -> String) -> Tree a -> String Source #

newtype SendTree Source #

Constructors

SendTree 

Fields

Instances

Instances details
Eq SendTree Source # 
Instance details

Defined in Tile.Tree

Methods

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

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

Show SendTree Source # 
Instance details

Defined in Tile.Tree

Methods

showsPrec :: Int -> SendTree -> ShowS #

show :: SendTree -> String #

showList :: [SendTree] -> ShowS #

newtype RoutedTree a Source #

Constructors

RoutedTree 

Fields

Instances

Instances details
Eq a => Eq (RoutedTree a) Source # 
Instance details

Defined in Tile.Tree

Methods

(==) :: RoutedTree a -> RoutedTree a -> Bool #

(/=) :: RoutedTree a -> RoutedTree a -> Bool #

Show a => Show (RoutedTree a) Source # 
Instance details

Defined in Tile.Tree

Methods

showsPrec :: Int -> RoutedTree a -> ShowS #

show :: RoutedTree a -> String #

showList :: [RoutedTree a] -> ShowS #

scheduleTree :: Ord a => a -> Schedule a -> RoutedTree a Source #

routedTree :: Ord a => RoutedSchedule a -> RoutedTree a Source #

renderRoutedTree :: RoutedTree String -> String Source #

decompositionTree :: Tiling t => t -> Tile -> DecompositionTree Source #

contractAnchors :: DecompositionTree -> HopTree Source #

hopTree :: Tiling t => t -> Tile -> HopTree Source #

sendTree :: Tiling t => t -> Tile -> SendTree Source #

children :: Tiling t => t -> Tile -> [Tile] Source #

renderDecompositionTree :: [String] -> DecompositionTree -> String Source #

renderHopTree :: [String] -> HopTree -> String Source #

renderSendTree :: [String] -> SendTree -> String Source #