 | Category extras | Source code | Contents | Index |
| Data.InfiniteTree |
| data Tree a |
| mkTree :: seed -> (seed -> a) -> (seed -> seed) -> (seed -> seed) -> Tree a |
| root :: Tree a -> a |
| left :: Tree a -> Tree a |
| right :: Tree a -> Tree a |
| branchF :: Functor f => f (Tree a) -> Tree (f a) |
| surreals :: Fractional a => Tree a |