Haskore.Performance

Documentation

type T time dyn note = T time (Event time dyn note)

type Padded time dyn note = T time (Event time dyn note)

data Event time dyn note

Constructors

Event

Fields

eventDur :: time

eventDynamics :: dyn

eventTranspose :: Relative

eventNote :: note

Instances

(Eq time, Eq dyn, Eq note) => Eq (Event time dyn note)

(Ord time, Ord dyn, Ord note) => Ord (Event time dyn note)

(Show time, Show dyn, Show note) => Show (Event time dyn note)

fromMusic :: (C time, RealFrac time, Ord dyn, Fractional dyn, Ord note) => PlayerMap time dyn note -> Context time dyn note -> T note -> T time dyn note

type PlayerMap time dyn note = PlayerName -> Player time dyn note

data Context time dyn note

Constructors

Context

Fields

contextDur :: time

contextPlayer :: Player time dyn note

contextTranspose :: Relative

contextDynamics :: dyn

Instances

(Show time, Show dyn) => Show (Context time dyn note)

type UpdateContext time dyn note a = (a -> a) -> Context time dyn note -> Context time dyn note

updatePlayer :: UpdateContext time dyn note (Player time dyn note)

updateDur :: UpdateContext time dyn note time

updateTranspose :: UpdateContext time dyn note Relative

updateDynamics :: UpdateContext time dyn note dyn

paddedFromMusic :: (C time, RealFrac time, Ord dyn, Fractional dyn, Ord note) => PlayerMap time dyn note -> Context time dyn note -> T note -> Padded time dyn note

type PaddedWithRests time dyn note = T time (Maybe (Event time dyn note))

type Monad time dyn note = Reader (Context time dyn note) (PaddedWithRests time dyn note, time)

sequenceReader :: [Reader r a] -> Reader r [a]

combine :: ([performance] -> performance, [time] -> time) -> [Reader r (performance, time)] -> Reader r (performance, time)

monadFromMusic :: (C time, RealFrac time, Ord dyn, Fractional dyn, Ord note) => PlayerMap time dyn note -> T note -> Monad time dyn note

data Player time dyn note

Constructors

PlayerCons

Fields

name :: PlayerName

playNote :: NoteFun time dyn note

interpretPhrase :: PhraseFun time dyn note

notatePlayer :: NotateFun

Instances

(Show time, Show dyn) => Show (Player time dyn note)

type NoteFun time dyn note = Context time dyn note -> Dur -> note -> T time dyn note

type PhraseFun time dyn note = PhraseAttribute -> Monad time dyn note -> Monad time dyn note

type NotateFun = ()