1 definition module VectorOverloading
5 :: Vector2 a = {x0 :: a, x1 :: a}
7 instance == (Vector2 a) | == a
8 instance zero (Vector2 a) | zero a
9 instance one (Vector2 a) | one a
10 instance ~ (Vector2 a) | ~ a
11 instance + (Vector2 a) | + a
12 instance - (Vector2 a) | - a
13 instance * (Vector2 a) | * a
14 instance / (Vector2 a) | / a