Arithmetic operators
Documentation
Opr2
a
b
- defines output type of binary arithmetic operator
type instance Opr2 Irate Irate = Irate type instance Opr2 Irate Krate = Krate type instance Opr2 Irate Arate = Arate
type instance Opr2 Krate Irate = Krate type instance Opr2 Krate Krate = Krate type instance Opr2 Krate Arate = Arate
type instance Opr2 Arate Irate = Arate type instance Opr2 Arate Krate = Arate type instance Opr2 Arate Arate = Arate