Bosatsu/Collection/TreeList
Index
Types
TreeList[a]
type TreeList[a: +*]
Values
cons
def cons[a](head: a, arg2: TreeList[a]) -> TreeList[a]
decons
def decons[a](arg1: TreeList[a]) -> Option[(a, TreeList[a])]
empty
empty: forall a: *. TreeList[a]
eq_TreeList
def eq_TreeList[a, b](fn: (a, b) -> Bool) -> (TreeList[a], TreeList[b]) -> Bool
fold
def fold[a, b](arg1: TreeList[a], init: b, fn: (b, a) -> b) -> b
get
def get[a](arg1: TreeList[a], idx: Int) -> Option[a]
head
def head[a](tl: TreeList[a]) -> Option[a]
to_List
def to_List[a](list: TreeList[a]) -> List[a]
The source code for this page can be found here.