Synthesizer.Piecewise

Construction of a data type that describes piecewise defined curves.

Documentation

type T t y sig = [PieceData t y sig]

newtype Piece t y sig

The curve type of a piece of a piecewise defined control curve.

Constructors

Piece

Fields

• computePiece :: y -> y -> t -> sig

pieceFromFunction :: (y -> y -> t -> sig) -> Piece t y sig

data PieceData t y sig

The full description of a control curve piece.

Constructors

PieceData

Fields

• pieceType :: Piece t y sig
• pieceY0 :: y
• pieceY1 :: y
• pieceDur :: t

newtype PieceRightSingle y

Constructors

PRS y

newtype PieceRightDouble y

Constructors

PRD y

data PieceDist t y sig

Constructors

PD t (Piece t y sig) y

(#|-) :: (t, Piece t y sig) -> (PieceRightSingle y, T t y sig) -> (PieceDist t y sig, T t y sig) infixr 5

The 6 operators simplify constructing a list of PieceData a. The description consists of nodes (namely the curve values at nodes) and the connecting curve types. The naming scheme is as follows: In the middle there is a bar |. With respect to the bar, the pad symbol # is at the side of the curve type, at the other side there is nothing, a minus sign -, or an equality sign =.

1. Nothing means that here is the start or the end node of a curve.
2. Minus means that here is a node where left and right curve meet at the same value. The node description is thus one value.
3. Equality sign means that here is a split node, where left and right curve might have different ending and beginning values, respectively. The node description consists of a pair of values.

(-|#) :: y -> (PieceDist t y sig, T t y sig) -> (PieceRightSingle y, T t y sig) infixr 5

(#|=) :: (t, Piece t y sig) -> (PieceRightDouble y, T t y sig) -> (PieceDist t y sig, T t y sig) infixr 5

(=|#) :: (y, y) -> (PieceDist t y sig, T t y sig) -> (PieceRightDouble y, T t y sig) infixr 5

(#|) :: (t, Piece t y sig) -> y -> (PieceDist t y sig, T t y sig) infixr 5

(|#) :: y -> (PieceDist t y sig, T t y sig) -> T t y sig infixr 5

data FlatPosition

Constructors

FlatLeft

FlatRight

Instances

Enum FlatPosition

Methods

succ :: FlatPosition -> FlatPosition

pred :: FlatPosition -> FlatPosition

toEnum :: Int -> FlatPosition

fromEnum :: FlatPosition -> Int

enumFrom :: FlatPosition -> [FlatPosition]

enumFromThen :: FlatPosition -> FlatPosition -> [FlatPosition]

enumFromTo :: FlatPosition -> FlatPosition -> [FlatPosition]

enumFromThenTo :: FlatPosition -> FlatPosition -> FlatPosition -> [FlatPosition]

Eq FlatPosition

Methods

(==) :: FlatPosition -> FlatPosition -> Bool

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

Ord FlatPosition

Methods

compare :: FlatPosition -> FlatPosition -> Ordering

(<) :: FlatPosition -> FlatPosition -> Bool

(<=) :: FlatPosition -> FlatPosition -> Bool

(>) :: FlatPosition -> FlatPosition -> Bool

(>=) :: FlatPosition -> FlatPosition -> Bool

max :: FlatPosition -> FlatPosition -> FlatPosition

min :: FlatPosition -> FlatPosition -> FlatPosition

Show FlatPosition

Methods

showsPrec :: Int -> FlatPosition -> ShowS

show :: FlatPosition -> String

showList :: [FlatPosition] -> ShowS

Ix FlatPosition

Methods

range :: (FlatPosition, FlatPosition) -> [FlatPosition]

index :: (FlatPosition, FlatPosition) -> FlatPosition -> Int

unsafeIndex :: (FlatPosition, FlatPosition) -> FlatPosition -> Int

inRange :: (FlatPosition, FlatPosition) -> FlatPosition -> Bool

rangeSize :: (FlatPosition, FlatPosition) -> Int

unsafeRangeSize :: (FlatPosition, FlatPosition) -> Int

splitDurations :: C t => [t] -> [(Int, t)]