blob: 74f6f693e815862cf1dc6a74c9b2cbfe439e5c52 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
implementation module VectorOverloading
import StdEnv
:: Vector2 a = {x0 :: a, x1 :: a}
instance == (Vector2 a) | == a where
== a b = a.x0 == b.x0 && a.x1 == b.x1
instance zero (Vector2 a) | zero a where
zero = {x0=zero, x1=zero}
instance one (Vector2 a) | one a where
one = {x0=one, x1=one}
instance ~ (Vector2 a) | ~ a where
~ a = {x0= ~a.x0, x1= ~a.x1}
instance + (Vector2 a) | + a where
+ a b = {x0=a.x0+b.x0, x1=a.x1+b.x1}
instance - (Vector2 a) | - a where
- a b = {x0=a.x0-b.x0, x1=a.x1-b.x1}
instance * (Vector2 a) | * a where
* a b = {x0=a.x0*b.x0, x1=a.x1*b.x1}
instance / (Vector2 a) | / a where
/ a b = {x0=a.x0/b.x0, x1=a.x1/b.x1}
|
