CsoundExpr.Base.Arithmetic

Arithmetic operators

Documentation

type family Opr2 a b

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

(<+>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b

neg :: X a => a -> a

negation

(<->) :: (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

"power of" operator

(<%>) :: (X a, X b, X (Opr2 a b)) => a -> b -> Opr2 a b

modulus operator

(^*) :: X a => Irate -> a -> a

scaling

(^+) :: X a => Irate -> a -> a

shifting