Composition.Sound.Presentation

Helps to create experimental music. This module contains different representations for the data. Is rewritten from the dobutokO4 package.

Sound repesentations

data SoundI

An Int parameter is an index of the SoundI sound file in the sorted in the ascending order Vector of them (the corresponding files or their names) representing the whole composition.

Constructors

Si Int Float Float OvertonesO

SAi Int Float Float Float OvertonesO

SAbi Int Float Float Float OvertonesO

Instances

Eq SoundI

Defined in Composition.Sound.Presentation

Methods

(==) :: SoundI -> SoundI -> Bool

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

data SoundFN

An FilePath parameter is a name of the sound file in the current directory with the filetype (supported by SoX) being given by String representing the whole composition.

Constructors

Sn FilePath String Float Float

SAn FilePath String Float Float Float

SAbn FilePath String Float Float Float

Instances

Eq SoundFN

Defined in Composition.Sound.Presentation

Methods

(==) :: SoundFN -> SoundFN -> Bool

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

data SoundT

The first Float parameter is a time moment (starting from 0) of the playing the sound being represented by OvertonesO, the second one is its duration. The third one is its maximum amplitude by an absolute value. The fourth one is the minimum duration that can provide a needed human feeling of perception (some impression) for the sound. The further one(s) is(are) some adjustment(s) parameter(s).

Constructors

StO Float Float Float Float OvertonesO

SAtO Float Float Float Float Float OvertonesO

SAbtO Float Float Float Float Float OvertonesO

Instances

Eq SoundT

Defined in Composition.Sound.Presentation

Methods

(==) :: SoundT -> SoundT -> Bool

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

Sound time intervals representations

data Timity

The first Float parameter is a time moment (starting from 0) of the playing the sound, the second one is its duration in seconds (with a negative values corresponding to the pause duration --- the silent "sound"), the third one is the minimum duration that can provide a needed human feeling of perception (some impression) for the sound.

Constructors

Time Float Float Float

Instances

Eq Timity

Defined in Composition.Sound.Presentation

Methods

(==) :: Timity -> Timity -> Bool

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

Ord Timity

Defined in Composition.Sound.Presentation

Methods

compare :: Timity -> Timity -> Ordering

(<) :: Timity -> Timity -> Bool

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

(>) :: Timity -> Timity -> Bool

(>=) :: Timity -> Timity -> Bool

max :: Timity -> Timity -> Timity

min :: Timity -> Timity -> Timity

Show Timity

Defined in Composition.Sound.Presentation

Methods

showsPrec :: Int -> Timity -> ShowS

show :: Timity -> String

showList :: [Timity] -> ShowS

data Timity1 a

The first Float parameter is a time moment (starting from 0) of the playing the sound, the second one is its duration in seconds (with a negative values corresponding to the pause duration --- the silent "sound"), the third one is a parameter to specify more complex behaviour for the sound.

Constructors

Time1 Float Float a

Instances

Functor Timity1

Defined in Composition.Sound.Presentation

Methods

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

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

Eq a => Eq (Timity1 a)

Defined in Composition.Sound.Presentation

Methods

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

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

Ord a => Ord (Timity1 a)

Defined in Composition.Sound.Presentation

Methods

compare :: Timity1 a -> Timity1 a -> Ordering

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

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

(>) :: Timity1 a -> Timity1 a -> Bool

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

max :: Timity1 a -> Timity1 a -> Timity1 a

min :: Timity1 a -> Timity1 a -> Timity1 a

Show a => Show (Timity1 a)

Defined in Composition.Sound.Presentation

Methods

showsPrec :: Int -> Timity1 a -> ShowS

show :: Timity1 a -> String

showList :: [Timity1 a] -> ShowS

Semigroup a => Semigroup (Timity1 a)

Since base-4.9.0.0. Idempotent semigroup (band) (x <> x == x) if Semigroup a is idempotent (is a band).

Defined in Composition.Sound.Presentation

Methods

(<>) :: Timity1 a -> Timity1 a -> Timity1 a

sconcat :: NonEmpty (Timity1 a) -> Timity1 a

stimes :: Integral b => b -> Timity1 a -> Timity1 a

data IntervalTim

Float interval representation with no order of the arguments preserved.

Constructors

Empty

I Float Float

UniversalI

Instances

Eq IntervalTim

Defined in Composition.Sound.Presentation

Methods

(==) :: IntervalTim -> IntervalTim -> Bool

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

Ord IntervalTim

Defined in Composition.Sound.Presentation

Methods

compare :: IntervalTim -> IntervalTim -> Ordering

(<) :: IntervalTim -> IntervalTim -> Bool

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

(>) :: IntervalTim -> IntervalTim -> Bool

(>=) :: IntervalTim -> IntervalTim -> Bool

max :: IntervalTim -> IntervalTim -> IntervalTim

min :: IntervalTim -> IntervalTim -> IntervalTim

Show IntervalTim

Defined in Composition.Sound.Presentation

Methods

showsPrec :: Int -> IntervalTim -> ShowS

show :: IntervalTim -> String

showList :: [IntervalTim] -> ShowS

Semigroup IntervalTim

Since base-4.9.0.0. Idempotent semigroup (x <> x == x) -- band.

Defined in Composition.Sound.Presentation

Methods

(<>) :: IntervalTim -> IntervalTim -> IntervalTim

sconcat :: NonEmpty IntervalTim -> IntervalTim

stimes :: Integral b => b -> IntervalTim -> IntervalTim

Monoid IntervalTim

Defined in Composition.Sound.Presentation

Methods

mempty :: IntervalTim

mappend :: IntervalTim -> IntervalTim -> IntervalTim

mconcat :: [IntervalTim] -> IntervalTim

data IntervalTimI

Another Float interval representation with no order of the arguments preserved. Since base-4.9.0.0 has different instance of Semigroup than IntervalTim.

Constructors

Empty2

II Float Float

UniversalII

Instances

Eq IntervalTimI

Defined in Composition.Sound.Presentation

Methods

(==) :: IntervalTimI -> IntervalTimI -> Bool

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

Ord IntervalTimI

Defined in Composition.Sound.Presentation

Methods

compare :: IntervalTimI -> IntervalTimI -> Ordering

(<) :: IntervalTimI -> IntervalTimI -> Bool

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

(>) :: IntervalTimI -> IntervalTimI -> Bool

(>=) :: IntervalTimI -> IntervalTimI -> Bool

max :: IntervalTimI -> IntervalTimI -> IntervalTimI

min :: IntervalTimI -> IntervalTimI -> IntervalTimI

Show IntervalTimI

Defined in Composition.Sound.Presentation

Methods

showsPrec :: Int -> IntervalTimI -> ShowS

show :: IntervalTimI -> String

showList :: [IntervalTimI] -> ShowS

Semigroup IntervalTimI

Since base-4.9.0.0. Idempotent semigroup (x <> x == x) -- band. (<>) can be understood as an intersection of the sets.

Defined in Composition.Sound.Presentation

Methods

(<>) :: IntervalTimI -> IntervalTimI -> IntervalTimI

sconcat :: NonEmpty IntervalTimI -> IntervalTimI

stimes :: Integral b => b -> IntervalTimI -> IntervalTimI

Monoid IntervalTimI

Can be understood as an intersection of the sets.

Defined in Composition.Sound.Presentation

Methods

mempty :: IntervalTimI

mappend :: IntervalTimI -> IntervalTimI -> IntervalTimI

mconcat :: [IntervalTimI] -> IntervalTimI

data IntervalG a b

Generalized interval representation.

Constructors

IG a b

Instances

Bifunctor IntervalG

Since base-4.8.0.0.

Defined in Composition.Sound.Presentation

Methods

bimap :: (a -> b) -> (c -> d) -> IntervalG a c -> IntervalG b d

first :: (a -> b) -> IntervalG a c -> IntervalG b c

second :: (b -> c) -> IntervalG a b -> IntervalG a c

Functor (IntervalG a)

Defined in Composition.Sound.Presentation

Methods

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

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

(Eq a, Eq b) => Eq (IntervalG a b)

Defined in Composition.Sound.Presentation

Methods

(==) :: IntervalG a b -> IntervalG a b -> Bool

(/=) :: IntervalG a b -> IntervalG a b -> Bool

(Ord a, Ord b) => Ord (IntervalG a b)

Defined in Composition.Sound.Presentation

Methods

compare :: IntervalG a b -> IntervalG a b -> Ordering

(<) :: IntervalG a b -> IntervalG a b -> Bool

(<=) :: IntervalG a b -> IntervalG a b -> Bool

(>) :: IntervalG a b -> IntervalG a b -> Bool

(>=) :: IntervalG a b -> IntervalG a b -> Bool

max :: IntervalG a b -> IntervalG a b -> IntervalG a b

min :: IntervalG a b -> IntervalG a b -> IntervalG a b

(Show a, Show b) => Show (IntervalG a b)

Defined in Composition.Sound.Presentation

Methods

showsPrec :: Int -> IntervalG a b -> ShowS

show :: IntervalG a b -> String

showList :: [IntervalG a b] -> ShowS

Semigroup (IntervalG a b)

Since base-4.9.0.0. Idempotent semigroup (x <> x == x) and rectangular band (x <> y <> z == x <> z) For more information, please, refer to: https://en.wikipedia.org/wiki/Band_(mathematics)

Defined in Composition.Sound.Presentation

Methods

(<>) :: IntervalG a b -> IntervalG a b -> IntervalG a b

sconcat :: NonEmpty (IntervalG a b) -> IntervalG a b

stimes :: Integral b0 => b0 -> IntervalG a b -> IntervalG a b

data IntervalMG a

Generalized interval representation which is a Monoid instance.

Constructors

IMG a a

UniversalG

Instances

Eq a => Eq (IntervalMG a)

Defined in Composition.Sound.Presentation

Methods

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

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

Ord a => Ord (IntervalMG a)

Defined in Composition.Sound.Presentation

Methods

compare :: IntervalMG a -> IntervalMG a -> Ordering

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

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

(>) :: IntervalMG a -> IntervalMG a -> Bool

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

max :: IntervalMG a -> IntervalMG a -> IntervalMG a

min :: IntervalMG a -> IntervalMG a -> IntervalMG a

Show a => Show (IntervalMG a)

Defined in Composition.Sound.Presentation

Methods

showsPrec :: Int -> IntervalMG a -> ShowS

show :: IntervalMG a -> String

showList :: [IntervalMG a] -> ShowS

Semigroup (IntervalMG a)

Since base-4.9.0.0. Idempotent semigroup (x <> x == x) and rectangular band (x <> y <> z == x <> z) For more information, please, refer to: https://en.wikipedia.org/wiki/Band_(mathematics)

Defined in Composition.Sound.Presentation

Methods

(<>) :: IntervalMG a -> IntervalMG a -> IntervalMG a

sconcat :: NonEmpty (IntervalMG a) -> IntervalMG a

stimes :: Integral b => b -> IntervalMG a -> IntervalMG a

Monoid (IntervalMG a)

Defined in Composition.Sound.Presentation

Methods

mempty :: IntervalMG a

mappend :: IntervalMG a -> IntervalMG a -> IntervalMG a

mconcat :: [IntervalMG a] -> IntervalMG a