Stack

Mutable stack data structure.

type Stack<T> = { var top : ?StackNode<T>; var size : Nat }

public func freeze<T>(stack : Stack<T>) : Immutable.Stack<T>

public func thaw<T>(stack : Immutable.Stack<T>) : Stack<T>

public func empty<T>() : Stack<T>

public func tabulate<T>(size : Nat, generator : Nat -> T) : Stack<T>

public func clear<T>(stack : Stack<T>)

public func clone<T>(stack : Stack<T>) : Stack<T>

public func isEmpty<T>(stack : Stack<T>) : Bool

public func size<T>(stack : Stack<T>) : Nat

public func contains<T>(stack : Stack<T>, item : T) : Bool

public func push<T>(stack : Stack<T>, value : T)

public func peek<T>(stack : Stack<T>) : ?T

public func pop<T>(stack : Stack<T>) : ?T

public func get<T>(stack : Stack<T>, n : Nat) : ?T

public func reverse<T>(stack : Stack<T>) : ()

public func forEach<T>(stack : Stack<T>, f : T -> ())

public func map<T1, T2>(stack : Stack<T1>, f : T1 -> T2) : Stack<T2>

public func filter<T>(stack : Stack<T>, f : T -> Bool) : Stack<T>

public func filterMap<T, U>(stack : Stack<T>, f : T -> ?U) : Stack<U>

public func partition<T>(stack : Stack<T>, f : T -> Bool) : (Stack<T>, Stack<T>)

public func concat<T>(stack1 : Stack<T>, stack2 : Stack<T>) : Stack<T>

public func join<T>(stack : IterType.Iter<Stack<T>>) : Stack<T>

public func flatten<T>(stack : Stack<Stack<T>>) : Stack<T>

public func take<T>(stack : Stack<T>, n : Nat) : Stack<T>

public func drop<T>(stack : Stack<T>, n : Nat) : Stack<T>

public func foldLeft<T, A>(
  stack : Stack<T>,
  base : A,
  combine : (A, T) -> A
) : A

public func foldRight<T, A>(
  stack : Stack<T>,
  base : A,
  combine : (T, A) -> A
) : A

public func find<T>(stack : Stack<T>, f : T -> Bool) : ?T

public func all<T>(stack : Stack<T>, f : T -> Bool) : Bool

public func any<T>(stack : Stack<T>, f : T -> Bool) : Bool

public func merge<T>(
  stack1 : Stack<T>,
  stack2 : Stack<T>,
  lessThanOrEqual : (T, T) -> Bool
) : Stack<T>

public func compare<T>(
  stack1 : Stack<T>,
  stack2 : Stack<T>,
  compare : (T, T) -> Order.Order
) : Order.Order

public func equal<T>(stack1 : Stack<T>, stack2 : Stack<T>) : Bool

public func singleton<T>(item : T) : Stack<T>

public func repeat<T>(item : T, n : Nat) : Stack<T>

public func zip<T, U>(stack1 : Stack<T>, stack2 : Stack<U>) : Stack<(T, U)>

public func zipWith<T, U, V>(
  stack1 : Stack<T>,
  stack2 : Stack<U>,
  f : (T, U) -> V
) : Stack<V>

public func split<T>(stack : Stack<T>, n : Nat) : (Stack<T>, Stack<T>)

public func chunks<T>(stack : Stack<T>, n : Nat) : Stack<Stack<T>>

public func values<T>(stack : Stack<T>) : IterType.Iter<T>

public func fromIter<T>(iter : IterType.Iter<T>) : Stack<T>

public func toText<T>(stack : Stack<T>, f : T -> Text) : Text