Safe Haskell	Safe-Inferred
Language	Haskell2010

Sound.Tidal.Pattern

Synopsis

newtype Note = Note {
- unNote :: Double
}
type ValueMap = Map String Value
class Valuable a where
- toValue :: a -> Value
data Value
- = VS {
  - svalue :: String
  }
- | VF {
  - fvalue :: Double
  }
- | VN {
  - nvalue :: Note
  }
- | VR {
  - rvalue :: Rational
  }
- | VI {
  - ivalue :: Int
  }
- | VB {
  - bvalue :: Bool
  }
- | VX {
  - xvalue :: [Word8]
  }
- | VPattern {
  - pvalue :: Pattern Value
  }
- | VList {
  - lvalue :: [Value]
  }
- | VState {
  - statevalue :: ValueMap -> (ValueMap, Value)
  }
type Event a = EventF (ArcF Time) a
data EventF a b = Event {
- context :: Context
- whole :: Maybe a
- part :: a
- value :: b
}
data Context = Context {
- contextPosition :: [((Int, Int), (Int, Int))]
}
class Stringy a where
- deltaContext :: Int -> Int -> a -> a
class Moddable a where
- gmod :: a -> a -> a
type ControlPattern = Pattern ValueMap
data Pattern a = Pattern {
- query :: State -> [Event a]
}
data State = State {
- arc :: Arc
- controls :: ValueMap
}
(<*) :: Pattern (a -> b) -> Pattern a -> Pattern b
(*>) :: Pattern (a -> b) -> Pattern a -> Pattern b
(<<*) :: Pattern (a -> b) -> Pattern a -> Pattern b
applyPatToPat :: (Maybe Arc -> Maybe Arc -> Maybe (Maybe Arc)) -> Pattern (a -> b) -> Pattern a -> Pattern b
applyPatToPatBoth :: Pattern (a -> b) -> Pattern a -> Pattern b
applyPatToPatLeft :: Pattern (a -> b) -> Pattern a -> Pattern b
applyPatToPatRight :: Pattern (a -> b) -> Pattern a -> Pattern b
applyPatToPatSqueeze :: Pattern (a -> b) -> Pattern a -> Pattern b
unwrap :: Pattern (Pattern a) -> Pattern a
innerJoin :: Pattern (Pattern a) -> Pattern a
outerJoin :: Pattern (Pattern a) -> Pattern a
squeezeJoin :: Pattern (Pattern a) -> Pattern a
noOv :: String -> a
empty :: Pattern a
silence :: Pattern a
queryArc :: Pattern a -> Arc -> [Event a]
splitQueries :: Pattern a -> Pattern a
withResultArc :: (Arc -> Arc) -> Pattern a -> Pattern a
withResultTime :: (Time -> Time) -> Pattern a -> Pattern a
withQueryArc :: (Arc -> Arc) -> Pattern a -> Pattern a
withQueryTime :: (Time -> Time) -> Pattern a -> Pattern a
withQueryControls :: (ValueMap -> ValueMap) -> Pattern a -> Pattern a
withEvent :: (Event a -> Event b) -> Pattern a -> Pattern b
withValue :: (a -> b) -> Pattern a -> Pattern b
withEvents :: ([Event a] -> [Event b]) -> Pattern a -> Pattern b
withPart :: (Arc -> Arc) -> Pattern a -> Pattern a
_extract :: (Value -> Maybe a) -> String -> ControlPattern -> Pattern a
extractI :: String -> ControlPattern -> Pattern Int
extractF :: String -> ControlPattern -> Pattern Double
extractS :: String -> ControlPattern -> Pattern String
extractB :: String -> ControlPattern -> Pattern Bool
extractR :: String -> ControlPattern -> Pattern Rational
compressArc :: Arc -> Pattern a -> Pattern a
compressArcTo :: Arc -> Pattern a -> Pattern a
focusArc :: Arc -> Pattern a -> Pattern a
fast :: Pattern Time -> Pattern a -> Pattern a
fastSqueeze :: Pattern Time -> Pattern a -> Pattern a
density :: Pattern Time -> Pattern a -> Pattern a
_fast :: Time -> Pattern a -> Pattern a
slow :: Pattern Time -> Pattern a -> Pattern a
_slow :: Time -> Pattern a -> Pattern a
_fastGap :: Time -> Pattern a -> Pattern a
rotL :: Time -> Pattern a -> Pattern a
rotR :: Time -> Pattern a -> Pattern a
rev :: Pattern a -> Pattern a
matchManyToOne :: (b -> a -> Bool) -> Pattern a -> Pattern b -> Pattern (Bool, b)
filterValues :: (a -> Bool) -> Pattern a -> Pattern a
filterJust :: Pattern (Maybe a) -> Pattern a
filterWhen :: (Time -> Bool) -> Pattern a -> Pattern a
filterOnsets :: Pattern a -> Pattern a
filterEvents :: (Event a -> Bool) -> Pattern a -> Pattern a
filterDigital :: Pattern a -> Pattern a
filterAnalog :: Pattern a -> Pattern a
playFor :: Time -> Time -> Pattern a -> Pattern a
tParam :: (t1 -> t2 -> Pattern a) -> Pattern t1 -> t2 -> Pattern a
tParam2 :: (a -> b -> c -> Pattern d) -> Pattern a -> Pattern b -> c -> Pattern d
tParam3 :: (a -> b -> c -> Pattern d -> Pattern e) -> Pattern a -> Pattern b -> Pattern c -> Pattern d -> Pattern e
tParamSqueeze :: (a -> Pattern b -> Pattern c) -> Pattern a -> Pattern b -> Pattern c
combineContexts :: [Context] -> Context
setContext :: Context -> Pattern a -> Pattern a
withContext :: (Context -> Context) -> Pattern a -> Pattern a
deltaMini :: String -> String
isAnalog :: Event a -> Bool
isDigital :: Event a -> Bool
onsetIn :: Arc -> Event a -> Bool
defragParts :: Eq a => [Event a] -> [Event a]
isAdjacent :: Eq a => Event a -> Event a -> Bool
wholeOrPart :: Event a -> Arc
wholeStart :: Event a -> Time
wholeStop :: Event a -> Time
eventPartStart :: Event a -> Time
eventPartStop :: Event a -> Time
eventPart :: Event a -> Arc
eventValue :: Event a -> a
eventHasOnset :: Event a -> Bool
toEvent :: (((Time, Time), (Time, Time)), a) -> Event a
resolveState :: ValueMap -> [Event ValueMap] -> (ValueMap, [Event ValueMap])
applyFIS :: (Double -> Double) -> (Int -> Int) -> (String -> String) -> Value -> Value
fNum2 :: (Int -> Int -> Int) -> (Double -> Double -> Double) -> Value -> Value -> Value
getI :: Value -> Maybe Int
getF :: Value -> Maybe Double
getN :: Value -> Maybe Note
getS :: Value -> Maybe String
getB :: Value -> Maybe Bool
getR :: Value -> Maybe Rational
getBlob :: Value -> Maybe [Word8]
getList :: Value -> Maybe [Value]
valueToPattern :: Value -> Pattern Value
sameDur :: Event a -> Event a -> Bool
groupEventsBy :: Eq a => (Event a -> Event a -> Bool) -> [Event a] -> [[Event a]]
collectEvent :: [Event a] -> Maybe (Event [a])
collectEventsBy :: Eq a => (Event a -> Event a -> Bool) -> [Event a] -> [Event [a]]
collectBy :: Eq a => (Event a -> Event a -> Bool) -> Pattern a -> Pattern [a]
collect :: Eq a => Pattern a -> Pattern [a]
uncollectEvent :: Event [a] -> [Event a]
uncollectEvents :: [Event [a]] -> [Event a]
uncollect :: Pattern [a] -> Pattern a
module Sound.Tidal.Time

Documentation

newtype Note Source #

Note is Double, but with a different parser

Constructors

Note
Fields unNote :: Double

Instances

Instances details

Data Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Note -> c Note # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Note # toConstr :: Note -> Constr # dataTypeOf :: Note -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Note) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Note) # gmapT :: (forall b. Data b => b -> b) -> Note -> Note # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Note -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Note -> r # gmapQ :: (forall d. Data d => d -> u) -> Note -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Note -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Note -> m Note # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Note -> m Note # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Note -> m Note #
Enum Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods succ :: Note -> Note # pred :: Note -> Note # toEnum :: Int -> Note # fromEnum :: Note -> Int # enumFrom :: Note -> [Note] # enumFromThen :: Note -> Note -> [Note] # enumFromTo :: Note -> Note -> [Note] # enumFromThenTo :: Note -> Note -> Note -> [Note] #
Floating Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods pi :: Note # exp :: Note -> Note # log :: Note -> Note # sqrt :: Note -> Note # (**) :: Note -> Note -> Note # logBase :: Note -> Note -> Note # sin :: Note -> Note # cos :: Note -> Note # tan :: Note -> Note # asin :: Note -> Note # acos :: Note -> Note # atan :: Note -> Note # sinh :: Note -> Note # cosh :: Note -> Note # tanh :: Note -> Note # asinh :: Note -> Note # acosh :: Note -> Note # atanh :: Note -> Note # log1p :: Note -> Note # expm1 :: Note -> Note # log1pexp :: Note -> Note # log1mexp :: Note -> Note #
Generic Note Source #
Instance details Defined in Sound.Tidal.Pattern Associated Types type Rep Note :: Type -> Type # Methods from :: Note -> Rep Note x # to :: Rep Note x -> Note #
Num Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods (+) :: Note -> Note -> Note # (-) :: Note -> Note -> Note # (*) :: Note -> Note -> Note # negate :: Note -> Note # abs :: Note -> Note # signum :: Note -> Note # fromInteger :: Integer -> Note #
Fractional Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods (/) :: Note -> Note -> Note # recip :: Note -> Note # fromRational :: Rational -> Note #
Real Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods toRational :: Note -> Rational #
RealFrac Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods properFraction :: Integral b => Note -> (b, Note) # truncate :: Integral b => Note -> b # round :: Integral b => Note -> b # ceiling :: Integral b => Note -> b # floor :: Integral b => Note -> b #
Show Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods showsPrec :: Int -> Note -> ShowS # show :: Note -> String # showList :: [Note] -> ShowS #
NFData Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods rnf :: Note -> () #
Eq Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods (==) :: Note -> Note -> Bool # (/=) :: Note -> Note -> Bool #
Ord Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods compare :: Note -> Note -> Ordering # (<) :: Note -> Note -> Bool # (<=) :: Note -> Note -> Bool # (>) :: Note -> Note -> Bool # (>=) :: Note -> Note -> Bool # max :: Note -> Note -> Note # min :: Note -> Note -> Note #
Enumerable Note Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Note -> Note -> Pattern Note Source # fromThenTo :: Note -> Note -> Note -> Pattern Note Source #
Parseable Note Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Note) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Note -> Pattern Note Source # getControl :: String -> Pattern Note Source #
Moddable Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: Note -> Note -> Note Source #
Valuable Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: Note -> Value Source #
type Rep Note Source #
Instance details Defined in Sound.Tidal.Pattern type Rep Note = D1 ('MetaData "Note" "Sound.Tidal.Pattern" "tidal-1.9.3-4wLLA8UaySH4WUbCORe3eb" 'True) (C1 ('MetaCons "Note" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

type ValueMap = Map String Value Source #

class Valuable a where Source #

Methods

toValue :: a -> Value Source #

Instances

Instances details

Valuable Rational Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: Rational -> Value Source #
Valuable Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: Note -> Value Source #
Valuable String Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: String -> Value Source #
Valuable Bool Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: Bool -> Value Source #
Valuable Double Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: Double -> Value Source #
Valuable Int Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: Int -> Value Source #
Valuable [Word8] Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: [Word8] -> Value Source #
Valuable [Value] Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: [Value] -> Value Source #

data Value Source #

Polymorphic values

Constructors

VS
Fields svalue :: String
VF
Fields fvalue :: Double
VN
Fields nvalue :: Note
VR
Fields rvalue :: Rational
VI
Fields ivalue :: Int
VB
Fields bvalue :: Bool
VX
Fields xvalue :: [Word8]
VPattern
Fields pvalue :: Pattern Value
VList
Fields lvalue :: [Value]
VState
Fields statevalue :: ValueMap -> (ValueMap, Value)

Instances

Instances details

IsString ControlPattern Source #
Instance details Defined in Sound.Tidal.Simple Methods fromString :: String -> ControlPattern #
Floating ValueMap Source #
Instance details Defined in Sound.Tidal.Pattern Methods pi :: ValueMap # exp :: ValueMap -> ValueMap # log :: ValueMap -> ValueMap # sqrt :: ValueMap -> ValueMap # (**) :: ValueMap -> ValueMap -> ValueMap # logBase :: ValueMap -> ValueMap -> ValueMap # sin :: ValueMap -> ValueMap # cos :: ValueMap -> ValueMap # tan :: ValueMap -> ValueMap # asin :: ValueMap -> ValueMap # acos :: ValueMap -> ValueMap # atan :: ValueMap -> ValueMap # sinh :: ValueMap -> ValueMap # cosh :: ValueMap -> ValueMap # tanh :: ValueMap -> ValueMap # asinh :: ValueMap -> ValueMap # acosh :: ValueMap -> ValueMap # atanh :: ValueMap -> ValueMap # log1p :: ValueMap -> ValueMap # expm1 :: ValueMap -> ValueMap # log1pexp :: ValueMap -> ValueMap # log1mexp :: ValueMap -> ValueMap #
Generic Value Source #
Instance details Defined in Sound.Tidal.Pattern Associated Types type Rep Value :: Type -> Type # Methods from :: Value -> Rep Value x # to :: Rep Value x -> Value #
Num ValueMap Source #
Instance details Defined in Sound.Tidal.Pattern Methods (+) :: ValueMap -> ValueMap -> ValueMap # (-) :: ValueMap -> ValueMap -> ValueMap # (*) :: ValueMap -> ValueMap -> ValueMap # negate :: ValueMap -> ValueMap # abs :: ValueMap -> ValueMap # signum :: ValueMap -> ValueMap # fromInteger :: Integer -> ValueMap #
Fractional ValueMap Source #
Instance details Defined in Sound.Tidal.Pattern Methods (/) :: ValueMap -> ValueMap -> ValueMap # recip :: ValueMap -> ValueMap # fromRational :: Rational -> ValueMap #
Show Value Source #
Instance details Defined in Sound.Tidal.Show Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Show ValueMap Source #
Instance details Defined in Sound.Tidal.Show Methods showsPrec :: Int -> ValueMap -> ShowS # show :: ValueMap -> String # showList :: [ValueMap] -> ShowS #
NFData Value Source #
Instance details Defined in Sound.Tidal.Pattern Methods rnf :: Value -> () #
Eq Value Source #
Instance details Defined in Sound.Tidal.Pattern Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Ord Value Source #
Instance details Defined in Sound.Tidal.Pattern Methods compare :: Value -> Value -> Ordering # (<) :: Value -> Value -> Bool # (<=) :: Value -> Value -> Bool # (>) :: Value -> Value -> Bool # (>=) :: Value -> Value -> Bool # max :: Value -> Value -> Value # min :: Value -> Value -> Value #
Unionable ValueMap Source #
Instance details Defined in Sound.Tidal.Core Methods union :: ValueMap -> ValueMap -> ValueMap Source #
Moddable ValueMap Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: ValueMap -> ValueMap -> ValueMap Source #
Valuable [Value] Source #
Instance details Defined in Sound.Tidal.Pattern Methods toValue :: [Value] -> Value Source #
type Rep Value Source #
Instance details Defined in Sound.Tidal.Pattern type Rep Value = D1 ('MetaData "Value" "Sound.Tidal.Pattern" "tidal-1.9.3-4wLLA8UaySH4WUbCORe3eb" 'False) (((C1 ('MetaCons "VS" 'PrefixI 'True) (S1 ('MetaSel ('Just "svalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "VF" 'PrefixI 'True) (S1 ('MetaSel ('Just "fvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "VN" 'PrefixI 'True) (S1 ('MetaSel ('Just "nvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Note)) :+: (C1 ('MetaCons "VR" 'PrefixI 'True) (S1 ('MetaSel ('Just "rvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)) :+: C1 ('MetaCons "VI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ivalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))) :+: ((C1 ('MetaCons "VB" 'PrefixI 'True) (S1 ('MetaSel ('Just "bvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "VX" 'PrefixI 'True) (S1 ('MetaSel ('Just "xvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Word8]))) :+: (C1 ('MetaCons "VPattern" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Pattern Value))) :+: (C1 ('MetaCons "VList" 'PrefixI 'True) (S1 ('MetaSel ('Just "lvalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Value])) :+: C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "statevalue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValueMap -> (ValueMap, Value))))))))

type Event a = EventF (ArcF Time) a Source #

data EventF a b Source #

An event is a value that's active during a timespan. If a whole is present, the part should be equal to or fit inside it.

Constructors

Event
Fields context :: Context whole :: Maybe a part :: a value :: b

Instances

Instances details

Functor (EventF a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods fmap :: (a0 -> b) -> EventF a a0 -> EventF a b # (<$) :: a0 -> EventF a b -> EventF a a0 #
Show a => Show (Event a) Source #
Instance details Defined in Sound.Tidal.Show Methods showsPrec :: Int -> Event a -> ShowS # show :: Event a -> String # showList :: [Event a] -> ShowS #
Generic (EventF a b) Source #
Instance details Defined in Sound.Tidal.Pattern Associated Types type Rep (EventF a b) :: Type -> Type # Methods from :: EventF a b -> Rep (EventF a b) x # to :: Rep (EventF a b) x -> EventF a b #
(NFData a, NFData b) => NFData (EventF a b) Source #
Instance details Defined in Sound.Tidal.Pattern Methods rnf :: EventF a b -> () #
(Eq a, Eq b) => Eq (EventF a b) Source #
Instance details Defined in Sound.Tidal.Pattern Methods (==) :: EventF a b -> EventF a b -> Bool # (/=) :: EventF a b -> EventF a b -> Bool #
(Ord a, Ord b) => Ord (EventF a b) Source #
Instance details Defined in Sound.Tidal.Pattern Methods compare :: EventF a b -> EventF a b -> Ordering # (<) :: EventF a b -> EventF a b -> Bool # (<=) :: EventF a b -> EventF a b -> Bool # (>) :: EventF a b -> EventF a b -> Bool # (>=) :: EventF a b -> EventF a b -> Bool # max :: EventF a b -> EventF a b -> EventF a b # min :: EventF a b -> EventF a b -> EventF a b #
type Rep (EventF a b) Source #
Instance details Defined in Sound.Tidal.Pattern type Rep (EventF a b) = D1 ('MetaData "EventF" "Sound.Tidal.Pattern" "tidal-1.9.3-4wLLA8UaySH4WUbCORe3eb" 'False) (C1 ('MetaCons "Event" 'PrefixI 'True) ((S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Context) :: S1 ('MetaSel ('Just "whole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :: (S1 ('MetaSel ('Just "part") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b))))

data Context Source #

Some context for an event, currently just position within sourcecode

Constructors

Context
Fields contextPosition :: [((Int, Int), (Int, Int))]

Instances

Instances details

Generic Context Source #
Instance details Defined in Sound.Tidal.Pattern Associated Types type Rep Context :: Type -> Type # Methods from :: Context -> Rep Context x # to :: Rep Context x -> Context #
Show Context Source #
Instance details Defined in Sound.Tidal.Show Methods showsPrec :: Int -> Context -> ShowS # show :: Context -> String # showList :: [Context] -> ShowS #
NFData Context Source #
Instance details Defined in Sound.Tidal.Pattern Methods rnf :: Context -> () #
Eq Context Source #
Instance details Defined in Sound.Tidal.Pattern Methods (==) :: Context -> Context -> Bool # (/=) :: Context -> Context -> Bool #
Ord Context Source #
Instance details Defined in Sound.Tidal.Pattern Methods compare :: Context -> Context -> Ordering # (<) :: Context -> Context -> Bool # (<=) :: Context -> Context -> Bool # (>) :: Context -> Context -> Bool # (>=) :: Context -> Context -> Bool # max :: Context -> Context -> Context # min :: Context -> Context -> Context #
type Rep Context Source #
Instance details Defined in Sound.Tidal.Pattern type Rep Context = D1 ('MetaData "Context" "Sound.Tidal.Pattern" "tidal-1.9.3-4wLLA8UaySH4WUbCORe3eb" 'False) (C1 ('MetaCons "Context" 'PrefixI 'True) (S1 ('MetaSel ('Just "contextPosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [((Int, Int), (Int, Int))])))

class Stringy a where Source #

Methods

deltaContext :: Int -> Int -> a -> a Source #

Instances

Instances details

Stringy String Source #
Instance details Defined in Sound.Tidal.Pattern Methods deltaContext :: Int -> Int -> String -> String Source #
Stringy (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods deltaContext :: Int -> Int -> Pattern a -> Pattern a Source #

class Moddable a where Source #

Methods

gmod :: a -> a -> a Source #

Instances

Instances details

Moddable Rational Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: Rational -> Rational -> Rational Source #
Moddable Note Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: Note -> Note -> Note Source #
Moddable ValueMap Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: ValueMap -> ValueMap -> ValueMap Source #
Moddable Double Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: Double -> Double -> Double Source #
Moddable Int Source #
Instance details Defined in Sound.Tidal.Pattern Methods gmod :: Int -> Int -> Int Source #

type ControlPattern = Pattern ValueMap Source #

data Pattern a Source #

A datatype representing events taking place over time

Constructors

Pattern
Fields query :: State -> [Event a]

Instances

Instances details

IsString ControlPattern Source #
Instance details Defined in Sound.Tidal.Simple Methods fromString :: String -> ControlPattern #
Applicative Pattern Source #
Instance details Defined in Sound.Tidal.Pattern Methods pure :: a -> Pattern a # (<>) :: Pattern (a -> b) -> Pattern a -> Pattern b # liftA2 :: (a -> b -> c) -> Pattern a -> Pattern b -> Pattern c # (>) :: Pattern a -> Pattern b -> Pattern b # (<*) :: Pattern a -> Pattern b -> Pattern a #
Functor Pattern Source #
Instance details Defined in Sound.Tidal.Pattern Methods fmap :: (a -> b) -> Pattern a -> Pattern b # (<$) :: a -> Pattern b -> Pattern a #
Monad Pattern Source #
Instance details Defined in Sound.Tidal.Pattern Methods (>>=) :: Pattern a -> (a -> Pattern b) -> Pattern b # (>>) :: Pattern a -> Pattern b -> Pattern b # return :: a -> Pattern a #
(Enumerable a, Parseable a) => IsString (Pattern a) Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromString :: String -> Pattern a #
Monoid (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods mempty :: Pattern a # mappend :: Pattern a -> Pattern a -> Pattern a # mconcat :: [Pattern a] -> Pattern a #
Semigroup (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods (<>) :: Pattern a -> Pattern a -> Pattern a # sconcat :: NonEmpty (Pattern a) -> Pattern a # stimes :: Integral b => b -> Pattern a -> Pattern a #
Enum a => Enum (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods succ :: Pattern a -> Pattern a # pred :: Pattern a -> Pattern a # toEnum :: Int -> Pattern a # fromEnum :: Pattern a -> Int # enumFrom :: Pattern a -> [Pattern a] # enumFromThen :: Pattern a -> Pattern a -> [Pattern a] # enumFromTo :: Pattern a -> Pattern a -> [Pattern a] # enumFromThenTo :: Pattern a -> Pattern a -> Pattern a -> [Pattern a] #
Floating a => Floating (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods pi :: Pattern a # exp :: Pattern a -> Pattern a # log :: Pattern a -> Pattern a # sqrt :: Pattern a -> Pattern a # (**) :: Pattern a -> Pattern a -> Pattern a # logBase :: Pattern a -> Pattern a -> Pattern a # sin :: Pattern a -> Pattern a # cos :: Pattern a -> Pattern a # tan :: Pattern a -> Pattern a # asin :: Pattern a -> Pattern a # acos :: Pattern a -> Pattern a # atan :: Pattern a -> Pattern a # sinh :: Pattern a -> Pattern a # cosh :: Pattern a -> Pattern a # tanh :: Pattern a -> Pattern a # asinh :: Pattern a -> Pattern a # acosh :: Pattern a -> Pattern a # atanh :: Pattern a -> Pattern a # log1p :: Pattern a -> Pattern a # expm1 :: Pattern a -> Pattern a # log1pexp :: Pattern a -> Pattern a # log1mexp :: Pattern a -> Pattern a #
RealFloat a => RealFloat (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods floatRadix :: Pattern a -> Integer # floatDigits :: Pattern a -> Int # floatRange :: Pattern a -> (Int, Int) # decodeFloat :: Pattern a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Pattern a # exponent :: Pattern a -> Int # significand :: Pattern a -> Pattern a # scaleFloat :: Int -> Pattern a -> Pattern a # isNaN :: Pattern a -> Bool # isInfinite :: Pattern a -> Bool # isDenormalized :: Pattern a -> Bool # isNegativeZero :: Pattern a -> Bool # isIEEE :: Pattern a -> Bool # atan2 :: Pattern a -> Pattern a -> Pattern a #
Generic (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Associated Types type Rep (Pattern a) :: Type -> Type # Methods from :: Pattern a -> Rep (Pattern a) x # to :: Rep (Pattern a) x -> Pattern a #
Num a => Num (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods (+) :: Pattern a -> Pattern a -> Pattern a # (-) :: Pattern a -> Pattern a -> Pattern a # (*) :: Pattern a -> Pattern a -> Pattern a # negate :: Pattern a -> Pattern a # abs :: Pattern a -> Pattern a # signum :: Pattern a -> Pattern a # fromInteger :: Integer -> Pattern a #
Fractional a => Fractional (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods (/) :: Pattern a -> Pattern a -> Pattern a # recip :: Pattern a -> Pattern a # fromRational :: Rational -> Pattern a #
Integral a => Integral (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods quot :: Pattern a -> Pattern a -> Pattern a # rem :: Pattern a -> Pattern a -> Pattern a # div :: Pattern a -> Pattern a -> Pattern a # mod :: Pattern a -> Pattern a -> Pattern a # quotRem :: Pattern a -> Pattern a -> (Pattern a, Pattern a) # divMod :: Pattern a -> Pattern a -> (Pattern a, Pattern a) # toInteger :: Pattern a -> Integer #
(Num a, Ord a) => Real (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods toRational :: Pattern a -> Rational #
RealFrac a => RealFrac (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods properFraction :: Integral b => Pattern a -> (b, Pattern a) # truncate :: Integral b => Pattern a -> b # round :: Integral b => Pattern a -> b # ceiling :: Integral b => Pattern a -> b # floor :: Integral b => Pattern a -> b #
Show a => Show (Pattern a) Source #
Instance details Defined in Sound.Tidal.Show Methods showsPrec :: Int -> Pattern a -> ShowS # show :: Pattern a -> String # showList :: [Pattern a] -> ShowS #
NFData a => NFData (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods rnf :: Pattern a -> () #
Eq (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods (==) :: Pattern a -> Pattern a -> Bool # (/=) :: Pattern a -> Pattern a -> Bool #
Ord a => Ord (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods compare :: Pattern a -> Pattern a -> Ordering # (<) :: Pattern a -> Pattern a -> Bool # (<=) :: Pattern a -> Pattern a -> Bool # (>) :: Pattern a -> Pattern a -> Bool # (>=) :: Pattern a -> Pattern a -> Bool # max :: Pattern a -> Pattern a -> Pattern a # min :: Pattern a -> Pattern a -> Pattern a #
Stringy (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern Methods deltaContext :: Int -> Int -> Pattern a -> Pattern a Source #
type Rep (Pattern a) Source #
Instance details Defined in Sound.Tidal.Pattern type Rep (Pattern a) = D1 ('MetaData "Pattern" "Sound.Tidal.Pattern" "tidal-1.9.3-4wLLA8UaySH4WUbCORe3eb" 'False) (C1 ('MetaCons "Pattern" 'PrefixI 'True) (S1 ('MetaSel ('Just "query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State -> [Event a]))))

data State Source #

an Arc and some named control values

Constructors

State
Fields arc :: Arc controls :: ValueMap

(<*) :: Pattern (a -> b) -> Pattern a -> Pattern b infixl 4 Source #

Like *, but the wholes come from the left

(*>) :: Pattern (a -> b) -> Pattern a -> Pattern b infixl 4 Source #

Like *, but the wholes come from the right

(<<*) :: Pattern (a -> b) -> Pattern a -> Pattern b infixl 4 Source #

Like *, but the wholes come from the left

applyPatToPat :: (Maybe Arc -> Maybe Arc -> Maybe (Maybe Arc)) -> Pattern (a -> b) -> Pattern a -> Pattern b Source #

applyPatToPatBoth :: Pattern (a -> b) -> Pattern a -> Pattern b Source #

applyPatToPatLeft :: Pattern (a -> b) -> Pattern a -> Pattern b Source #

applyPatToPatRight :: Pattern (a -> b) -> Pattern a -> Pattern b Source #

applyPatToPatSqueeze :: Pattern (a -> b) -> Pattern a -> Pattern b Source #

unwrap :: Pattern (Pattern a) -> Pattern a Source #

Turns a pattern of patterns into a single pattern. (this is actually join)

1/ For query arc, get the events from the outer pattern pp 2/ Query the inner pattern using the part of the outer 3/ For each inner event, set the whole and part to be the intersection of the outer whole and part, respectively 4 Concatenate all the events together (discarding wholesparts that didn't intersect)

TODO - what if a continuous pattern contains a discrete one, or vice-versa?

innerJoin :: Pattern (Pattern a) -> Pattern a Source #

Turns a pattern of patterns into a single pattern. Like unwrap, but structure only comes from the inner pattern.

outerJoin :: Pattern (Pattern a) -> Pattern a Source #

Turns a pattern of patterns into a single pattern. Like unwrap, but structure only comes from the outer pattern.

squeezeJoin :: Pattern (Pattern a) -> Pattern a Source #

Like unwrap, but cycles of the inner patterns are compressed to fit the timespan of the outer whole (or the original query if it's a continuous pattern?) TODO - what if a continuous pattern contains a discrete one, or vice-versa?

noOv :: String -> a Source #

Patterns as numbers

empty :: Pattern a Source #

silence :: Pattern a Source #

queryArc :: Pattern a -> Arc -> [Event a] Source #

splitQueries :: Pattern a -> Pattern a Source #

Splits queries that span cycles. For example `query p (0.5, 1.5)` would be turned into two queries, `(0.5,1)` and `(1,1.5)`, and the results combined. Being able to assume queries don't span cycles often makes transformations easier to specify.

withResultArc :: (Arc -> Arc) -> Pattern a -> Pattern a Source #

Apply a function to the arcs/timespans (both whole and parts) of the result

withResultTime :: (Time -> Time) -> Pattern a -> Pattern a Source #

Apply a function to the time (both start and end of the timespans of both whole and parts) of the result

withQueryArc :: (Arc -> Arc) -> Pattern a -> Pattern a Source #

Apply a function to the timespan of the query

withQueryTime :: (Time -> Time) -> Pattern a -> Pattern a Source #

Apply a function to the time (both start and end) of the query

withQueryControls :: (ValueMap -> ValueMap) -> Pattern a -> Pattern a Source #

Apply a function to the control values of the query

withEvent :: (Event a -> Event b) -> Pattern a -> Pattern b Source #

withEvent f p returns a new Pattern with each event mapped over function f.

withValue :: (a -> b) -> Pattern a -> Pattern b Source #

withEvent f p returns a new Pattern with each value mapped over function f.

withEvents :: ([Event a] -> [Event b]) -> Pattern a -> Pattern b Source #

withEvent f p returns a new Pattern with f applied to the resulting list of events for each query function f.

withPart :: (Arc -> Arc) -> Pattern a -> Pattern a Source #

withPart f p returns a new Pattern with function f applied to the part.

_extract :: (Value -> Maybe a) -> String -> ControlPattern -> Pattern a Source #

extractI :: String -> ControlPattern -> Pattern Int Source #

Extract a pattern of integer values by from a control pattern, given the name of the control

extractF :: String -> ControlPattern -> Pattern Double Source #

Extract a pattern of floating point values by from a control pattern, given the name of the control

extractS :: String -> ControlPattern -> Pattern String Source #

Extract a pattern of string values by from a control pattern, given the name of the control

extractB :: String -> ControlPattern -> Pattern Bool Source #

Extract a pattern of boolean values by from a control pattern, given the name of the control

extractR :: String -> ControlPattern -> Pattern Rational Source #

Extract a pattern of rational values by from a control pattern, given the name of the control

compressArc :: Arc -> Pattern a -> Pattern a Source #

compressArcTo :: Arc -> Pattern a -> Pattern a Source #

focusArc :: Arc -> Pattern a -> Pattern a Source #

fast :: Pattern Time -> Pattern a -> Pattern a Source #

Speed up a pattern by the given time pattern

fastSqueeze :: Pattern Time -> Pattern a -> Pattern a Source #

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

An alias for fast

_fast :: Time -> Pattern a -> Pattern a Source #

slow :: Pattern Time -> Pattern a -> Pattern a Source #

Slow down a pattern by the given time pattern

_slow :: Time -> Pattern a -> Pattern a Source #

_fastGap :: Time -> Pattern a -> Pattern a Source #

rotL :: Time -> Pattern a -> Pattern a Source #

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

rotR :: Time -> Pattern a -> Pattern a Source #

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

rev :: Pattern a -> Pattern a Source #

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

matchManyToOne :: (b -> a -> Bool) -> Pattern a -> Pattern b -> Pattern (Bool, b) Source #

Mark values in the first pattern which match with at least one value in the second pattern.

filterValues :: (a -> Bool) -> Pattern a -> Pattern a Source #

Remove events from patterns that to not meet the given test

filterJust :: Pattern (Maybe a) -> Pattern a Source #

Turns a pattern of Maybe values into a pattern of values, dropping the events of Nothing.

filterWhen :: (Time -> Bool) -> Pattern a -> Pattern a Source #

filterOnsets :: Pattern a -> Pattern a Source #

filterEvents :: (Event a -> Bool) -> Pattern a -> Pattern a Source #

filterDigital :: Pattern a -> Pattern a Source #

filterAnalog :: Pattern a -> Pattern a Source #

playFor :: Time -> Time -> Pattern a -> Pattern a Source #

tParam :: (t1 -> t2 -> Pattern a) -> Pattern t1 -> t2 -> Pattern a Source #

tParam2 :: (a -> b -> c -> Pattern d) -> Pattern a -> Pattern b -> c -> Pattern d Source #

tParam3 :: (a -> b -> c -> Pattern d -> Pattern e) -> Pattern a -> Pattern b -> Pattern c -> Pattern d -> Pattern e Source #

tParamSqueeze :: (a -> Pattern b -> Pattern c) -> Pattern a -> Pattern b -> Pattern c Source #

combineContexts :: [Context] -> Context Source #

setContext :: Context -> Pattern a -> Pattern a Source #

withContext :: (Context -> Context) -> Pattern a -> Pattern a Source #

deltaMini :: String -> String Source #

isAnalog :: Event a -> Bool Source #

isDigital :: Event a -> Bool Source #

onsetIn :: Arc -> Event a -> Bool Source #

True if an EventF's starts is within given ArcF

defragParts :: Eq a => [Event a] -> [Event a] Source #

Returns a list of events, with any adjacent parts of the same whole combined

isAdjacent :: Eq a => Event a -> Event a -> Bool Source #

Returns True if the two given events are adjacent parts of the same whole

wholeOrPart :: Event a -> Arc Source #

wholeStart :: Event a -> Time Source #

Get the onset of an event's whole

wholeStop :: Event a -> Time Source #

Get the offset of an event's whole

eventPartStart :: Event a -> Time Source #

Get the onset of an event's whole

eventPartStop :: Event a -> Time Source #

Get the offset of an event's part

eventPart :: Event a -> Arc Source #

Get the timespan of an event's part

eventValue :: Event a -> a Source #

eventHasOnset :: Event a -> Bool Source #

toEvent :: (((Time, Time), (Time, Time)), a) -> Event a Source #

resolveState :: ValueMap -> [Event ValueMap] -> (ValueMap, [Event ValueMap]) Source #

applyFIS :: (Double -> Double) -> (Int -> Int) -> (String -> String) -> Value -> Value Source #

General utilities..

Apply one of three functions to a Value, depending on its type

fNum2 :: (Int -> Int -> Int) -> (Double -> Double -> Double) -> Value -> Value -> Value Source #

Apply one of two functions to a pair of Values, depending on their types (int or float; strings and rationals are ignored)

getI :: Value -> Maybe Int Source #

getF :: Value -> Maybe Double Source #

getN :: Value -> Maybe Note Source #

getS :: Value -> Maybe String Source #

getB :: Value -> Maybe Bool Source #

getR :: Value -> Maybe Rational Source #

getBlob :: Value -> Maybe [Word8] Source #

getList :: Value -> Maybe [Value] Source #

valueToPattern :: Value -> Pattern Value Source #

sameDur :: Event a -> Event a -> Bool Source #

groupEventsBy :: Eq a => (Event a -> Event a -> Bool) -> [Event a] -> [[Event a]] Source #

collectEvent :: [Event a] -> Maybe (Event [a]) Source #

collectEventsBy :: Eq a => (Event a -> Event a -> Bool) -> [Event a] -> [Event [a]] Source #

collectBy :: Eq a => (Event a -> Event a -> Bool) -> Pattern a -> Pattern [a] Source #

collects all events satisfying the same constraint into a list

collect :: Eq a => Pattern a -> Pattern [a] Source #

collects all events occuring at the exact same time into a list

uncollectEvent :: Event [a] -> [Event a] Source #

uncollectEvents :: [Event [a]] -> [Event a] Source #

uncollect :: Pattern [a] -> Pattern a Source #

merges all values in a list into one pattern by stacking the values

module Sound.Tidal.Time