Skip to content

Instantly share code, notes, and snippets.

@fogfish
Created March 27, 2022 19:16
Show Gist options
  • Save fogfish/502a7ea178b13f8d7f8e0cb3864f7470 to your computer and use it in GitHub Desktop.
Save fogfish/502a7ea178b13f8d7f8e0cb3864f7470 to your computer and use it in GitHub Desktop.
/*
Seq defines fundamental general purpose sequence
*/
type Seq[S any, T any] interface {
Head(S) *T
Tail(S) S
IsVoid(S) bool
}
/*
Eq : T ⟼ T ⟼ bool
Each type implements own equality, mapping pair of value to bool category
*/
type Eq[T any] interface {
Equal(T, T) bool
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment