Sound.Tidal.Core

Elemental patterns

silence :: Pattern a

An empty pattern

sig :: (Time -> a) -> Pattern a

Takes a function from time to values, and turns it into a Pattern.

sine :: Fractional a => Pattern a

sine returns a Pattern of continuous Fractional values following a sinewave with frequency of one cycle, and amplitude from 0 to 1.

cosine :: Fractional a => Pattern a

cosine is a synonym for 0.25 ~> sine.

saw :: (Fractional a, Real a) => Pattern a

saw is the equivalent of sine for (ascending) sawtooth waves.

isaw :: (Fractional a, Real a) => Pattern a

isaw is the equivalent of sine for inverse (descending) sawtooth waves.

tri :: (Fractional a, Real a) => Pattern a

tri is the equivalent of sine for triangular waves.

square :: Fractional a => Pattern a

square is the equivalent of sine for square waves.

envL :: Pattern Double

envL is a Pattern of continuous Double values, representing a linear interpolation between 0 and 1 during the first cycle, then staying constant at 1 for all following cycles. Possibly only useful if you're using something like the retrig function defined in tidal.el.

envLR :: Pattern Double

like envL but reversed.

envEq :: Pattern Double

'Equal power' version of env, for gain-based transitions

envEqR :: Pattern Double

Equal power reversed

Pattern algebra

class Unionable a where

Methods

union :: a -> a -> a

Instances

Unionable a

Defined in Sound.Tidal.Core

Methods

union :: a -> a -> a

Unionable ControlMap

Defined in Sound.Tidal.Core

Methods

union :: ControlMap -> ControlMap -> ControlMap

(|+|) :: (Applicative a, Num b) => a b -> a b -> a b

(|+) :: Num a => Pattern a -> Pattern a -> Pattern a

(+|) :: Num a => Pattern a -> Pattern a -> Pattern a

(|++|) :: Applicative a => a String -> a String -> a String

(|++) :: Pattern String -> Pattern String -> Pattern String

(++|) :: Pattern String -> Pattern String -> Pattern String

(|/|) :: (Applicative a, Fractional b) => a b -> a b -> a b

(|/) :: Fractional a => Pattern a -> Pattern a -> Pattern a

(/|) :: Fractional a => Pattern a -> Pattern a -> Pattern a

(|*|) :: (Applicative a, Num b) => a b -> a b -> a b

(|*) :: Num a => Pattern a -> Pattern a -> Pattern a

(*|) :: Num a => Pattern a -> Pattern a -> Pattern a

(|-|) :: (Applicative a, Num b) => a b -> a b -> a b

(|-) :: Num a => Pattern a -> Pattern a -> Pattern a

(-|) :: Num a => Pattern a -> Pattern a -> Pattern a

(|%|) :: (Applicative a, Real b) => a b -> a b -> a b

(|%) :: Real a => Pattern a -> Pattern a -> Pattern a

(%|) :: Real a => Pattern a -> Pattern a -> Pattern a

(|**|) :: (Applicative a, Floating b) => a b -> a b -> a b

(|**) :: Floating a => Pattern a -> Pattern a -> Pattern a

(**|) :: Floating a => Pattern a -> Pattern a -> Pattern a

(|>|) :: (Applicative a, Unionable b) => a b -> a b -> a b

(|>) :: Unionable a => Pattern a -> Pattern a -> Pattern a

(>|) :: Unionable a => Pattern a -> Pattern a -> Pattern a

(|<|) :: (Applicative a, Unionable b) => a b -> a b -> a b

(|<) :: Unionable a => Pattern a -> Pattern a -> Pattern a

(<|) :: Unionable a => Pattern a -> Pattern a -> Pattern a

(#) :: Unionable b => Pattern b -> Pattern b -> Pattern b

Constructing patterns

fromList :: [a] -> Pattern a

Turns a list of values into a pattern, playing one of them per cycle.

fastFromList :: [a] -> Pattern a

Turns a list of values into a pattern, playing one of them per cycle.

listToPat :: [a] -> Pattern a

A synonym for fastFromList

fromMaybes :: [Maybe a] -> Pattern a

'fromMaybes; is similar to fromList, but allows values to be optional using the Maybe type, so that Nothing results in gaps in the pattern.

run :: (Enum a, Num a) => Pattern a -> Pattern a

A pattern of whole numbers from 0 to the given number, in a single cycle.

_run :: (Enum a, Num a) => a -> Pattern a

scan :: (Enum a, Num a) => Pattern a -> Pattern a

From 1 for the first cycle, successively adds a number until it gets up to n

_scan :: (Enum a, Num a) => a -> Pattern a

Combining patterns

append :: Pattern a -> Pattern a -> Pattern a

Alternate between cycles of the two given patterns

cat :: [Pattern a] -> Pattern a

Like append, but for a list of patterns. Interlaces them, playing the first cycle from each in turn, then the second cycle from each, and so on.

slowCat :: [Pattern a] -> Pattern a

Alias for cat

slowcat :: [Pattern a] -> Pattern a

slowAppend :: Pattern a -> Pattern a -> Pattern a

Alias for append

slowappend :: Pattern a -> Pattern a -> Pattern a

fastAppend :: Pattern a -> Pattern a -> Pattern a

Like append, but twice as fast

fastappend :: Pattern a -> Pattern a -> Pattern a

fastCat :: [Pattern a] -> Pattern a

The same as cat, but speeds up the result by the number of patterns there are, so the cycles from each are squashed to fit a single cycle.

fastcat :: [Pattern a] -> Pattern a

timeCat :: [(Time, Pattern a)] -> Pattern a

Similar to fastCat, but each pattern is given a relative duration

overlay :: Pattern a -> Pattern a -> Pattern a

overlay combines two Patterns into a new pattern, so that their events are combined over time.

(<>) :: Pattern a -> Pattern a -> Pattern a

An infix alias of overlay

stack :: [Pattern a] -> Pattern a

stack combines a list of Patterns into a new pattern, so that their events are combined over time.

Manipulating time

(<~) :: Pattern Time -> Pattern a -> Pattern a

Shifts a pattern back in time by the given amount, expressed in cycles

(~>) :: Pattern Time -> Pattern a -> Pattern a

Shifts a pattern forward in time by the given amount, expressed in cycles

fast :: Pattern Time -> Pattern a -> Pattern a

Speed up a pattern by the given time pattern

fastSqueeze :: Pattern Time -> Pattern a -> Pattern a

Slow down a pattern by the factors in the given time pattern, squeezing the pattern to fit the slot given in the time pattern

density :: Pattern Time -> Pattern a -> Pattern a

An alias for fast

_fast :: Time -> Pattern a -> Pattern a

slow :: Pattern Time -> Pattern a -> Pattern a

Slow down a pattern by the given time pattern

_slow :: Time -> Pattern a -> Pattern a

slowSqueeze :: Pattern Time -> Pattern a -> Pattern a

Slow down a pattern by the factors in the given time pattern, squeezing the pattern to fit the slot given in the time pattern

sparsity :: Pattern Time -> Pattern a -> Pattern a

An alias for slow

rev :: Pattern a -> Pattern a

rev p returns p with the event positions in each cycle reversed (or mirrored).

zoom :: (Time, Time) -> Pattern a -> Pattern a

Plays a portion of a pattern, specified by a time arc (start and end time). The new resulting pattern is played over the time period of the original pattern:

d1 $ zoom (0.25, 0.75) $ sound "bd*2 hh*3 [sn bd]*2 drum"

In the pattern above, zoom is used with an arc from 25% to 75%. It is equivalent to this pattern:

d1 $ sound "hh*3 [sn bd]*2"

zoomArc :: Arc -> Pattern a -> Pattern a

fastGap :: Pattern Time -> Pattern a -> Pattern a

fastGap is similar to fast but maintains its cyclic alignment. For example, fastGap 2 p would squash the events in pattern p into the first half of each cycle (and the second halves would be empty). The factor should be at least 1

densityGap :: Pattern Time -> Pattern a -> Pattern a

An alias for fastGap

compress :: (Time, Time) -> Pattern a -> Pattern a

compressTo :: (Time, Time) -> Pattern a -> Pattern a

repeatCycles :: Int -> Pattern a -> Pattern a

fastRepeatCycles :: Int -> Pattern a -> Pattern a

every :: Pattern Int -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

• Higher order functions

Functions which work on other functions (higher order functions)

every n f p applies the function f to p, but only affects every n cycles.

_every :: Int -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

every' :: Pattern Int -> Pattern Int -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

every n o f' is like every n f with an offset of o cycles

_every' :: Int -> Int -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

foldEvery :: [Int] -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

foldEvery ns f p applies the function f to p, and is applied for each cycle in ns.

when :: (Int -> Bool) -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

Only when the given test function returns True the given pattern transformation is applied. The test function will be called with the current cycle as a number.

d1 $ when ((elem '4').show)
  (striate 4)
  $ sound "hh hc"

The above will only apply `striate 4` to the pattern if the current cycle number contains the number 4. So the fourth cycle will be striated and the fourteenth and so on. Expect lots of striates after cycle number 399.

whenT :: (Time -> Bool) -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a

Like when, but works on continuous time values rather than cycle numbers.