Skip to content

Commit

Permalink
update mbti
Browse files Browse the repository at this point in the history
  • Loading branch information
Bao Zhiyuan authored and bzy-debug committed Jan 9, 2025
1 parent 4f41f22 commit c313c98
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions immut/list/list.mbti
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,6 @@ fn singleton[A](A) -> T[A]

fn unfold[A, S]((S) -> (A, S)?, init~ : S) -> T[A]

fn unzip[A, B](T[(A, B)]) -> (T[A], T[B])

// Types and methods
pub(all) enum T {
Nil
Expand Down Expand Up @@ -87,6 +85,7 @@ impl T {
unsafe_maximum[A : Compare](Self[A]) -> A
unsafe_minimum[A : Compare](Self[A]) -> A
unsafe_nth[A](Self[A], Int) -> A
unzip[A, B](Self[(A, B)]) -> (Self[A], Self[B])
zip[A, B](Self[A], Self[B]) -> Self[(A, B)]?
}
impl[A : Eq] Eq for T[A]
Expand Down

0 comments on commit c313c98

Please sign in to comment.