Bosatsu/Collection/TreeList

source code: - test_workspace/TreeList.bosatsu

Index

• Types: TreeList
• Values: cons, decons, empty, eq_TreeList, fold, get, head, to_List

Types

TreeList[a]

type TreeList[a: +*]

Values

cons

references: TreeList

def cons[a](head: a, arg2: TreeList[a]) -> TreeList[a]

decons

references: Option, TreeList, Tuple2

def decons[a](arg1: TreeList[a]) -> Option[(a, TreeList[a])]

empty

references: TreeList

empty: forall a: *. TreeList[a]

eq_TreeList

references: Bool, TreeList

def eq_TreeList[a, b](fn: (a, b) -> Bool) -> (TreeList[a], TreeList[b]) -> Bool

fold

references: TreeList

def fold[a, b](arg1: TreeList[a], init: b, fn: (b, a) -> b) -> b

get

references: Int, Option, TreeList

def get[a](arg1: TreeList[a], idx: Int) -> Option[a]

head

references: Option, TreeList

def head[a](tl: TreeList[a]) -> Option[a]

to_List

references: List, TreeList

def to_List[a](list: TreeList[a]) -> List[a]