gleamy/structures/non_empty_list
Types
pub type NonEmptyList(a) {
End(first: a)
Next(first: a, rest: NonEmptyList(a))
}
Constructors
-
End(first: a)
-
Next(first: a, rest: NonEmptyList(a))
pub type NonEmptyList(a) {
End(first: a)
Next(first: a, rest: NonEmptyList(a))
}
End(first: a)
Next(first: a, rest: NonEmptyList(a))