Arithmetic operators
- type family Opr2 a b
- (<+>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b
- neg :: X a => a -> a
- (<->) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b
- (<*>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b
- (</>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b
- (<^>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b
- (<%>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b
- (^*) :: X a => Irate -> a -> a
- (^+) :: X a => Irate -> a -> a
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