Safe Haskell	None
Language	Haskell2010

Synthesizer.Piecewise

Description

Construction of a data type that describes piecewise defined curves.

Synopsis

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 {
- pieceType :: Piece t y sig
- pieceY0 :: y
- pieceY1 :: y
- pieceDur :: t
}
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
data FlatPosition
- = FlatLeft
- | FlatRight
splitDurations :: C t => [t] -> [(Int, t)]

Documentation

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

newtype Piece t y sig Source #

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 Source #

data PieceData t y sig Source #

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 Source #

Constructors

PRS y

newtype PieceRightDouble y Source #

Constructors

PRD y

data PieceDist t y sig Source #

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 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.

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

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

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

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

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

data FlatPosition Source #

Constructors

FlatLeft
FlatRight

Instances

Enum FlatPosition Source #
Instance details Defined in Synthesizer.Piecewise 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 Source #
Instance details Defined in Synthesizer.Piecewise Methods (==) :: FlatPosition -> FlatPosition -> Bool # (/=) :: FlatPosition -> FlatPosition -> Bool #
Ord FlatPosition Source #
Instance details Defined in Synthesizer.Piecewise 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 Source #
Instance details Defined in Synthesizer.Piecewise Methods showsPrec :: Int -> FlatPosition -> ShowS # show :: FlatPosition -> String # showList :: [FlatPosition] -> ShowS #
Ix FlatPosition Source #
Instance details Defined in Synthesizer.Piecewise 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)] Source #