Moduletidal-core-1.10.2Haskell2010

Sound.Tidal.ParseBP

Synopsis

data TidalParseError
type MyParser
data TPat
value tShowList
value tShow
value toPat
value resolve_tpat
value resolve_seq
value resolve_size
value steps_tpat
value steps_seq
value steps_size
value parseBP
value parseBP_E
value parseTPat
value parseRest
value cP
class Parseable
class Enumerable
value enumFromTo'
value enumFromThenTo'
type ColourD
value lexer
value braces
value brackets
value parens
value angles
value symbol
value natural
value integer
value decimal
value float
value naturalOrFloat
data Sign
value applySign
value sign
value intOrFloat
value pTidal
value pSequence
value pFoot
value pEnumeration
value pRepeat
value pElongate
value pSingle
value pVar
value pPart
value newSeed
value pPolyIn
value pPolyOut
value pCharNum
value pString
value wrapPos
value pVocable
value pChar
value pDouble
value pDoubleWithoutChord
value pNote
value pNoteWithoutChord
value pBool
value parseIntNote
value pIntegral
value pIntegralWithoutChord
value parseChord
value parseNote
value fromNote
value _fromNote
value pColour
value pMult
value pRand
value pE
value pRational
value pRatio
value pInteger
value pFloat
value pFraction
value pRatioChar
value pRatioSingleChar
value isInt
value parseModInv
value parseModInvNum
value parseModDrop
value parseModOpen
value parseModRange
value parseModifiers
value pModifiers
value pChord

Packagetidal-core-1.10.2
Exports86
LanguageHaskell2010
LicenceGPL-3.0-only
SourceParseBP.hs

datadata TidalParseError

Constructors

TidalParseError
- parsecError :: ParseError
- code :: String

Instances3Eq, Show, Exception

Eq TidalParseErrorDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Show TidalParseErrorDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Exception TidalParseErrorDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP

typetype MyParser = Parsec String Int

datadata TPat a where

Source#

AST representation of patterns

Constructors

TPat_Atom :: Maybe ((Int, Int), (Int, Int)) -> a -> TPat a
TPat_Fast :: TPat Time -> TPat a -> TPat a
TPat_Slow :: TPat Time -> TPat a -> TPat a
TPat_DegradeBy :: Int -> Double -> TPat a -> TPat a
TPat_CycleChoose :: Int -> [TPat a] -> TPat a
TPat_Euclid :: TPat Int -> TPat Int -> TPat Int -> TPat a -> TPat a
TPat_Stack :: [TPat a] -> TPat a
TPat_Polyrhythm :: Maybe (TPat Rational) -> [TPat a] -> TPat a
TPat_Seq :: [TPat a] -> TPat a
TPat_Silence :: TPat a
TPat_Foot :: TPat a
TPat_Elongate :: Rational -> TPat a -> TPat a
TPat_Repeat :: Int -> TPat a -> TPat a
TPat_EnumFromTo :: TPat a -> TPat a -> TPat a
TPat_Var :: String -> TPat a
TPat_Chord :: (Num b, Enum b, Parseable b, Enumerable b) => (b -> a) -> TPat b -> TPat String -> [TPat [Modifier]] -> TPat a

Instances2Functor, Show

Functor TPatDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Show a => Show (TPat a)Defined in tidal-core-1.10.2 · Sound.Tidal.ParseBP

valuetShowList :: Show a => [TPat a] -> String

valuetShow :: Show a => TPat a -> String

valuetoPat :: (Parseable a, Enumerable a) => TPat a -> Pattern a

valueresolve_tpat

:: (Enumerable a, Parseable a)
=> TPat a
-> (Rational, Pattern a)

valueresolve_seq

:: (Enumerable a, Parseable a)
=> [TPat a]
-> (Rational, Pattern a)

valueresolve_size :: [TPat a] -> [(Rational, TPat a)]

valuesteps_tpat :: Show a => TPat a -> (Rational, String)

valuesteps_seq :: Show a => [TPat a] -> (Rational, String)

valuesteps_size :: Show a => [TPat a] -> [(Rational, String)]

valueparseBP

valueparseBP_E :: (Enumerable a, Parseable a) => String -> Pattern a

valueparseTPat :: Parseable a => String -> Either ParseError (TPat a)

valueparseRest :: Parseable a => MyParser (TPat a)

Source#

a - is a negative sign if followed anything but another dash otherwise, it's treated as rest

valuecP :: (Enumerable a, Parseable a) => String -> Pattern a

classclass Parseable a where

Methods

tPatParser :: MyParser (TPat a)
doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern a -> Pattern a
getControl :: String -> Pattern a

Instances10Parseable, …

Parseable StringDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable IntegerDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable RationalDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable BoolDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable CharDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable DoubleDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable IntDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable ColourDDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable NoteDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Parseable [Modifier]Defined in tidal-core-1.10.2 · Sound.Tidal.ParseBP

classclass Enumerable a where

Methods

fromTo :: a -> a -> Pattern a
fromThenTo :: a -> a -> a -> Pattern a

Instances10Enumerable, …

Enumerable StringDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable IntegerDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable RationalDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable BoolDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable CharDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable DoubleDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable IntDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable ColourDDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable NoteDefined in tidal-core-1.10.2 · Sound.Tidal.ParseBP
Enumerable [Modifier]Defined in tidal-core-1.10.2 · Sound.Tidal.ParseBP

valueenumFromTo' :: (Ord a, Enum a) => a -> a -> Pattern a

valueenumFromThenTo' :: (Ord a, Enum a, Num a) => a -> a -> a -> Pattern a

typetype ColourD = Colour Double

valuelexer :: GenTokenParser String u Identity

valuebraces :: MyParser a -> MyParser a

valuebrackets :: MyParser a -> MyParser a

valueparens :: MyParser a -> MyParser a

valueangles :: MyParser a -> MyParser a

valuesymbol :: String -> MyParser String

valuenatural :: MyParser Integer

valueinteger :: MyParser Integer

valuedecimal :: MyParser Integer

valuefloat :: MyParser Double

valuenaturalOrFloat :: MyParser (Either Integer Double)

datadata Sign

Positive Negative

valueapplySign :: Num a => Sign -> a -> a

valuesign :: MyParser Sign

valueintOrFloat :: MyParser Double

valuepTidal :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)

Source#

parser starting point

valuepSequence :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)

Source#

Try different parsers on a sequence of Tidal patterns f is the sequence so far, a the next upcoming token/non-terminal

valuepFoot :: MyParser (TPat a)

valuepEnumeration

:: Parseable a
=> MyParser (TPat a)
-> TPat a
-> MyParser (TPat a)

valuepRepeat :: TPat a -> MyParser (TPat a)

valuepElongate :: TPat a -> MyParser (TPat a)

valuepSingle :: MyParser (TPat a) -> MyParser (TPat a)

valuepVar :: MyParser (TPat a)

valuepPart :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)

valuenewSeed :: MyParser Int

valuepPolyIn :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)

valuepPolyOut :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)

valuepCharNum :: MyParser Char

valuepString :: MyParser String

valuewrapPos :: MyParser (TPat a) -> MyParser (TPat a)

valuepVocable :: MyParser (TPat String)

valuepChar :: MyParser (TPat Char)

valuepDouble :: MyParser (TPat Double)

valuepDoubleWithoutChord :: MyParser (TPat Double)

valuepNote :: MyParser (TPat Note)

valuepNoteWithoutChord :: MyParser (TPat Note)

valuepBool :: MyParser (TPat Bool)

valueparseIntNote :: Integral i => MyParser i

valuepIntegral :: (Integral a, Parseable a, Enumerable a) => MyParser (TPat a)

valuepIntegralWithoutChord :: (Integral a, Parseable a, Enumerable a) => MyParser (TPat a)

valueparseChord :: (Enum a, Num a) => MyParser [a]

valueparseNote :: Num a => MyParser a

valuefromNote :: Num a => Pattern String -> Pattern a

value_fromNote :: Num a => String -> a

valuepColour :: MyParser (TPat ColourD)

valuepMult :: TPat a -> MyParser (TPat a)

valuepRand :: TPat a -> MyParser (TPat a)

valuepE :: TPat a -> MyParser (TPat a)

Source#

parse Euclidean notation like 'bd(3,8)'

valuepRational :: MyParser (TPat Rational)

valuepRatio :: MyParser Rational

valuepInteger :: MyParser Double

valuepFloat :: MyParser Double

valuepFraction :: RealFrac a => a -> MyParser Rational

valuepRatioChar :: Fractional a => MyParser a

valuepRatioSingleChar :: Fractional a => Char -> a -> MyParser a

valueisInt :: RealFrac a => a -> Bool

valueparseModInv :: MyParser Modifier

valueparseModInvNum :: MyParser [Modifier]

valueparseModDrop :: MyParser [Modifier]

valueparseModOpen :: MyParser Modifier

valueparseModRange :: MyParser Modifier

valueparseModifiers :: MyParser [Modifier]

valuepModifiers :: MyParser (TPat [Modifier])

valuepChord

:: (Enum a, Num a, Parseable a, Enumerable a)
=> TPat a
-> MyParser (TPat a)

Orphan instances

1 instance

(Enumerable a, Parseable a) => IsString (Pattern a)