Kulitta.EuterpeaSpecial

Documentation

(<<<) :: Category cat => cat b c -> cat a b -> cat a c infixr 1

Right-to-left composition

class Arrow a => ArrowLoop (a :: * -> * -> *) where

The loop operator expresses computations in which an output value is fed back as input, although the computation occurs only once. It underlies the rec value recursion construct in arrow notation. loop should satisfy the following laws:

extension

loop (arr f) = arr (\ b -> fst (fix (\ (c,d) -> f (b,d))))

left tightening

loop (first h >>> f) = h >>> loop f

right tightening

loop (f >>> first h) = loop f >>> h

sliding

loop (f >>> arr (id *** k)) = loop (arr (id *** k) >>> f)

vanishing

loop (loop f) = loop (arr unassoc >>> f >>> arr assoc)

superposing

second (loop f) = loop (arr assoc >>> second f >>> arr unassoc)

where

assoc ((a,b),c) = (a,(b,c))
unassoc (a,(b,c)) = ((a,b),c)

Minimal complete definition

loop

Methods

loop :: a (b, d) (c, d) -> a b c

Instances

MonadFix m => ArrowLoop (Kleisli m)

Beware that for many monads (those for which the >>= operation is strict) this instance will not satisfy the right-tightening law required by the ArrowLoop class.

Since: base-2.1

Defined in Control.Arrow

Methods

loop :: Kleisli m (b, d) (c, d) -> Kleisli m b c

ArrowLoop ((->) :: * -> * -> *)

Since: base-2.1

Defined in Control.Arrow

Methods

loop :: ((b, d) -> (c, d)) -> b -> c

ArrowLoop a => ArrowLoop (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

loop :: ArrowP a p (b, d) (c, d) -> ArrowP a p b c

newtype ArrowMonad (a :: * -> * -> *) b

The ArrowApply class is equivalent to Monad: any monad gives rise to a Kleisli arrow, and any instance of ArrowApply defines a monad.

Constructors

ArrowMonad (a () b)

Instances

ArrowApply a => Monad (ArrowMonad a)

Since: base-2.1

Defined in Control.Arrow

Methods

(>>=) :: ArrowMonad a a0 -> (a0 -> ArrowMonad a b) -> ArrowMonad a b

(>>) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a b

return :: a0 -> ArrowMonad a a0

fail :: String -> ArrowMonad a a0

Arrow a => Functor (ArrowMonad a)

Since: base-4.6.0.0

Defined in Control.Arrow

Methods

fmap :: (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b

(<$) :: a0 -> ArrowMonad a b -> ArrowMonad a a0

Arrow a => Applicative (ArrowMonad a)

Since: base-4.6.0.0

Defined in Control.Arrow

Methods

pure :: a0 -> ArrowMonad a a0

(<*>) :: ArrowMonad a (a0 -> b) -> ArrowMonad a a0 -> ArrowMonad a b

liftA2 :: (a0 -> b -> c) -> ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a c

(*>) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a b

(<*) :: ArrowMonad a a0 -> ArrowMonad a b -> ArrowMonad a a0

ArrowPlus a => Alternative (ArrowMonad a)

Since: base-4.6.0.0

Defined in Control.Arrow

Methods

empty :: ArrowMonad a a0

(<|>) :: ArrowMonad a a0 -> ArrowMonad a a0 -> ArrowMonad a a0

some :: ArrowMonad a a0 -> ArrowMonad a [a0]

many :: ArrowMonad a a0 -> ArrowMonad a [a0]

(ArrowApply a, ArrowPlus a) => MonadPlus (ArrowMonad a)

Since: base-4.6.0.0

Defined in Control.Arrow

Methods

mzero :: ArrowMonad a a0

mplus :: ArrowMonad a a0 -> ArrowMonad a a0 -> ArrowMonad a a0

class Arrow a => ArrowApply (a :: * -> * -> *) where

Some arrows allow application of arrow inputs to other inputs. Instances should satisfy the following laws:

• first (arr (\x -> arr (\y -> (x,y)))) >>> app = id

• first (arr (g >>>)) >>> app = second g >>> app

• first (arr (>>> h)) >>> app = app >>> h

Such arrows are equivalent to monads (see ArrowMonad).

Minimal complete definition

app

Methods

app :: a (a b c, b) c

Instances

Monad m => ArrowApply (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

app :: Kleisli m (Kleisli m b c, b) c

ArrowApply ((->) :: * -> * -> *)

Since: base-2.1

Defined in Control.Arrow

Methods

app :: (b -> c, b) -> c

class ArrowZero a => ArrowPlus (a :: * -> * -> *) where

A monoid on arrows.

Minimal complete definition

(<+>)

Methods

(<+>) :: a b c -> a b c -> a b c infixr 5

An associative operation with identity zeroArrow.

Instances

MonadPlus m => ArrowPlus (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

(<+>) :: Kleisli m b c -> Kleisli m b c -> Kleisli m b c

class Arrow a => ArrowZero (a :: * -> * -> *) where

Minimal complete definition

zeroArrow

Methods

zeroArrow :: a b c

Instances

MonadPlus m => ArrowZero (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

zeroArrow :: Kleisli m b c

class Category a => Arrow (a :: * -> * -> *) where

The basic arrow class.

Instances should satisfy the following laws:

• arr id = id

• arr (f >>> g) = arr f >>> arr g

• first (arr f) = arr (first f)

• first (f >>> g) = first f >>> first g

• first f >>> arr fst = arr fst >>> f

• first f >>> arr (id *** g) = arr (id *** g) >>> first f

• first (first f) >>> arr assoc = arr assoc >>> first f

where

assoc ((a,b),c) = (a,(b,c))

The other combinators have sensible default definitions, which may be overridden for efficiency.

Minimal complete definition

arr, (first | (***))

Methods

arr :: (b -> c) -> a b c

Lift a function to an arrow.

first :: a b c -> a (b, d) (c, d)

Send the first component of the input through the argument arrow, and copy the rest unchanged to the output.

second :: a b c -> a (d, b) (d, c)

A mirror image of first.

The default definition may be overridden with a more efficient version if desired.

(***) :: a b c -> a b' c' -> a (b, b') (c, c') infixr 3

Split the input between the two argument arrows and combine their output. Note that this is in general not a functor.

The default definition may be overridden with a more efficient version if desired.

(&&&) :: a b c -> a b c' -> a b (c, c') infixr 3

Fanout: send the input to both argument arrows and combine their output.

The default definition may be overridden with a more efficient version if desired.

Instances

Monad m => Arrow (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

arr :: (b -> c) -> Kleisli m b c

first :: Kleisli m b c -> Kleisli m (b, d) (c, d)

second :: Kleisli m b c -> Kleisli m (d, b) (d, c)

(***) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (b, b') (c, c')

(&&&) :: Kleisli m b c -> Kleisli m b c' -> Kleisli m b (c, c')

Arrow ((->) :: * -> * -> *)

Since: base-2.1

Defined in Control.Arrow

Methods

arr :: (b -> c) -> b -> c

first :: (b -> c) -> (b, d) -> (c, d)

second :: (b -> c) -> (d, b) -> (d, c)

(***) :: (b -> c) -> (b' -> c') -> (b, b') -> (c, c')

(&&&) :: (b -> c) -> (b -> c') -> b -> (c, c')

Arrow a => Arrow (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

arr :: (b -> c) -> ArrowP a p b c

first :: ArrowP a p b c -> ArrowP a p (b, d) (c, d)

second :: ArrowP a p b c -> ArrowP a p (d, b) (d, c)

(***) :: ArrowP a p b c -> ArrowP a p b' c' -> ArrowP a p (b, b') (c, c')

(&&&) :: ArrowP a p b c -> ArrowP a p b c' -> ArrowP a p b (c, c')

returnA :: Arrow a => a b b

The identity arrow, which plays the role of return in arrow notation.

(^>>) :: Arrow a => (b -> c) -> a c d -> a b d infixr 1

Precomposition with a pure function.

(>>^) :: Arrow a => a b c -> (c -> d) -> a b d infixr 1

Postcomposition with a pure function.

(<<^) :: Arrow a => a c d -> (b -> c) -> a b d infixr 1

Precomposition with a pure function (right-to-left variant).

(^<<) :: Arrow a => (c -> d) -> a b c -> a b d infixr 1

Postcomposition with a pure function (right-to-left variant).

leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d)

Any instance of ArrowApply can be made into an instance of ArrowChoice by defining left = leftApp.

class Arrow a => ArrowChoice (a :: * -> * -> *) where

Choice, for arrows that support it. This class underlies the if and case constructs in arrow notation.

Instances should satisfy the following laws:

• left (arr f) = arr (left f)

• left (f >>> g) = left f >>> left g

• f >>> arr Left = arr Left >>> left f

• left f >>> arr (id +++ g) = arr (id +++ g) >>> left f

• left (left f) >>> arr assocsum = arr assocsum >>> left f

where

assocsum (Left (Left x)) = Left x
assocsum (Left (Right y)) = Right (Left y)
assocsum (Right z) = Right (Right z)

The other combinators have sensible default definitions, which may be overridden for efficiency.

Methods

left :: a b c -> a (Either b d) (Either c d)

Feed marked inputs through the argument arrow, passing the rest through unchanged to the output.

right :: a b c -> a (Either d b) (Either d c)

A mirror image of left.

The default definition may be overridden with a more efficient version if desired.

(+++) :: a b c -> a b' c' -> a (Either b b') (Either c c') infixr 2

Split the input between the two argument arrows, retagging and merging their outputs. Note that this is in general not a functor.

The default definition may be overridden with a more efficient version if desired.

(|||) :: a b d -> a c d -> a (Either b c) d infixr 2

Fanin: Split the input between the two argument arrows and merge their outputs.

The default definition may be overridden with a more efficient version if desired.

Instances

Monad m => ArrowChoice (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

left :: Kleisli m b c -> Kleisli m (Either b d) (Either c d)

right :: Kleisli m b c -> Kleisli m (Either d b) (Either d c)

(+++) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (Either b b') (Either c c')

(|||) :: Kleisli m b d -> Kleisli m c d -> Kleisli m (Either b c) d

ArrowChoice ((->) :: * -> * -> *)

Since: base-2.1

Defined in Control.Arrow

Methods

left :: (b -> c) -> Either b d -> Either c d

right :: (b -> c) -> Either d b -> Either d c

(+++) :: (b -> c) -> (b' -> c') -> Either b b' -> Either c c'

(|||) :: (b -> d) -> (c -> d) -> Either b c -> d

ArrowChoice a => ArrowChoice (ArrowP a p)

Defined in Control.Arrow.ArrowP

Methods

left :: ArrowP a p b c -> ArrowP a p (Either b d) (Either c d)

right :: ArrowP a p b c -> ArrowP a p (Either d b) (Either d c)

(+++) :: ArrowP a p b c -> ArrowP a p b' c' -> ArrowP a p (Either b b') (Either c c')

(|||) :: ArrowP a p b d -> ArrowP a p c d -> ArrowP a p (Either b c) d

newtype Kleisli (m :: * -> *) a b

Kleisli arrows of a monad.

Constructors

Kleisli

Fields

• runKleisli :: a -> m b

Instances

MonadFix m => ArrowLoop (Kleisli m)

Beware that for many monads (those for which the >>= operation is strict) this instance will not satisfy the right-tightening law required by the ArrowLoop class.

Since: base-2.1

Defined in Control.Arrow

Methods

loop :: Kleisli m (b, d) (c, d) -> Kleisli m b c

Monad m => ArrowApply (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

app :: Kleisli m (Kleisli m b c, b) c

MonadPlus m => ArrowPlus (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

(<+>) :: Kleisli m b c -> Kleisli m b c -> Kleisli m b c

MonadPlus m => ArrowZero (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

zeroArrow :: Kleisli m b c

Monad m => Arrow (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

arr :: (b -> c) -> Kleisli m b c

first :: Kleisli m b c -> Kleisli m (b, d) (c, d)

second :: Kleisli m b c -> Kleisli m (d, b) (d, c)

(***) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (b, b') (c, c')

(&&&) :: Kleisli m b c -> Kleisli m b c' -> Kleisli m b (c, c')

Monad m => ArrowChoice (Kleisli m)

Since: base-2.1

Defined in Control.Arrow

Methods

left :: Kleisli m b c -> Kleisli m (Either b d) (Either c d)

right :: Kleisli m b c -> Kleisli m (Either d b) (Either d c)

(+++) :: Kleisli m b c -> Kleisli m b' c' -> Kleisli m (Either b b') (Either c c')

(|||) :: Kleisli m b d -> Kleisli m c d -> Kleisli m (Either b c) d

Monad m => Category (Kleisli m :: * -> * -> *)

Since: base-3.0

Defined in Control.Arrow

Methods

id :: Kleisli m a a

(.) :: Kleisli m b c -> Kleisli m a b -> Kleisli m a c

(>>>) :: Category cat => cat a b -> cat b c -> cat a c infixr 1

Left-to-right composition

writeWavNorm :: (Clock p, ToMusic1 a2, AudioSample a1) => String -> InstrMap (Signal p () a1) -> Music a2 -> IO ()

writeWav :: (Clock p, ToMusic1 a2, AudioSample a1) => String -> InstrMap (Signal p () a1) -> Music a2 -> IO ()

countTime :: Clock p => Int -> Signal p () (SEvent ()) -> Signal p () (SEvent ())

seconds :: Clock p => Signal p () (SEvent ())

milliseconds :: Clock p => Signal p () (SEvent ())

samples :: Clock p => Signal p () (SEvent ())

tableBessel :: Int -> Double -> Table

tableBesselN :: TableSize -> Double -> Table

tableSines :: Int -> [Double] -> Table

tableSinesN :: TableSize -> [PartialStrength] -> Table

tableSines3 :: Int -> [(PartialNum, PartialStrength, PhaseOffset)] -> Table

tableSines3N :: TableSize -> [(PartialNum, PartialStrength, PhaseOffset)] -> Table

tableLinear :: Int -> StartPt -> [(SegLength, EndPt)] -> Table

tableLinearN :: TableSize -> StartPt -> [(SegLength, EndPt)] -> Table

tableExpon :: Int -> StartPt -> [(SegLength, EndPt)] -> Table

tableExponN :: TableSize -> StartPt -> [(SegLength, EndPt)] -> Table

envCSEnvlpx :: Clock p => Double -> Double -> Double -> Table -> Double -> Double -> Signal p () Double

envASR :: Clock p => Double -> Double -> Double -> Signal p () Double

envExponSeg :: Clock p => [Double] -> [Double] -> Signal p () Double

envLineSeg :: Clock p => [Double] -> [Double] -> Signal p () Double

envExpon :: Clock p => Double -> Double -> Double -> Signal p () Double

envLine :: Clock p => Double -> Double -> Double -> Signal p () Double

filterHighPass :: Clock p => Signal p (Double, Double) Double

filterLowPass :: Clock p => Signal p (Double, Double) Double

filterComb :: Clock p => Double -> Signal p (Double, Double) Double

filterBandStopBW :: Clock p => Signal p (Double, Double, Double) Double

filterBandPassBW :: Clock p => Signal p (Double, Double, Double) Double

filterHighPassBW :: Clock p => Signal p (Double, Double) Double

filterLowPassBW :: Clock p => Signal p (Double, Double) Double

filterBandStop :: Clock p => Int -> Signal p (Double, Double, Double) Double

filterBandPass :: Clock p => Int -> Signal p (Double, Double, Double) Double

balance :: Clock p => Int -> Signal p (Double, Double) Double

noiseBLH :: Clock p => Int -> Signal p Double Double

noiseBLI :: Clock p => Int -> Signal p Double Double

noiseWhite :: Int -> Signal p () Double

delayLine1 :: Clock p => Double -> Signal p (Double, Double) Double

delayLine :: Clock p => Double -> Signal p Double Double

delayLineT :: Clock p => Int -> Table -> Signal p Double Double

pluck :: Clock p => Table -> Double -> PluckDecayMethod -> Signal p Double Double

oscPartials :: Clock p => Table -> Double -> Signal p (Double, Int) Double

oscDurI :: (Clock p, ArrowChoice a, ArrowCircuit a) => Table -> Double -> Double -> ArrowP a p () Double

oscDur :: (Clock p, ArrowChoice a, ArrowCircuit a) => Table -> Double -> Double -> ArrowP a p () Double

oscFixed :: (Clock p, ArrowCircuit a) => Double -> ArrowP a p () Double

oscI :: (Clock p, ArrowCircuit a) => Table -> Double -> ArrowP a p Double Double

osc :: (Clock p, ArrowCircuit a) => Table -> Double -> ArrowP a p Double Double

data Table

Instances

Show Table

Defined in Euterpea.IO.Audio.BasicSigFuns

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

data PluckDecayMethod

Constructors

SimpleAveraging

StretchedAveraging Double

SimpleDrum Double

StretchedDrum Double Double

WeightedAveraging Double Double

RecursiveFilter

renderSF

Arguments

:: (Clock p, ToMusic1 a, AudioSample b)

=> Music a

-> InstrMap (Signal p () b)

-> (Double, Signal p () b)

Duration of the music in seconds, and a signal function that plays the music.

type Instr a = Dur -> AbsPitch -> Volume -> [Double] -> a

type InstrMap a = [(InstrumentName, Instr a)]

pchToHz :: Floating a => Pitch -> a

Converting from a Pitch value to Hz:

apToHz :: Floating a => AbsPitch -> a

Converting an AbsPitch to hertz (cycles per second):

upsample :: (ArrowChoice a, ArrowCircuit a, Clock p1, Clock p2, AudioSample c) => ArrowP a p1 b c -> ArrowP a p2 b c

countUp :: ArrowCircuit a => a () Int

countDown :: ArrowCircuit a => Int -> a () Int

integral :: (ArrowCircuit a, Clock p) => ArrowP a p Double Double

outA :: Arrow a => a b b

fromMidi :: Midi -> Music1

predefinedCP :: ChannelMap -> ChannelMapFun

dynamicCP :: NumChannels -> PercChan -> ChannelMapFun

linearCP :: NumChannels -> PercChan -> ChannelMapFun

musicToMsgs' :: ToMusic1 a => PlayParams -> Music a -> [(Time, MidiMessage)]

playM' :: Maybe OutputDeviceID -> Midi -> IO ()

devices :: IO ()

playC :: (ToMusic1 a, NFData a) => PlayParams -> Music a -> IO ()

playDevS :: (ToMusic1 a, NFData a) => Int -> Music a -> IO ()

playDev :: (ToMusic1 a, NFData a) => Int -> Music a -> IO ()

playS :: (ToMusic1 a, NFData a) => Music a -> IO ()

play :: (ToMusic1 a, NFData a) => Music a -> IO ()

defParams :: PlayParams

data PlayParams

Constructors

PlayParams

Fields

• strict :: Bool
• chanPolicy :: ChannelMapFun
• devID :: Maybe OutputDeviceID
• closeDelay :: Time
• perfAlg :: Music1 -> [MEvent]

type ChannelMap = [(InstrumentName, Channel)]

type ChannelMapFun = InstrumentName -> ChannelMap -> (Channel, ChannelMap)

writeMidi :: ToMusic1 a => FilePath -> Music a -> IO ()

defUpm :: UserPatchMap

insertMEvent :: MidiEvent -> [MidiEvent] -> [MidiEvent]

toDelta :: (RealFrac a, Integral b) => a -> b

mkMEvents :: Channel -> MEvent -> (MidiEvent, MidiEvent)

mevsToMessages :: UserPatchMap -> (InstrumentName, [MEvent]) -> [MidiEvent]

defST :: Tempo

splitByInst :: [MEvent] -> [(InstrumentName, [MEvent])]

lookupB :: UserPatchMap -> InstrumentName -> Bool

allValid :: UserPatchMap -> [InstrumentName] -> Bool

division :: Int

toMidiUPM :: UserPatchMap -> [MEvent] -> Midi

toMidi :: [MEvent] -> Midi

upmLookup :: UserPatchMap -> InstrumentName -> (Channel, ProgNum)

makeGMMap :: [InstrumentName] -> UserPatchMap

type ProgNum = Int

type UserPatchMap = [(InstrumentName, Channel)]

type MidiEvent = (Ticks, Message)

toGM :: InstrumentName -> Int

fromGM :: Int -> InstrumentName

phraseToMEvents :: MContext -> [PhraseAttribute] -> Music1 -> (Performance, DurT)

noteToMEvent :: MContext -> Dur -> (Pitch, [NoteAttribute]) -> MEvent

musicToMEvents :: MContext -> Music1 -> (Performance, DurT)

applyControls :: Music1 -> Music1

perform1Dur :: Music1 -> (Performance, DurT)

perform1 :: Music1 -> Performance

perform :: ToMusic1 a => Music a -> Performance

merge :: Performance -> Performance -> Performance

data MEvent

Constructors

MEvent

Fields

• eTime :: PTime
• eInst :: InstrumentName
• ePitch :: AbsPitch
• eDur :: DurT
• eVol :: Volume
• eParams :: [Double]

Instances

Eq MEvent

Defined in Euterpea.IO.MIDI.MEvent

Methods

(==) :: MEvent -> MEvent -> Bool

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

Ord MEvent

Defined in Euterpea.IO.MIDI.MEvent

Methods

compare :: MEvent -> MEvent -> Ordering

(<) :: MEvent -> MEvent -> Bool

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

(>) :: MEvent -> MEvent -> Bool

(>=) :: MEvent -> MEvent -> Bool

max :: MEvent -> MEvent -> MEvent

min :: MEvent -> MEvent -> MEvent

Show MEvent

Defined in Euterpea.IO.MIDI.MEvent

Methods

showsPrec :: Int -> MEvent -> ShowS

show :: MEvent -> String

showList :: [MEvent] -> ShowS

type Performance = [MEvent]

type PTime = Rational

type DurT = Rational

data MContext

Constructors

MContext

Fields

• mcTime :: PTime
• mcInst :: InstrumentName
• mcDur :: DurT
• mcVol :: Volume

Instances

Show MContext

Defined in Euterpea.IO.MIDI.MEvent

Methods

showsPrec :: Int -> MContext -> ShowS

show :: MContext -> String

showList :: [MContext] -> ShowS

removeInstruments :: Music a -> Music a

changeInstrument :: InstrumentName -> Music a -> Music a

scaleDurations :: Rational -> Music a -> Music a

shiftPitches1 :: AbsPitch -> Music (Pitch, b) -> Music (Pitch, b)

shiftPitches :: AbsPitch -> Music Pitch -> Music Pitch

mFold :: (Primitive a -> b) -> (b -> b -> b) -> (b -> b -> b) -> (Control -> b -> b) -> Music a -> b

mMap :: (a -> b) -> Music a -> Music b

pMap :: (a -> b) -> Primitive a -> Primitive b

perc :: PercussionSound -> Dur -> Music Pitch

(/=:) :: Music a -> Music a -> Music a

cutL :: LazyDur -> Music a -> Music a

minL :: LazyDur -> Dur -> Dur

mergeLD :: LazyDur -> LazyDur -> LazyDur

durL :: Music a -> LazyDur

removeZeros :: Music a -> Music a

remove :: Dur -> Music a -> Music a

cut :: Dur -> Music a -> Music a

invertRetro :: Music Pitch -> Music Pitch

retroInvert :: Music Pitch -> Music Pitch

retro :: Music a -> Music a

invert1 :: Music (Pitch, a) -> Music (Pitch, a)

invert :: Music Pitch -> Music Pitch

invertAt1 :: Pitch -> Music (Pitch, a) -> Music (Pitch, a)

invertAt :: Pitch -> Music Pitch -> Music Pitch

lineToList :: Music a -> [Music a]

forever :: Music a -> Music a

times :: Int -> Music a -> Music a

offset :: Dur -> Music a -> Music a

chord1 :: [Music a] -> Music a

line1 :: [Music a] -> Music a

chord :: [Music a] -> Music a

line :: [Music a] -> Music a

trans :: Int -> Pitch -> Pitch

pitch :: AbsPitch -> Pitch

pcToInt :: PitchClass -> Int

absPitch :: Pitch -> AbsPitch

ddenr :: Music Pitch

dden :: Dur

ddqnr :: Music Pitch

ddqn :: Dur

ddhnr :: Music Pitch

ddhn :: Dur

dtnr :: Music Pitch

dtn :: Dur

dsnr :: Music Pitch

dsn :: Dur

denr :: Music Pitch

den :: Dur

dqnr :: Music Pitch

dqn :: Dur

dhnr :: Music Pitch

dhn :: Dur

dwnr :: Music Pitch

dwn :: Dur

sfnr :: Music Pitch

sfn :: Dur

tnr :: Music Pitch

snr :: Music Pitch

enr :: Music Pitch

qnr :: Music Pitch

hnr :: Music Pitch

wnr :: Music Pitch

bnr :: Music Pitch

bn :: Dur

bss :: Octave -> Dur -> Music Pitch

bs :: Octave -> Dur -> Music Pitch

b :: Octave -> Dur -> Music Pitch

bf :: Octave -> Dur -> Music Pitch

bff :: Octave -> Dur -> Music Pitch

ass :: Octave -> Dur -> Music Pitch

as :: Octave -> Dur -> Music Pitch

a :: Octave -> Dur -> Music Pitch

af :: Octave -> Dur -> Music Pitch

aff :: Octave -> Dur -> Music Pitch

gss :: Octave -> Dur -> Music Pitch

gs :: Octave -> Dur -> Music Pitch

g :: Octave -> Dur -> Music Pitch

gf :: Octave -> Dur -> Music Pitch

gff :: Octave -> Dur -> Music Pitch

fss :: Octave -> Dur -> Music Pitch

fs :: Octave -> Dur -> Music Pitch

f :: Octave -> Dur -> Music Pitch

ff :: Octave -> Dur -> Music Pitch

fff :: Octave -> Dur -> Music Pitch

ess :: Octave -> Dur -> Music Pitch

es :: Octave -> Dur -> Music Pitch

e :: Octave -> Dur -> Music Pitch

ef :: Octave -> Dur -> Music Pitch

eff :: Octave -> Dur -> Music Pitch

dss :: Octave -> Dur -> Music Pitch

ds :: Octave -> Dur -> Music Pitch

d :: Octave -> Dur -> Music Pitch

df :: Octave -> Dur -> Music Pitch

dff :: Octave -> Dur -> Music Pitch

css :: Octave -> Dur -> Music Pitch

cs :: Octave -> Dur -> Music Pitch

c :: Octave -> Dur -> Music Pitch

cf :: Octave -> Dur -> Music Pitch

cff :: Octave -> Dur -> Music Pitch

keysig :: PitchClass -> Mode -> Music a -> Music a

phrase :: [PhraseAttribute] -> Music a -> Music a

instrument :: InstrumentName -> Music a -> Music a

transpose :: AbsPitch -> Music a -> Music a

tempo :: Dur -> Music a -> Music a

rest :: Dur -> Music a

note :: Dur -> a -> Music a

addVolume :: Volume -> Music Pitch -> Music (Pitch, Volume)

type Octave = Int

type Pitch = (PitchClass, Octave)

data PitchClass

Constructors

Cff

Cf

Dff

Cs

Df

Css

Eff

Ds

Ef

Fff

Dss

E

Ff

Es

F

Gff

Ess

Fs

Gf

Fss

G

Aff

Gs

Af

Gss

A

Bff

As

Bf

Ass

B

Bs

Bss

Instances

Bounded PitchClass

Defined in Euterpea.Music

Methods

minBound :: PitchClass

maxBound :: PitchClass

Enum PitchClass

Defined in Euterpea.Music

Methods

succ :: PitchClass -> PitchClass

pred :: PitchClass -> PitchClass

toEnum :: Int -> PitchClass

fromEnum :: PitchClass -> Int

enumFrom :: PitchClass -> [PitchClass]

enumFromThen :: PitchClass -> PitchClass -> [PitchClass]

enumFromTo :: PitchClass -> PitchClass -> [PitchClass]

enumFromThenTo :: PitchClass -> PitchClass -> PitchClass -> [PitchClass]

Eq PitchClass

Defined in Euterpea.Music

Methods

(==) :: PitchClass -> PitchClass -> Bool

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

Ord PitchClass

Defined in Euterpea.Music

Methods

compare :: PitchClass -> PitchClass -> Ordering

(<) :: PitchClass -> PitchClass -> Bool

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

(>) :: PitchClass -> PitchClass -> Bool

(>=) :: PitchClass -> PitchClass -> Bool

max :: PitchClass -> PitchClass -> PitchClass

min :: PitchClass -> PitchClass -> PitchClass

Read PitchClass

Defined in Euterpea.Music

Methods

readsPrec :: Int -> ReadS PitchClass

readList :: ReadS [PitchClass]

readPrec :: ReadPrec PitchClass

readListPrec :: ReadPrec [PitchClass]

Show PitchClass

Defined in Euterpea.Music

Methods

showsPrec :: Int -> PitchClass -> ShowS

show :: PitchClass -> String

showList :: [PitchClass] -> ShowS

ToMusic1 Pitch

Defined in Euterpea.Music

Methods

toMusic1 :: Music Pitch -> Music1

ToMusic1 Note1

Defined in Euterpea.Music

Methods

toMusic1 :: Music Note1 -> Music1

ToMusic1 (Pitch, Volume)

Defined in Euterpea.Music

Methods

toMusic1 :: Music (Pitch, Volume) -> Music1

data Primitive a

Constructors

Note Dur a

Rest Dur

Instances

Functor Primitive

Defined in Euterpea.Music

Methods

fmap :: (a -> b) -> Primitive a -> Primitive b

(<$) :: a -> Primitive b -> Primitive a

Eq a => Eq (Primitive a)

Defined in Euterpea.Music

Methods

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

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

Ord a => Ord (Primitive a)

Defined in Euterpea.Music

Methods

compare :: Primitive a -> Primitive a -> Ordering

(<) :: Primitive a -> Primitive a -> Bool

(<=) :: Primitive a -> Primitive a -> Bool

(>) :: Primitive a -> Primitive a -> Bool

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

max :: Primitive a -> Primitive a -> Primitive a

min :: Primitive a -> Primitive a -> Primitive a

Show a => Show (Primitive a)

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Primitive a -> ShowS

show :: Primitive a -> String

showList :: [Primitive a] -> ShowS

data Music a

Constructors

Prim (Primitive a)

(Music a) :+: (Music a) infixr 5

(Music a) :=: (Music a) infixr 5

Modify Control (Music a)

Instances

Functor Music

Defined in Euterpea.Music

Methods

fmap :: (a -> b) -> Music a -> Music b

(<$) :: a -> Music b -> Music a

Eq a => Eq (Music a)

Defined in Euterpea.Music

Methods

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

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

Ord a => Ord (Music a)

Defined in Euterpea.Music

Methods

compare :: Music a -> Music a -> Ordering

(<) :: Music a -> Music a -> Bool

(<=) :: Music a -> Music a -> Bool

(>) :: Music a -> Music a -> Bool

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

max :: Music a -> Music a -> Music a

min :: Music a -> Music a -> Music a

Show a => Show (Music a)

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Music a -> ShowS

show :: Music a -> String

showList :: [Music a] -> ShowS

data Control

Constructors

Tempo Rational

Transpose AbsPitch

Instrument InstrumentName

KeySig PitchClass Mode

Custom String

Instances

Eq Control

Defined in Euterpea.Music

Methods

(==) :: Control -> Control -> Bool

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

Ord Control

Defined in Euterpea.Music

Methods

compare :: Control -> Control -> Ordering

(<) :: Control -> Control -> Bool

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

(>) :: Control -> Control -> Bool

(>=) :: Control -> Control -> Bool

max :: Control -> Control -> Control

min :: Control -> Control -> Control

Show Control

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Control -> ShowS

show :: Control -> String

showList :: [Control] -> ShowS

pattern Aeolian :: Mode

pattern CustomMode :: String -> Mode

data InstrumentName

Constructors

AcousticGrandPiano

BrightAcousticPiano

ElectricGrandPiano

HonkyTonkPiano

RhodesPiano

ChorusedPiano

Harpsichord

Clavinet

Celesta

Glockenspiel

MusicBox

Vibraphone

Marimba

Xylophone

TubularBells

Dulcimer

HammondOrgan

PercussiveOrgan

RockOrgan

ChurchOrgan

ReedOrgan

Accordion

Harmonica

TangoAccordion

AcousticGuitarNylon

AcousticGuitarSteel

ElectricGuitarJazz

ElectricGuitarClean

ElectricGuitarMuted

OverdrivenGuitar

DistortionGuitar

GuitarHarmonics

AcousticBass

ElectricBassFingered

ElectricBassPicked

FretlessBass

SlapBass1

SlapBass2

SynthBass1

SynthBass2

Violin

Viola

Cello

Contrabass

TremoloStrings

PizzicatoStrings

OrchestralHarp

Timpani

StringEnsemble1

StringEnsemble2

SynthStrings1

SynthStrings2

ChoirAahs

VoiceOohs

SynthVoice

OrchestraHit

Trumpet

Trombone

Tuba

MutedTrumpet

FrenchHorn

BrassSection

SynthBrass1

SynthBrass2

SopranoSax

AltoSax

TenorSax

BaritoneSax

Oboe

Bassoon

EnglishHorn

Clarinet

Piccolo

Flute

Recorder

PanFlute

BlownBottle

Shakuhachi

Whistle

Ocarina

Lead1Square

Lead2Sawtooth

Lead3Calliope

Lead4Chiff

Lead5Charang

Lead6Voice

Lead7Fifths

Lead8BassLead

Pad1NewAge

Pad2Warm

Pad3Polysynth

Pad4Choir

Pad5Bowed

Pad6Metallic

Pad7Halo

Pad8Sweep

FX1Train

FX2Soundtrack

FX3Crystal

FX4Atmosphere

FX5Brightness

FX6Goblins

FX7Echoes

FX8SciFi

Sitar

Banjo

Shamisen

Koto

Kalimba

Bagpipe

Fiddle

Shanai

TinkleBell

Agogo

SteelDrums

Woodblock

TaikoDrum

MelodicDrum

SynthDrum

ReverseCymbal

GuitarFretNoise

BreathNoise

Seashore

BirdTweet

TelephoneRing

Helicopter

Applause

Gunshot

Percussion

CustomInstrument String

Instances

Eq InstrumentName

Defined in Euterpea.Music

Methods

(==) :: InstrumentName -> InstrumentName -> Bool

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

Ord InstrumentName

Defined in Euterpea.Music

Methods

compare :: InstrumentName -> InstrumentName -> Ordering

(<) :: InstrumentName -> InstrumentName -> Bool

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

(>) :: InstrumentName -> InstrumentName -> Bool

(>=) :: InstrumentName -> InstrumentName -> Bool

max :: InstrumentName -> InstrumentName -> InstrumentName

min :: InstrumentName -> InstrumentName -> InstrumentName

Show InstrumentName

Defined in Euterpea.Music

Methods

showsPrec :: Int -> InstrumentName -> ShowS

show :: InstrumentName -> String

showList :: [InstrumentName] -> ShowS

data PhraseAttribute

Constructors

Dyn Dynamic

Tmp Tempo

Art Articulation

Orn Ornament

Instances

Eq PhraseAttribute

Defined in Euterpea.Music

Methods

(==) :: PhraseAttribute -> PhraseAttribute -> Bool

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

Ord PhraseAttribute

Defined in Euterpea.Music

Methods

compare :: PhraseAttribute -> PhraseAttribute -> Ordering

(<) :: PhraseAttribute -> PhraseAttribute -> Bool

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

(>) :: PhraseAttribute -> PhraseAttribute -> Bool

(>=) :: PhraseAttribute -> PhraseAttribute -> Bool

max :: PhraseAttribute -> PhraseAttribute -> PhraseAttribute

min :: PhraseAttribute -> PhraseAttribute -> PhraseAttribute

Show PhraseAttribute

Defined in Euterpea.Music

Methods

showsPrec :: Int -> PhraseAttribute -> ShowS

show :: PhraseAttribute -> String

showList :: [PhraseAttribute] -> ShowS

data Dynamic

Constructors

Accent Rational

Crescendo Rational

Diminuendo Rational

StdLoudness StdLoudness

Loudness Rational

Instances

Eq Dynamic

Defined in Euterpea.Music

Methods

(==) :: Dynamic -> Dynamic -> Bool

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

Ord Dynamic

Defined in Euterpea.Music

Methods

compare :: Dynamic -> Dynamic -> Ordering

(<) :: Dynamic -> Dynamic -> Bool

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

(>) :: Dynamic -> Dynamic -> Bool

(>=) :: Dynamic -> Dynamic -> Bool

max :: Dynamic -> Dynamic -> Dynamic

min :: Dynamic -> Dynamic -> Dynamic

Show Dynamic

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Dynamic -> ShowS

show :: Dynamic -> String

showList :: [Dynamic] -> ShowS

data StdLoudness

Constructors

PPP

PP

SF

MF

NF

FF

FFF

Instances

Enum StdLoudness

Defined in Euterpea.Music

Methods

succ :: StdLoudness -> StdLoudness

pred :: StdLoudness -> StdLoudness

toEnum :: Int -> StdLoudness

fromEnum :: StdLoudness -> Int

enumFrom :: StdLoudness -> [StdLoudness]

enumFromThen :: StdLoudness -> StdLoudness -> [StdLoudness]

enumFromTo :: StdLoudness -> StdLoudness -> [StdLoudness]

enumFromThenTo :: StdLoudness -> StdLoudness -> StdLoudness -> [StdLoudness]

Eq StdLoudness

Defined in Euterpea.Music

Methods

(==) :: StdLoudness -> StdLoudness -> Bool

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

Ord StdLoudness

Defined in Euterpea.Music

Methods

compare :: StdLoudness -> StdLoudness -> Ordering

(<) :: StdLoudness -> StdLoudness -> Bool

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

(>) :: StdLoudness -> StdLoudness -> Bool

(>=) :: StdLoudness -> StdLoudness -> Bool

max :: StdLoudness -> StdLoudness -> StdLoudness

min :: StdLoudness -> StdLoudness -> StdLoudness

Show StdLoudness

Defined in Euterpea.Music

Methods

showsPrec :: Int -> StdLoudness -> ShowS

show :: StdLoudness -> String

showList :: [StdLoudness] -> ShowS

data Tempo

Constructors

Ritardando Rational

Accelerando Rational

Instances

Eq Tempo

Defined in Euterpea.Music

Methods

(==) :: Tempo -> Tempo -> Bool

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

Ord Tempo

Defined in Euterpea.Music

Methods

compare :: Tempo -> Tempo -> Ordering

(<) :: Tempo -> Tempo -> Bool

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

(>) :: Tempo -> Tempo -> Bool

(>=) :: Tempo -> Tempo -> Bool

max :: Tempo -> Tempo -> Tempo

min :: Tempo -> Tempo -> Tempo

Show Tempo

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Tempo -> ShowS

show :: Tempo -> String

showList :: [Tempo] -> ShowS

data Articulation

Constructors

Staccato Rational

Legato Rational

Slurred Rational

Tenuto

Marcato

Pedal

Fermata

FermataDown

Breath

DownBow

UpBow

Harmonic

Pizzicato

LeftPizz

BartokPizz

Swell

Wedge

Thumb

Stopped

Instances

Eq Articulation

Defined in Euterpea.Music

Methods

(==) :: Articulation -> Articulation -> Bool

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

Ord Articulation

Defined in Euterpea.Music

Methods

compare :: Articulation -> Articulation -> Ordering

(<) :: Articulation -> Articulation -> Bool

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

(>) :: Articulation -> Articulation -> Bool

(>=) :: Articulation -> Articulation -> Bool

max :: Articulation -> Articulation -> Articulation

min :: Articulation -> Articulation -> Articulation

Show Articulation

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Articulation -> ShowS

show :: Articulation -> String

showList :: [Articulation] -> ShowS

data Ornament

Constructors

Trill

Mordent

InvMordent

DoubleMordent

Turn

TrilledTurn

ShortTrill

Arpeggio

ArpeggioUp

ArpeggioDown

Instruction String

Head NoteHead

DiatonicTrans Int

Instances

Eq Ornament

Defined in Euterpea.Music

Methods

(==) :: Ornament -> Ornament -> Bool

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

Ord Ornament

Defined in Euterpea.Music

Methods

compare :: Ornament -> Ornament -> Ordering

(<) :: Ornament -> Ornament -> Bool

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

(>) :: Ornament -> Ornament -> Bool

(>=) :: Ornament -> Ornament -> Bool

max :: Ornament -> Ornament -> Ornament

min :: Ornament -> Ornament -> Ornament

Show Ornament

Defined in Euterpea.Music

Methods

showsPrec :: Int -> Ornament -> ShowS

show :: Ornament -> String

showList :: [Ornament] -> ShowS

data NoteHead

Constructors

DiamondHead

SquareHead

XHead

TriangleHead

TremoloHead

SlashHead

ArtHarmonic

NoHead

Instances

Eq NoteHead

Defined in Euterpea.Music

Methods

(==) :: NoteHead -> NoteHead -> Bool

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

Ord NoteHead

Defined in Euterpea.Music

Methods

compare :: NoteHead -> NoteHead -> Ordering

(<) :: NoteHead -> NoteHead -> Bool

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

(>) :: NoteHead -> NoteHead -> Bool

(>=) :: NoteHead -> NoteHead -> Bool

max :: NoteHead -> NoteHead -> NoteHead

min :: NoteHead -> NoteHead -> NoteHead

Show NoteHead

Defined in Euterpea.Music

Methods

showsPrec :: Int -> NoteHead -> ShowS

show :: NoteHead -> String

showList :: [NoteHead] -> ShowS

type Volume = Int

data NoteAttribute

Constructors

Volume Int

Fingering Integer

Dynamics String

Params [Double]

Instances

Eq NoteAttribute

Defined in Euterpea.Music

Methods

(==) :: NoteAttribute -> NoteAttribute -> Bool

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

Show NoteAttribute

Defined in Euterpea.Music

Methods

showsPrec :: Int -> NoteAttribute -> ShowS

show :: NoteAttribute -> String

showList :: [NoteAttribute] -> ShowS

ToMusic1 Note1

Defined in Euterpea.Music

Methods

toMusic1 :: Music Note1 -> Music1

type Note1 = (Pitch, [NoteAttribute])

type Music1 = Music Note1

class ToMusic1 a where

Minimal complete definition

toMusic1

Methods

toMusic1 :: Music a -> Music1

Instances

ToMusic1 AbsPitch

Defined in Euterpea.Music

Methods

toMusic1 :: Music AbsPitch -> Music1

ToMusic1 Pitch

Defined in Euterpea.Music

Methods

toMusic1 :: Music Pitch -> Music1

ToMusic1 Note1

Defined in Euterpea.Music

Methods

toMusic1 :: Music Note1 -> Music1

ToMusic1 (AbsPitch, Volume)

Defined in Euterpea.Music

Methods

toMusic1 :: Music (AbsPitch, Volume) -> Music1

ToMusic1 (Pitch, Volume)

Defined in Euterpea.Music

Methods

toMusic1 :: Music (Pitch, Volume) -> Music1

type LazyDur = [Dur]

data PercussionSound

Constructors

AcousticBassDrum

BassDrum1

SideStick

AcousticSnare

HandClap

ElectricSnare

LowFloorTom

ClosedHiHat

HighFloorTom

PedalHiHat

LowTom

OpenHiHat

LowMidTom

HiMidTom

CrashCymbal1

HighTom

RideCymbal1

ChineseCymbal

RideBell

Tambourine

SplashCymbal

Cowbell

CrashCymbal2

Vibraslap

RideCymbal2

HiBongo

LowBongo

MuteHiConga

OpenHiConga

LowConga

HighTimbale

LowTimbale

HighAgogo

LowAgogo

Cabasa

Maracas

ShortWhistle

LongWhistle

ShortGuiro

LongGuiro

Claves

HiWoodBlock

LowWoodBlock

MuteCuica

OpenCuica

MuteTriangle

OpenTriangle

Instances

Enum PercussionSound

Defined in Euterpea.Music

Methods

succ :: PercussionSound -> PercussionSound

pred :: PercussionSound -> PercussionSound

toEnum :: Int -> PercussionSound

fromEnum :: PercussionSound -> Int

enumFrom :: PercussionSound -> [PercussionSound]

enumFromThen :: PercussionSound -> PercussionSound -> [PercussionSound]

enumFromTo :: PercussionSound -> PercussionSound -> [PercussionSound]

enumFromThenTo :: PercussionSound -> PercussionSound -> PercussionSound -> [PercussionSound]

Eq PercussionSound

Defined in Euterpea.Music

Methods

(==) :: PercussionSound -> PercussionSound -> Bool

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

Ord PercussionSound

Defined in Euterpea.Music

Methods

compare :: PercussionSound -> PercussionSound -> Ordering

(<) :: PercussionSound -> PercussionSound -> Bool

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

(>) :: PercussionSound -> PercussionSound -> Bool

(>=) :: PercussionSound -> PercussionSound -> Bool

max :: PercussionSound -> PercussionSound -> PercussionSound

min :: PercussionSound -> PercussionSound -> PercussionSound

Show PercussionSound

Defined in Euterpea.Music

Methods

showsPrec :: Int -> PercussionSound -> ShowS

show :: PercussionSound -> String

showList :: [PercussionSound] -> ShowS

playMidi :: OutputDeviceID -> Midi -> IO ()

defaultInput :: (InputDeviceID -> a -> IO b) -> a -> IO b

defaultOutput :: (OutputDeviceID -> a -> IO b) -> a -> IO b

data MidiMessage

Constructors

ANote !Channel !Key !Velocity !Time

Std Message

Instances

Show MidiMessage

Defined in Euterpea.IO.MIDI.MidiIO

Methods

showsPrec :: Int -> MidiMessage -> ShowS

show :: MidiMessage -> String

showList :: [MidiMessage] -> ShowS

data InputDeviceID

Instances

Eq InputDeviceID

Defined in Euterpea.IO.MIDI.MidiIO

Methods

(==) :: InputDeviceID -> InputDeviceID -> Bool

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

Show InputDeviceID

Defined in Euterpea.IO.MIDI.MidiIO

Methods

showsPrec :: Int -> InputDeviceID -> ShowS

show :: InputDeviceID -> String

showList :: [InputDeviceID] -> ShowS

NFData InputDeviceID

Defined in Euterpea.IO.MIDI.MidiIO

Methods

rnf :: InputDeviceID -> ()

data OutputDeviceID

Instances

Eq OutputDeviceID

Defined in Euterpea.IO.MIDI.MidiIO

Methods

(==) :: OutputDeviceID -> OutputDeviceID -> Bool

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

Show OutputDeviceID

Defined in Euterpea.IO.MIDI.MidiIO

Methods

showsPrec :: Int -> OutputDeviceID -> ShowS

show :: OutputDeviceID -> String

showList :: [OutputDeviceID] -> ShowS

NFData OutputDeviceID

Defined in Euterpea.IO.MIDI.MidiIO

Methods

rnf :: OutputDeviceID -> ()

exportMidiFile :: FilePath -> Midi -> IO ()

maxSample :: (AudioSample a, Clock p) => Double -> Signal p () a -> Double

Compute the maximum sample of an SF in the first dur seconds.

outFileNorm

Arguments

:: (AudioSample a, Clock p)

=> String

Filename to write to.

-> Double

Duration of the wav in seconds.

-> Signal p () a

Signal representing the sound.

-> IO ()

Like outFile, but normalizes the output if the amplitude of the signal goes above 1. If the maximum sample is less than or equal to 1, the output is not normalized. Currently this requires storing the entire output stream in memory before writing to the file.

outFile

Arguments

:: (AudioSample a, Clock p)

=> String

Filename to write to.

-> Double

Duration of the wav in seconds.

-> Signal p () a

Signal representing the sound.

-> IO ()

Writes sound to a wave file (.wav)

class Clock p where

Minimal complete definition

rate

Methods

rate :: p -> Double

Instances

Clock AudRate

Defined in Euterpea.IO.Audio.Types

Methods

rate :: AudRate -> Double

Clock CtrRate

Defined in Euterpea.IO.Audio.Types

Methods

rate :: CtrRate -> Double

data AudRate

Instances

Clock AudRate

Defined in Euterpea.IO.Audio.Types

Methods

rate :: AudRate -> Double

data CtrRate

Instances

Clock CtrRate

Defined in Euterpea.IO.Audio.Types

Methods

rate :: CtrRate -> Double

type AudSF a b = SigFun AudRate a b

type CtrSF a b = SigFun CtrRate a b

type Signal clk a b = ArrowP SF clk a b

type SigFun clk a b = ArrowP SF clk a b

class AudioSample a where

Minimal complete definition

zero, mix, collapse, numChans

Methods

zero :: a

mix :: a -> a -> a

collapse :: a -> [Double]

numChans :: a -> Int

Instances

AudioSample Double

Defined in Euterpea.IO.Audio.Types

Methods

zero :: Double

mix :: Double -> Double -> Double

collapse :: Double -> [Double]

numChans :: Double -> Int

AudioSample (Double, Double)

Defined in Euterpea.IO.Audio.Types

Methods

zero :: (Double, Double)

mix :: (Double, Double) -> (Double, Double) -> (Double, Double)

collapse :: (Double, Double) -> [Double]

numChans :: (Double, Double) -> Int

type Mono p = Signal p () Double

type Stereo p = Signal p () (Double, Double)

data DeviceInfo

Constructors

DeviceInfo

Fields

• interface :: String
• name :: String
• input :: Bool
• output :: Bool
• opened :: Bool

Instances

Eq DeviceInfo

Defined in Sound.PortMidi.DeviceInfo

Methods

(==) :: DeviceInfo -> DeviceInfo -> Bool

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

Show DeviceInfo

Defined in Sound.PortMidi.DeviceInfo

Methods

showsPrec :: Int -> DeviceInfo -> ShowS

show :: DeviceInfo -> String

showList :: [DeviceInfo] -> ShowS

data Message

Constructors

NoteOff !Channel !Key !Velocity

NoteOn !Channel !Key !Velocity

KeyPressure !Channel !Key !Pressure

ControlChange

Fields

• channel :: !Channel
• controllerNumber :: !Int
• controllerValue :: !Int

ProgramChange

Fields

• channel :: !Channel
• preset :: !Preset

ChannelPressure

Fields

• channel :: !Channel
• pressure :: !Pressure

PitchWheel

Fields

• channel :: !Channel
• pitchWheel :: !PitchWheel

SequenceNumber !Int

Text !String

Copyright !String

TrackName !String

InstrumentName !String

Lyrics !String

Marker !String

CuePoint !String

ChannelPrefix !Channel

ProgramName !String

DeviceName !String

TrackEnd

TempoChange !Tempo

SMPTEOffset !Int !Int !Int !Int !Int

TimeSignature !Int !Int !Int !Int

KeySignature !Int !Int

Reserved !Int !ByteString

Sysex !Int !ByteString

Instances

Eq Message

Defined in Codec.Midi

Methods

(==) :: Message -> Message -> Bool

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

Show Message

Defined in Codec.Midi

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

Arbitrary Message

Defined in Codec.Midi

Methods

arbitrary :: Gen Message

shrink :: Message -> [Message]

importFile :: FilePath -> IO (Either String Midi)

exportFile :: FilePath -> Midi -> IO ()