Synthesizer.Piecewise
Description
Construction of a data type that describes piecewise defined curves.
- type T t y sig = [PieceData t y sig]
- newtype Piece t y sig = Piece {
- computePiece :: y -> y -> t -> sig
- pieceFromFunction :: (y -> y -> t -> sig) -> Piece t y sig
- data PieceData t y sig = PieceData {}
- newtype PieceRightSingle y = PRS y
- newtype PieceRightDouble y = PRD y
- data PieceDist t y sig = 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)
- (-|#) :: y -> (PieceDist t y sig, T t y sig) -> (PieceRightSingle y, T t y sig)
- (#|=) :: (t, Piece t y sig) -> (PieceRightDouble y, T t y sig) -> (PieceDist t y sig, T t y sig)
- (=|#) :: (y, y) -> (PieceDist t y sig, T t y sig) -> (PieceRightDouble y, T t y sig)
- (#|) :: (t, Piece t y sig) -> y -> (PieceDist t y sig, T t y sig)
- (|#) :: y -> (PieceDist t y sig, T t y sig) -> T t y sig
Documentation
The curve type of a piece of a piecewise defined control curve.
Constructors
| Piece | |
Fields
| |
pieceFromFunction :: (y -> y -> t -> sig) -> Piece t y sigSource
The full description of a control curve piece.
newtype PieceRightSingle y Source
Constructors
| PRS y |
newtype PieceRightDouble y Source
Constructors
| PRD y |
(#|-) :: (t, Piece t y sig) -> (PieceRightSingle y, T t y sig) -> (PieceDist t y sig, T t y sig)Source
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 =.
- Nothing means that here is the start or the end node of a curve.
- Minus means that here is a node where left and right curve meet at the same value. The node description is thus one value.
- 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.