Numeric.MixedTypes.AddSub

Addition

type CanAdd t1 t2

class CanAddAsymmetric t1 t2

type CanAddThis t1 t2

type CanAddSameType t

(+)

sum

Tests

specCanAdd

specCanAddNotMixed

specCanAddSameType

type CanAddX t1 t2

type CanAddXX t1 t2

Subtraction

class CanSub t1 t2

type CanSubThis t1 t2

type CanSubSameType t

(-)

Tests

specCanSub

specCanSubNotMixed

type CanSubX t1 t2