Stdlib.Data.BinaryTree
Contents
type BinaryTree (A : Type)Source#
Constructors
fold {A B} (f : A -> B -> B -> B) (acc : B) (tree : BinaryTree A) : BSource#
fold a tree in depth-first order
length {A} (tree : BinaryTree A) : NatSource#
toList {A} (tree : BinaryTree A) : List ASource#
