Sound.SC3.Lang.Math.Warp

A warp is a mapping from the space [0,1] to a user defined space [l,r].

Documentation

data W_Direction

Warp direction. W_Map is forward, W_Unmap is reverse.

Constructors

W_Map

W_Unmap

Instances

Bounded W_Direction

Enum W_Direction

Eq W_Direction

Show W_Direction

type Warp t = W_Direction -> t -> t

Warp type

w_map :: Warp t -> t -> t

Forward warp.

w_unmap :: Warp t -> t -> t

Reverse warp.

warpLinear :: Fractional a => a -> a -> Warp a

A linear real value map.

 w = LinearWarp(ControlSpec(1,2))
 [0,0.5,1].collect{|n| w.map(n)} == [1,1.5,2]

 map (w_map (warpLinear 1 2)) [0,1/2,1] == [1,3/2,2]
 map (warpLinear (-1) 1 W_Map) [0,1/2,1] == [-1,0,1]

warpExponential :: Floating a => a -> a -> Warp a

The left and right must both be non zero and have the same sign.

 w = ExponentialWarp(ControlSpec(1,2))
 [0,0.5,1].collect{|n| w.map(n)} == [1,pow(2,0.5),2]

 map (warpExponential 1 2 W_Map) [0,0.5,1] == [1,2 ** 0.5,2]

warpCosine :: Floating a => a -> a -> Warp a

Cosine warp

 w = CosineWarp(ControlSpec(1,2))
 [0,0.25,0.5,0.75,1].collect{|n| w.map(n)}

 map (warpCosine 1 2 W_Map) [0,0.25,0.5,0.75,1]

warpSine :: Floating a => a -> a -> Warp a

Sine warp

 map (warpSine 1 2 W_Map) [0,0.25,0.5,0.75,1]

warpFader :: Floating a => Warp a

Fader warp. Left and right values are implicitly zero and one.

 map (warpFader W_Map) [0,0.5,1] == [0,0.25,1]

warpDbFader :: (Eq a, Floating a) => Warp a

DB fader warp. Left and right values are implicitly negative infinity and zero. An input of 0 gives -180.

 map (round . warpDbFader W_Map) [0,0.5,1] == [-180,-12,0]

warpCurve :: (Ord a, Floating a) => a -> a -> a -> Warp a

A curve warp given by a real n.

 w_map (warpCurve (-3) 1 2) 0.25 == 1.5552791692202022
 w_map (warpCurve (-3) 1 2) 0.50 == 1.8175744761936437