Bosatsu/Collection/Queue

Index

• Types: Queue
• Values: empty_Queue, eq_Queue, fold_Queue, from_List, pop, pop_value, push, reverse_Queue, to_List, unpush

Types

Queue[a]

type Queue[a: +*]

Values

empty_Queue

empty_Queue: forall a: *. Queue[a]

eq_Queue

def eq_Queue[a](eq_fn: (a, a) -> Bool) -> (Queue[a], Queue[a]) -> Bool

fold_Queue

def fold_Queue[a, b](arg1: Queue[a], init: b, fold_fn: (b, a) -> b) -> b

from_List

def from_List[a](list: List[a]) -> Queue[a]

pop

drop an item off and return the rest, or empty

def pop[a](queue: Queue[a]) -> Queue[a]

pop_value

def pop_value[a](queue: Queue[a]) -> Option[a]

push

def push[a](arg1: Queue[a], item: a) -> Queue[a]

reverse_Queue

def reverse_Queue[a](arg1: Queue[a]) -> Queue[a]

to_List

def to_List[a](arg1: Queue[a]) -> List[a]

unpush

def unpush[a](queue: Queue[a]) -> Option[(a, Queue[a])]