Sound.SC3.Common.Envelope

Envelope generators.

Curve

data Envelope_Curve a

Envelope curve indicator input.

Constructors

EnvStep

EnvLin

EnvExp

EnvSin

EnvWelch

Note: not implemented at SC3

EnvNum a

EnvSqr

EnvCub

EnvHold

Instances

Eq a => Eq (Envelope_Curve a)

Methods

(==) :: Envelope_Curve a -> Envelope_Curve a -> Bool

(/=) :: Envelope_Curve a -> Envelope_Curve a -> Bool

Show a => Show (Envelope_Curve a)

Methods

showsPrec :: Int -> Envelope_Curve a -> ShowS

show :: Envelope_Curve a -> String

showList :: [Envelope_Curve a] -> ShowS

type Envelope_Curve2 a = T2 (Envelope_Curve a)

Envelope curve pair.

type Envelope_Curve3 a = T3 (Envelope_Curve a)

Envelope curve triple.

type Envelope_Curve4 a = T4 (Envelope_Curve a)

Envelope curve quadruple.

env_curve_shape :: Num a => Envelope_Curve a -> a

Convert Envelope_Curve to shape value.

map env_curve_shape [EnvSin,EnvSqr] == [3,6]

env_curve_value :: Num a => Envelope_Curve a -> a

The value of EnvCurve is non-zero for EnvNum.

map env_curve_value [EnvWelch,EnvNum 2] == [0,2]

env_curve_interpolation_f :: (Ord t, Floating t) => Envelope_Curve t -> Interpolation_F t

Interpolation_F of Envelope_Curve.

env_curve_coerce :: (a -> b) -> Envelope_Curve a -> Envelope_Curve b

Apply f to EnvNum value.

Envelope

data Envelope a

SC3 envelope segment model

Constructors

Envelope

Fields

• env_levels :: [a]

  Set of n levels, n is >= 1

• env_times :: [a]

  Set of n-1 time intervals

• env_curves :: [Envelope_Curve a]

  Possibly empty curve set

• env_release_node :: Maybe Int

  Maybe index to release node

• env_loop_node :: Maybe Int

  Maybe index to loop node

Instances

Eq a => Eq (Envelope a)

Methods

(==) :: Envelope a -> Envelope a -> Bool

(/=) :: Envelope a -> Envelope a -> Bool

Show a => Show (Envelope a)

Methods

showsPrec :: Int -> Envelope a -> ShowS

show :: Envelope a -> String

showList :: [Envelope a] -> ShowS

envelope_coerce :: (a -> b) -> Envelope a -> Envelope b

Apply f to all a at Envelope.

envelope :: [a] -> [a] -> [Envelope_Curve a] -> Envelope a

Variant without release and loop node inputs (defaulting to nil).

envelope_duration :: Num n => Envelope n -> n

Duration of Envelope, ie. sum . env_times.

envelope_n_segments :: Integral i => Envelope n -> i

Number of segments at Envelope, ie. length . env_times.

envelope_segment_ix :: (Ord a, Num a) => Envelope a -> a -> Maybe Int

Determine which envelope segment a given time t falls in.

type Envelope_Segment t = (t, t, t, t, Envelope_Curve t)

A set of start time, start level, end time, end level and curve.

envelope_segment :: Num t => Envelope t -> Int -> Envelope_Segment t

Extract envelope segment given at index i.

envelope_segments :: Num t => Envelope t -> [Envelope_Segment t]

Extract all segments.

pack_envelope_segments :: Num t => [Envelope_Segment t] -> ([t], [t], [Envelope_Curve t])

Transform list of Envelope_Segments into lists (env_levels,env_times,env_curves).

envelope_is_normal :: (Eq n, Num n) => Envelope n -> Bool

An envelope is normal if it has no segments with zero duration.

envelope_normalise :: (Num a, Ord a) => Envelope a -> Envelope a

Normalise envelope by deleting segments of zero duration.

envelope_at :: (Ord t, Floating t) => Envelope t -> t -> t

Get value for Envelope at time t, or zero if t is out of range. By convention if the envelope has a segment of zero duration we give the rightmost value.

envelope_render :: (Ord t, Floating t, Enum t) => t -> Envelope t -> [(t, t)]

Render Envelope to breakpoint set of n equi-distant places.

envelope_table :: (Ord t, Floating t, Enum t) => t -> Envelope t -> [t]

Contruct a lookup table of n places from Envelope.

envelope_curves :: Envelope a -> [Envelope_Curve a]

Variant on env_curves that expands the, possibly empty, user list by cycling (if not empty) or by filling with EnvLin.

envelope_sc3_array :: Num a => Envelope a -> Maybe [a]

Linear SC3 form of Envelope data.

Form is: l0 #t reset loop l1 t0 c0 c0' ...

let {l = [0,0.6,0.3,1.0,0]
    ;t = [0.1,0.02,0.4,1.1]
    ;c = [EnvLin,EnvExp,EnvNum (-6),EnvSin]
    ;e = Envelope l t c Nothing Nothing
    ;r = [0,4,-99,-99,0.6,0.1,1,0,0.3,0.02,2,0,1,0.4,5,-6,0,1.1,3,0]}
in envelope_sc3_array e == Just r

envelope_sc3_ienvgen_array :: Num a => Envelope a -> Maybe [a]

IEnvGen SC3 form of Envelope data. Offset not supported (zero).

let {l = [0,0.6,0.3,1.0,0]
    ;t = [0.1,0.02,0.4,1.1]
    ;c = [EnvLin,EnvExp,EnvNum (-6),EnvSin]
    ;e = Envelope l t c Nothing Nothing
    ;r = [0,0,4,1.62,0.1,1,0,0.6,0.02,2,0,0.3,0.4,5,-6,1,1.1,3,0,0]}
in envelope_sc3_ienvgen_array e == Just r

env_is_sustained :: Envelope a -> Bool

True if env_release_node is not Nothing.

env_delay :: Envelope a -> a -> Envelope a

Delay the onset of the envelope.

env_circle :: Fractional a => Envelope a -> a -> Envelope_Curve a -> Envelope a

Connect releaseNode (or end) to first node of envelope.

Construct

envTrapezoid_f :: Num t => (t -> t -> t, t -> t -> t) -> t -> t -> t -> t -> Envelope t

Trapezoidal envelope generator.

Requires (and (=) functions returning 1 for true and 0 for false.

The arguments are: 1. shape determines the sustain time as a proportion of dur, zero is a triangular envelope, one a rectangular envelope; 2. skew determines the attack/decay ratio, zero is an immediate attack and a slow decay, one a slow attack and an immediate decay; 3. duration in seconds; 4. amplitude as linear gain.

envCoord :: Num a => [(a, a)] -> a -> a -> Envelope_Curve a -> Envelope a

Co-ordinate based static envelope generator. Points are (time,value) pairs.

let e = envCoord [(0,0),(1/4,1),(1,0)] 1 1 EnvLin
in envelope_sc3_array e == Just [0,2,-99,-99,1,1/4,1,0,0,3/4,1,0]

import Sound.SC3.Plot 

plotEnvelope [envCoord [(0,0),(1/4,1),(1,0)] 1 1 EnvLin]

envPerc' :: Num a => a -> a -> a -> Envelope_Curve2 a -> Envelope a

Variant envPerc with user specified 'Envelope_Curve a'.

envPerc :: Num a => a -> a -> Envelope a

Percussive envelope, with attack, release, level and curve inputs.

envTriangle :: Fractional a => a -> a -> Envelope a

Triangular envelope, with duration and level inputs.

let e = envTriangle 1 0.1
in envelope_sc3_array e = Just [0,2,-99,-99,0.1,0.5,1,0,0,0.5,1,0]

envSine :: Fractional a => a -> a -> Envelope a

Sine envelope, with duration and level inputs.

let e = envSine 0 0.1
in envelope_sc3_array e == Just [0,2,-99,-99,0.1,0,3.0,0,0,0,3,0]

data LINEN a

Parameters for LINEN envelopes.

Constructors

LINEN

Fields

• linen_attackTime :: a
• linen_sustainTime :: a
• linen_releaseTime :: a
• linen_level :: a
• linen_curve :: Envelope_Curve3 a

envLinen_r :: Num a => LINEN a -> Envelope a

Record (LINEN) variant of envLinen.

envLinen' :: Num a => a -> a -> a -> a -> Envelope_Curve3 a -> Envelope a

Variant of envLinen with user specified 'Envelope_Curve a'.

envLinen :: Num a => a -> a -> a -> a -> Envelope a

Linear envelope parameter constructor.

let {e = envLinen 0 1 0 1
    ;s = envelope_segments e
    ;p = pack_envelope_segments s}
in p == (env_levels e,env_times e,env_curves e)

data ADSR a

Parameters for ADSR envelopes. The sustain level is given as a proportion of the peak level.

Constructors

ADSR

Fields

• adsr_attackTime :: a
• adsr_decayTime :: a
• adsr_sustainLevel :: a
• adsr_releaseTime :: a
• adsr_peakLevel :: a
• adsr_curve :: Envelope_Curve3 a
• adsr_bias :: a

adsrDefault :: Fractional n => ADSR n

envADSR :: Num a => a -> a -> a -> a -> a -> Envelope_Curve a -> a -> Envelope a

Attack, decay, sustain, release envelope parameter constructor.

envADSR' :: Num a => a -> a -> a -> a -> Envelope a

Vairant with defaults for pL, c and b.

envADSR_r :: Num a => ADSR a -> Envelope a

Record (ADSR) variant of envADSR.

data ADSSR a

Parameters for Roland type ADSSR envelopes.

Constructors

ADSSR

Fields

• adssr_attackTime :: a
• adssr_attackLevel :: a
• adssr_decayTime :: a
• adssr_decayLevel :: a
• adssr_slopeTime :: a
• adssr_sustainLevel :: a
• adssr_releaseTime :: a
• adssr_curve :: Envelope_Curve4 a
• adssr_bias :: a

envADSSR :: Num a => a -> a -> a -> a -> a -> a -> a -> Envelope_Curve a -> a -> Envelope a

Attack, decay, slope, sustain, release envelope parameter constructor.

envADSSR_r :: Num a => ADSSR a -> Envelope a

Record (ADSSR) variant of envADSSR.

data ASR a

Parameters for ASR envelopes.

Constructors

ASR

Fields

• asr_attackTime :: a
• asr_sustainLevel :: a
• asr_releaseTime :: a
• asr_curve :: Envelope_Curve2 a

envASR_c :: Num a => a -> a -> a -> Envelope_Curve2 a -> Envelope a

SC3 .asr has singular curve argument, hence _c suffix.

envASR :: Num a => a -> a -> a -> Envelope_Curve a -> Envelope a

Attack, sustain, release envelope parameter constructor.

let {c = 3
    ;r = Just [0,2,1,-99,0.1,3,c,0,0,2,c,0]}
in envelope_sc3_array (envASR 3 0.1 2 EnvSin) == r

envASR_r :: Num a => ASR a -> Envelope a

Record (ASR) variant of envASR.

envStep :: [a] -> [a] -> Maybe Int -> Maybe Int -> Envelope a

All segments are horizontal lines.