moonbitlang/quickcheck/lazy does not have a README file

    LazyList

    pub(all) enum LazyList[T] {
    Nil
    Cons(T, LazyRef[LazyList[T]])
    }

    impl Add for LazyList[T]
    impl Show for LazyList[T]

    LazyList::concat

    fn[T] LazyList::concat(self : LazyList[T], other : LazyList[T]) -> LazyList[T]

    LazyList::drop

    fn[T] LazyList::drop(self : LazyList[T], n : Int) -> LazyList[T]

    LazyList::drop_while

    fn[T] LazyList::drop_while(self : LazyList[T], p : (T) -> Bool) -> LazyList[T]

    LazyList::fold_left

    fn[T, U] LazyList::fold_left(self : LazyList[T], f : (U, T) -> U, init~ : U) -> U

    LazyList::fold_right

    fn[T, U] LazyList::fold_right(self : LazyList[T], f : (T, U) -> U, init~ : U) -> U

    LazyList::head

    fn[T] LazyList::head(self : LazyList[T]) -> T

    LazyList::index

    fn[T] LazyList::index(self : LazyList[T], i : Int) -> T

    LazyList::length

    fn[T] LazyList::length(self : LazyList[T]) -> Int

    LazyList::map

    fn[T, U] LazyList::map(self : LazyList[T], f : (T) -> U) -> LazyList[U]

    LazyList::split_at

    fn[T] LazyList::split_at(self : LazyList[T], i : Int) -> (LazyList[T], LazyList[T])

    LazyList::tail

    fn[T] LazyList::tail(self : LazyList[T]) -> LazyList[T]

    LazyList::tails

    fn[T] LazyList::tails(self : LazyList[T]) -> LazyList[LazyList[T]]

    LazyList::take

    fn[T] LazyList::take(self : LazyList[T], n : Int) -> LazyList[T]

    LazyList::take_while

    fn[T] LazyList::take_while(self : LazyList[T], p : (T) -> Bool) -> LazyList[T]

    LazyList::unfold

    fn[T] LazyList::unfold(self : LazyList[T], f : (LazyList[T]) -> (T, LazyList[T])?) -> LazyList[T]

    LazyRef

    type LazyRef[T]

    LazyRef::force

    fn[T] LazyRef::force(self : LazyRef[T]) -> T

    LazyRef::from_thunk

    fn[T] LazyRef::from_thunk(f : () -> T) -> LazyRef[T]

    LazyRef::from_value

    fn[T] LazyRef::from_value(val : T) -> LazyRef[T]

    default

    fn[X] default() -> LazyList[X]

    from_list

    fn[T] from_list(ls :
    T
    [T]) -> LazyList[T]

    infinite_stream

    fn[X : Add] infinite_stream(start : X, step : X) -> LazyList[X]

    repeat

    fn[T] repeat(val : T) -> LazyList[T]

    sum

    fn[X : Add] sum(l : LazyList[X], init~ : X) -> X

    to_lazy

    fn[T] to_lazy(ls :
    T
    [T]) -> LazyList[T]

    zip_lazy_normal

    fn[A, B, C] zip_lazy_normal(f : (A, B) -> C, xs : LazyList[A], ys :
    T
    [B]) ->
    T
    [C]

    zip_plus

    fn[T] zip_plus(f : (T, T) -> T, ls1 : LazyList[T], ls2 : LazyList[T]) -> LazyList[T]

    zip_with

    fn[A, B, C] zip_with(f : (A, B) -> C, xs : LazyList[A], ys : LazyList[B]) -> LazyList[C]

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io