Sound.SC3.Common.Math.Operator

Non-standard mathematical enumerations, classes and base instances.

Enumerations of the unary and binary math unit generators. Names that conflict with existing names have a _ suffix.

The Eq and Ord classes in the Prelude require Bool, hence EqE and OrdE. True is 1.0, False is 0.0

The RealFrac class requires Integral results, hence RealFracE.

Unary

data SC3_Unary_Op

Enumeration of SC3 unary operator UGens.

zip (map show [minBound :: SC3_Unary_Op .. maxBound]) [0..]

Constructors

Neg

Not

IsNil

NotNil

BitNot

Abs

AsFloat

AsInt

Ceil

Floor

Frac

Sign

Squared

Cubed

Sqrt

Exp

Recip

MIDICPS

CPSMIDI

MIDIRatio

RatioMIDI

DbAmp

AmpDb

OctCPS

CPSOct

Log

Log2

Log10

Sin

Cos

Tan

ArcSin

ArcCos

ArcTan

SinH

CosH

TanH

Rand_

Rand2

LinRand_

BiLinRand

Sum3Rand

Distort

SoftClip

Coin

DigitValue

Silence

Thru

RectWindow

HanWindow

WelchWindow

TriWindow

Ramp_

SCurve

Instances

Bounded SC3_Unary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

minBound :: SC3_Unary_Op

maxBound :: SC3_Unary_Op

Enum SC3_Unary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

succ :: SC3_Unary_Op -> SC3_Unary_Op

pred :: SC3_Unary_Op -> SC3_Unary_Op

toEnum :: Int -> SC3_Unary_Op

fromEnum :: SC3_Unary_Op -> Int

enumFrom :: SC3_Unary_Op -> [SC3_Unary_Op]

enumFromThen :: SC3_Unary_Op -> SC3_Unary_Op -> [SC3_Unary_Op]

enumFromTo :: SC3_Unary_Op -> SC3_Unary_Op -> [SC3_Unary_Op]

enumFromThenTo :: SC3_Unary_Op -> SC3_Unary_Op -> SC3_Unary_Op -> [SC3_Unary_Op]

Eq SC3_Unary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

(==) :: SC3_Unary_Op -> SC3_Unary_Op -> Bool

(/=) :: SC3_Unary_Op -> SC3_Unary_Op -> Bool

Read SC3_Unary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

readsPrec :: Int -> ReadS SC3_Unary_Op

readList :: ReadS [SC3_Unary_Op]

readPrec :: ReadPrec SC3_Unary_Op

readListPrec :: ReadPrec [SC3_Unary_Op]

Show SC3_Unary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

showsPrec :: Int -> SC3_Unary_Op -> ShowS

show :: SC3_Unary_Op -> String

showList :: [SC3_Unary_Op] -> ShowS

parse_unary :: Case_Rule -> String -> Maybe SC3_Unary_Op

Type-specialised parse_enum.

mapMaybe (parse_unary Base.CS) (words "Abs Rand_") == [Abs,Rand_]

sc3_unary_op_tbl :: [(String, Int)]

Table of operator names (non-symbolic) and indices.

map fst sc3_unary_op_tbl

unary_sym_tbl :: [(SC3_Unary_Op, String)]

Table of symbolic names for standard unary operators.

unaryName :: Int -> String

Lookup possibly symbolic name for standard unary operators.

unaryIndex :: Case_Rule -> String -> Maybe Int

Given name of unary operator derive index.

mapMaybe (unaryIndex Base.CI) (words "abs CUBED midicps NEG") == [5,13,17,0]
unaryIndex Base.CS "SinOsc" == Nothing

is_unary :: Case_Rule -> String -> Bool

isJust of unaryIndex.

map (is_unary CI) (words "ABS MIDICPS NEG")
map (is_unary CI) (words "- RAND")
map (is_unary CI) (words "arctan atan")

Binary

data SC3_Binary_Op

Enumeration of SC3 unary operator UGens.

zip (map show [minBound :: SC3_Binary_Op .. maxBound]) [0..]

Constructors

Add

Sub

Mul

IDiv

FDiv

Mod

EQ_

NE

LT_

GT_

LE

GE

Min

Max

BitAnd

BitOr

BitXor

LCM

GCD

Round

RoundUp

Trunc

Atan2

Hypot

Hypotx

Pow

ShiftLeft

ShiftRight

UnsignedShift

Fill

Ring1

Ring2

Ring3

Ring4

DifSqr

SumSqr

SqrSum

SqrDif

AbsDif

Thresh

AMClip

ScaleNeg

Clip2

Excess

Fold2

Wrap2

FirstArg

RandRange

ExpRandRange

Instances

Bounded SC3_Binary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

minBound :: SC3_Binary_Op

maxBound :: SC3_Binary_Op

Enum SC3_Binary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

succ :: SC3_Binary_Op -> SC3_Binary_Op

pred :: SC3_Binary_Op -> SC3_Binary_Op

toEnum :: Int -> SC3_Binary_Op

fromEnum :: SC3_Binary_Op -> Int

enumFrom :: SC3_Binary_Op -> [SC3_Binary_Op]

enumFromThen :: SC3_Binary_Op -> SC3_Binary_Op -> [SC3_Binary_Op]

enumFromTo :: SC3_Binary_Op -> SC3_Binary_Op -> [SC3_Binary_Op]

enumFromThenTo :: SC3_Binary_Op -> SC3_Binary_Op -> SC3_Binary_Op -> [SC3_Binary_Op]

Eq SC3_Binary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

(==) :: SC3_Binary_Op -> SC3_Binary_Op -> Bool

(/=) :: SC3_Binary_Op -> SC3_Binary_Op -> Bool

Read SC3_Binary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

readsPrec :: Int -> ReadS SC3_Binary_Op

readList :: ReadS [SC3_Binary_Op]

readPrec :: ReadPrec SC3_Binary_Op

readListPrec :: ReadPrec [SC3_Binary_Op]

Show SC3_Binary_Op

Defined in Sound.SC3.Common.Math.Operator

Methods

showsPrec :: Int -> SC3_Binary_Op -> ShowS

show :: SC3_Binary_Op -> String

showList :: [SC3_Binary_Op] -> ShowS

sc3_binary_op_tbl :: [(String, Int)]

Table of operator names (non-symbolic) and indices.

parse_binary :: Case_Rule -> String -> Maybe SC3_Binary_Op

Type-specialised parse_enum.

binary_sym_tbl :: [(SC3_Binary_Op, String)]

Table of symbolic names for standard binary operators.

sc3_binary_op_sym_tbl :: [(String, Int)]

Table of operator names (non-symbolic) and indices.

map fst sc3_binary_op_sym_tbl

binaryName :: Int -> String

Lookup possibly symbolic name for standard binary operators.

map binaryName [1,2,8,12] == ["-","*","<","Min"]

binaryIndex :: Case_Rule -> String -> Maybe Int

Given name of binary operator derive index.

mapMaybe (binaryIndex Base.CI) (words "* MUL RING1 +") == [2,2,30,0]
binaryIndex Base.CI "SINOSC" == Nothing
map (\x -> (x,binaryIndex Base.CI x)) (map snd binary_sym_tbl)

is_binary :: Case_Rule -> String -> Bool

isJust of binaryIndex.

map (is_binary CI) (words "== > % TRUNC MAX")

Operator

ugen_operator_name :: String -> Int -> Maybe String

Lookup operator name for operator UGens, else UGen name.

resolve_operator :: Case_Rule -> String -> (String, Maybe Int)

Order of lookup: binary then unary.

map (resolve_operator Sound.SC3.Common.Base.CI) (words "+ - ADD SUB NEG")

Classes

class (Eq a, Num a) => EqE a where

Variant on Eq class, result is of the same type as the values compared.

Minimal complete definition

Nothing

Methods

equal_to :: a -> a -> a

not_equal_to :: a -> a -> a

Instances

EqE Double

Defined in Sound.SC3.Common.Math.Operator

Methods

equal_to :: Double -> Double -> Double

not_equal_to :: Double -> Double -> Double

EqE Float

Defined in Sound.SC3.Common.Math.Operator

Methods

equal_to :: Float -> Float -> Float

not_equal_to :: Float -> Float -> Float

EqE Int

Defined in Sound.SC3.Common.Math.Operator

Methods

equal_to :: Int -> Int -> Int

not_equal_to :: Int -> Int -> Int

EqE Int32

Defined in Sound.SC3.Common.Math.Operator

Methods

equal_to :: Int32 -> Int32 -> Int32

not_equal_to :: Int32 -> Int32 -> Int32

EqE Int64

Defined in Sound.SC3.Common.Math.Operator

Methods

equal_to :: Int64 -> Int64 -> Int64

not_equal_to :: Int64 -> Int64 -> Int64

EqE Integer

Defined in Sound.SC3.Common.Math.Operator

Methods

equal_to :: Integer -> Integer -> Integer

not_equal_to :: Integer -> Integer -> Integer

EqE UGen

Defined in Sound.SC3.UGen.Type

Methods

equal_to :: UGen -> UGen -> UGen

not_equal_to :: UGen -> UGen -> UGen

class (Ord a, Num a) => OrdE a where

Variant on Ord class, result is of the same type as the values compared.

Minimal complete definition

Nothing

Methods

less_than :: a -> a -> a

less_than_or_equal_to :: a -> a -> a

greater_than :: a -> a -> a

greater_than_or_equal_to :: a -> a -> a

Instances

OrdE Double

Defined in Sound.SC3.Common.Math.Operator

Methods

less_than :: Double -> Double -> Double

less_than_or_equal_to :: Double -> Double -> Double

greater_than :: Double -> Double -> Double

greater_than_or_equal_to :: Double -> Double -> Double

OrdE Float

Defined in Sound.SC3.Common.Math.Operator

Methods

less_than :: Float -> Float -> Float

less_than_or_equal_to :: Float -> Float -> Float

greater_than :: Float -> Float -> Float

greater_than_or_equal_to :: Float -> Float -> Float

OrdE Int

Defined in Sound.SC3.Common.Math.Operator

Methods

less_than :: Int -> Int -> Int

less_than_or_equal_to :: Int -> Int -> Int

greater_than :: Int -> Int -> Int

greater_than_or_equal_to :: Int -> Int -> Int

OrdE Int32

Defined in Sound.SC3.Common.Math.Operator

Methods

less_than :: Int32 -> Int32 -> Int32

less_than_or_equal_to :: Int32 -> Int32 -> Int32

greater_than :: Int32 -> Int32 -> Int32

greater_than_or_equal_to :: Int32 -> Int32 -> Int32

OrdE Int64

Defined in Sound.SC3.Common.Math.Operator

Methods

less_than :: Int64 -> Int64 -> Int64

less_than_or_equal_to :: Int64 -> Int64 -> Int64

greater_than :: Int64 -> Int64 -> Int64

greater_than_or_equal_to :: Int64 -> Int64 -> Int64

OrdE Integer

Defined in Sound.SC3.Common.Math.Operator

Methods

less_than :: Integer -> Integer -> Integer

less_than_or_equal_to :: Integer -> Integer -> Integer

greater_than :: Integer -> Integer -> Integer

greater_than_or_equal_to :: Integer -> Integer -> Integer

OrdE UGen

Defined in Sound.SC3.UGen.Type

Methods

less_than :: UGen -> UGen -> UGen

less_than_or_equal_to :: UGen -> UGen -> UGen

greater_than :: UGen -> UGen -> UGen

greater_than_or_equal_to :: UGen -> UGen -> UGen

class RealFrac a => RealFracE a where

Variant of RealFrac with non Integral results.

Minimal complete definition

Nothing

Methods

properFractionE :: a -> (a, a)

truncateE :: a -> a

roundE :: a -> a

ceilingE :: a -> a

floorE :: a -> a

Instances

RealFracE Double

Defined in Sound.SC3.Common.Math.Operator

Methods

properFractionE :: Double -> (Double, Double)

truncateE :: Double -> Double

roundE :: Double -> Double

ceilingE :: Double -> Double

floorE :: Double -> Double

RealFracE Float

Defined in Sound.SC3.Common.Math.Operator

Methods

properFractionE :: Float -> (Float, Float)

truncateE :: Float -> Float

roundE :: Float -> Float

ceilingE :: Float -> Float

floorE :: Float -> Float

RealFracE UGen

Defined in Sound.SC3.UGen.Type

Methods

properFractionE :: UGen -> (UGen, UGen)

truncateE :: UGen -> UGen

roundE :: UGen -> UGen

ceilingE :: UGen -> UGen

floorE :: UGen -> UGen

class (Floating a, Ord a) => UnaryOp a where

Unary operator class.

map (floor . (* 1e4) . dbAmp) [-90,-60,-30,0] == [0,10,316,10000]

Minimal complete definition

Nothing

Methods

ampDb :: a -> a

asFloat :: a -> a

asInt :: a -> a

cpsMIDI :: a -> a

cpsOct :: a -> a

cubed :: a -> a

dbAmp :: a -> a

distort :: a -> a

frac :: a -> a

isNil :: a -> a

log10 :: a -> a

log2 :: a -> a

midiCPS :: a -> a

midiRatio :: a -> a

notE :: a -> a

notNil :: a -> a

octCPS :: a -> a

ramp_ :: a -> a

ratioMIDI :: a -> a

softClip :: a -> a

squared :: a -> a

Instances

UnaryOp Double

Defined in Sound.SC3.Common.Math.Operator

Methods

ampDb :: Double -> Double

asFloat :: Double -> Double

asInt :: Double -> Double

cpsMIDI :: Double -> Double

cpsOct :: Double -> Double

cubed :: Double -> Double

dbAmp :: Double -> Double

distort :: Double -> Double

frac :: Double -> Double

isNil :: Double -> Double

log10 :: Double -> Double

log2 :: Double -> Double

midiCPS :: Double -> Double

midiRatio :: Double -> Double

notE :: Double -> Double

notNil :: Double -> Double

octCPS :: Double -> Double

ramp_ :: Double -> Double

ratioMIDI :: Double -> Double

softClip :: Double -> Double

squared :: Double -> Double

UnaryOp Float

Defined in Sound.SC3.Common.Math.Operator

Methods

ampDb :: Float -> Float

asFloat :: Float -> Float

asInt :: Float -> Float

cpsMIDI :: Float -> Float

cpsOct :: Float -> Float

cubed :: Float -> Float

dbAmp :: Float -> Float

distort :: Float -> Float

frac :: Float -> Float

isNil :: Float -> Float

log10 :: Float -> Float

log2 :: Float -> Float

midiCPS :: Float -> Float

midiRatio :: Float -> Float

notE :: Float -> Float

notNil :: Float -> Float

octCPS :: Float -> Float

ramp_ :: Float -> Float

ratioMIDI :: Float -> Float

softClip :: Float -> Float

squared :: Float -> Float

UnaryOp UGen

Defined in Sound.SC3.UGen.Type

Methods

ampDb :: UGen -> UGen

asFloat :: UGen -> UGen

asInt :: UGen -> UGen

cpsMIDI :: UGen -> UGen

cpsOct :: UGen -> UGen

cubed :: UGen -> UGen

dbAmp :: UGen -> UGen

distort :: UGen -> UGen

frac :: UGen -> UGen

isNil :: UGen -> UGen

log10 :: UGen -> UGen

log2 :: UGen -> UGen

midiCPS :: UGen -> UGen

midiRatio :: UGen -> UGen

notE :: UGen -> UGen

notNil :: UGen -> UGen

octCPS :: UGen -> UGen

ramp_ :: UGen -> UGen

ratioMIDI :: UGen -> UGen

softClip :: UGen -> UGen

squared :: UGen -> UGen

class (Floating a, RealFrac a, Ord a) => BinaryOp a where

SC3_Binary_Op operator class.

Minimal complete definition

Nothing

Methods

absDif :: a -> a -> a

amClip :: a -> a -> a

atan2E :: a -> a -> a

clip2 :: a -> a -> a

difSqr :: a -> a -> a

excess :: a -> a -> a

exprandRange :: a -> a -> a

fill :: a -> a -> a

firstArg :: a -> a -> a

fold2 :: a -> a -> a

gcdE :: a -> a -> a

hypot :: a -> a -> a

hypotx :: a -> a -> a

iDiv :: a -> a -> a

lcmE :: a -> a -> a

modE :: a -> a -> a

randRange :: a -> a -> a

ring1 :: a -> a -> a

ring2 :: a -> a -> a

ring3 :: a -> a -> a

ring4 :: a -> a -> a

roundUp :: a -> a -> a

scaleNeg :: a -> a -> a

sqrDif :: a -> a -> a

sqrSum :: a -> a -> a

sumSqr :: a -> a -> a

thresh :: a -> a -> a

trunc :: a -> a -> a

wrap2 :: a -> a -> a

Instances

BinaryOp Double

Defined in Sound.SC3.Common.Math.Operator

Methods

absDif :: Double -> Double -> Double

amClip :: Double -> Double -> Double

atan2E :: Double -> Double -> Double

clip2 :: Double -> Double -> Double

difSqr :: Double -> Double -> Double

excess :: Double -> Double -> Double

exprandRange :: Double -> Double -> Double

fill :: Double -> Double -> Double

firstArg :: Double -> Double -> Double

fold2 :: Double -> Double -> Double

gcdE :: Double -> Double -> Double

hypot :: Double -> Double -> Double

hypotx :: Double -> Double -> Double

iDiv :: Double -> Double -> Double

lcmE :: Double -> Double -> Double

modE :: Double -> Double -> Double

randRange :: Double -> Double -> Double

ring1 :: Double -> Double -> Double

ring2 :: Double -> Double -> Double

ring3 :: Double -> Double -> Double

ring4 :: Double -> Double -> Double

roundUp :: Double -> Double -> Double

scaleNeg :: Double -> Double -> Double

sqrDif :: Double -> Double -> Double

sqrSum :: Double -> Double -> Double

sumSqr :: Double -> Double -> Double

thresh :: Double -> Double -> Double

trunc :: Double -> Double -> Double

wrap2 :: Double -> Double -> Double

BinaryOp Float

Defined in Sound.SC3.Common.Math.Operator

Methods

absDif :: Float -> Float -> Float

amClip :: Float -> Float -> Float

atan2E :: Float -> Float -> Float

clip2 :: Float -> Float -> Float

difSqr :: Float -> Float -> Float

excess :: Float -> Float -> Float

exprandRange :: Float -> Float -> Float

fill :: Float -> Float -> Float

firstArg :: Float -> Float -> Float

fold2 :: Float -> Float -> Float

gcdE :: Float -> Float -> Float

hypot :: Float -> Float -> Float

hypotx :: Float -> Float -> Float

iDiv :: Float -> Float -> Float

lcmE :: Float -> Float -> Float

modE :: Float -> Float -> Float

randRange :: Float -> Float -> Float

ring1 :: Float -> Float -> Float

ring2 :: Float -> Float -> Float

ring3 :: Float -> Float -> Float

ring4 :: Float -> Float -> Float

roundUp :: Float -> Float -> Float

scaleNeg :: Float -> Float -> Float

sqrDif :: Float -> Float -> Float

sqrSum :: Float -> Float -> Float

sumSqr :: Float -> Float -> Float

thresh :: Float -> Float -> Float

trunc :: Float -> Float -> Float

wrap2 :: Float -> Float -> Float

BinaryOp UGen

Defined in Sound.SC3.UGen.Type

Methods

absDif :: UGen -> UGen -> UGen

amClip :: UGen -> UGen -> UGen

atan2E :: UGen -> UGen -> UGen

clip2 :: UGen -> UGen -> UGen

difSqr :: UGen -> UGen -> UGen

excess :: UGen -> UGen -> UGen

exprandRange :: UGen -> UGen -> UGen

fill :: UGen -> UGen -> UGen

firstArg :: UGen -> UGen -> UGen

fold2 :: UGen -> UGen -> UGen

gcdE :: UGen -> UGen -> UGen

hypot :: UGen -> UGen -> UGen

hypotx :: UGen -> UGen -> UGen

iDiv :: UGen -> UGen -> UGen

lcmE :: UGen -> UGen -> UGen

modE :: UGen -> UGen -> UGen

randRange :: UGen -> UGen -> UGen

ring1 :: UGen -> UGen -> UGen

ring2 :: UGen -> UGen -> UGen

ring3 :: UGen -> UGen -> UGen

ring4 :: UGen -> UGen -> UGen

roundUp :: UGen -> UGen -> UGen

scaleNeg :: UGen -> UGen -> UGen

sqrDif :: UGen -> UGen -> UGen

sqrSum :: UGen -> UGen -> UGen

sumSqr :: UGen -> UGen -> UGen

thresh :: UGen -> UGen -> UGen

trunc :: UGen -> UGen -> UGen

wrap2 :: UGen -> UGen -> UGen

Infix

(==**) :: EqE a => a -> a -> a

(/=**) :: EqE a => a -> a -> a

(<**) :: OrdE a => a -> a -> a

(<=**) :: OrdE a => a -> a -> a

(>**) :: OrdE a => a -> a -> a

(>=**) :: OrdE a => a -> a -> a

Tables

binop_hs_tbl :: (Real n, Floating n, RealFrac n) => [(SC3_Binary_Op, n -> n -> n)]

Association table for SC3_Binary_Op to haskell function implementing operator.

binop_special_hs :: (RealFrac n, Floating n) => Int -> Maybe (n -> n -> n)

lookup binop_hs_tbl via toEnum.

uop_hs_tbl :: (RealFrac n, Floating n) => [(SC3_Unary_Op, n -> n)]

Association table for Unary to haskell function implementing operator.

uop_special_hs :: (RealFrac n, Floating n) => Int -> Maybe (n -> n)

lookup uop_hs_tbl via toEnum.