| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Sound.Tidal.ParseBP
Contents
Synopsis
- data TidalParseError = TidalParseError {
- parsecError :: ParseError
- code :: String
- type MyParser = Parsec String Int
- data TPat a
- = TPat_Atom (Maybe ((Int, Int), (Int, Int))) a
- | TPat_Fast (TPat Time) (TPat a)
- | TPat_Slow (TPat Time) (TPat a)
- | TPat_DegradeBy Int Double (TPat a)
- | TPat_CycleChoose Int [TPat a]
- | TPat_Euclid (TPat Int) (TPat Int) (TPat Int) (TPat a)
- | TPat_Stack [TPat a]
- | TPat_Polyrhythm (Maybe (TPat Rational)) [TPat a]
- | TPat_Seq [TPat a]
- | TPat_Silence
- | TPat_Foot
- | TPat_Elongate Rational (TPat a)
- | TPat_Repeat Int (TPat a)
- | TPat_EnumFromTo (TPat a) (TPat a)
- | TPat_Var String
- tShowList :: Show a => [TPat a] -> String
- tShow :: Show a => TPat a -> String
- toPat :: (Parseable a, Enumerable a) => TPat a -> Pattern a
- resolve_tpat :: (Enumerable a, Parseable a) => TPat a -> (Rational, Pattern a)
- resolve_seq :: (Enumerable a, Parseable a) => [TPat a] -> (Rational, Pattern a)
- resolve_size :: [TPat a] -> [(Rational, TPat a)]
- steps_tpat :: Show a => TPat a -> (Rational, String)
- steps_seq :: Show a => [TPat a] -> (Rational, String)
- steps_size :: Show a => [TPat a] -> [(Rational, String)]
- parseBP :: (Enumerable a, Parseable a) => String -> Either ParseError (Pattern a)
- parseBP_E :: (Enumerable a, Parseable a) => String -> Pattern a
- parseTPat :: Parseable a => String -> Either ParseError (TPat a)
- cP :: (Enumerable a, Parseable a) => String -> Pattern a
- class Parseable a where
- class Enumerable a where
- fromTo :: a -> a -> Pattern a
- fromThenTo :: a -> a -> a -> Pattern a
- enumFromTo' :: (Ord a, Enum a) => a -> a -> Pattern a
- enumFromThenTo' :: (Ord a, Enum a, Num a) => a -> a -> a -> Pattern a
- type ColourD = Colour Double
- lexer :: GenTokenParser String u Identity
- braces :: MyParser a -> MyParser a
- brackets :: MyParser a -> MyParser a
- parens :: MyParser a -> MyParser a
- angles :: MyParser a -> MyParser a
- symbol :: String -> MyParser String
- natural :: MyParser Integer
- integer :: MyParser Integer
- decimal :: MyParser Integer
- float :: MyParser Double
- naturalOrFloat :: MyParser (Either Integer Double)
- data Sign
- applySign :: Num a => Sign -> a -> a
- sign :: MyParser Sign
- intOrFloat :: MyParser Double
- pSequence :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)
- pRepeat :: TPat a -> MyParser (TPat a)
- pElongate :: TPat a -> MyParser (TPat a)
- pSingle :: MyParser (TPat a) -> MyParser (TPat a)
- pVar :: MyParser (TPat a)
- pPart :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)
- newSeed :: MyParser Int
- pPolyIn :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)
- pPolyOut :: Parseable a => MyParser (TPat a) -> MyParser (TPat a)
- pCharNum :: MyParser Char
- pString :: MyParser String
- wrapPos :: MyParser (TPat a) -> MyParser (TPat a)
- pVocable :: MyParser (TPat String)
- pChar :: MyParser (TPat Char)
- pDouble :: MyParser (TPat Double)
- pNote :: MyParser (TPat Note)
- pBool :: MyParser (TPat Bool)
- parseIntNote :: Integral i => MyParser i
- pIntegral :: Integral a => MyParser (TPat a)
- parseChord :: (Enum a, Num a) => MyParser [a]
- parseNote :: Num a => MyParser a
- fromNote :: Num a => Pattern String -> Pattern a
- pColour :: MyParser (TPat ColourD)
- pMult :: TPat a -> MyParser (TPat a)
- pRand :: TPat a -> MyParser (TPat a)
- pE :: TPat a -> MyParser (TPat a)
- pRational :: MyParser (TPat Rational)
- pRatio :: MyParser Rational
- pFraction :: RealFrac a => a -> MyParser Rational
- pRatioChar :: Fractional a => MyParser a
- pRatioSingleChar :: Fractional a => Char -> a -> MyParser a
- isInt :: RealFrac a => a -> Bool
Documentation
data TidalParseError Source #
Constructors
| TidalParseError | |
Fields
| |
Instances
| Eq TidalParseError Source # | |
Defined in Sound.Tidal.ParseBP Methods (==) :: TidalParseError -> TidalParseError -> Bool # (/=) :: TidalParseError -> TidalParseError -> Bool # | |
| Show TidalParseError Source # | |
Defined in Sound.Tidal.ParseBP Methods showsPrec :: Int -> TidalParseError -> ShowS # show :: TidalParseError -> String # showList :: [TidalParseError] -> ShowS # | |
| Exception TidalParseError Source # | |
Defined in Sound.Tidal.ParseBP Methods toException :: TidalParseError -> SomeException # | |
AST representation of patterns
Constructors
| TPat_Atom (Maybe ((Int, Int), (Int, Int))) a | |
| TPat_Fast (TPat Time) (TPat a) | |
| TPat_Slow (TPat Time) (TPat a) | |
| TPat_DegradeBy Int Double (TPat a) | |
| TPat_CycleChoose Int [TPat a] | |
| TPat_Euclid (TPat Int) (TPat Int) (TPat Int) (TPat a) | |
| TPat_Stack [TPat a] | |
| TPat_Polyrhythm (Maybe (TPat Rational)) [TPat a] | |
| TPat_Seq [TPat a] | |
| TPat_Silence | |
| TPat_Foot | |
| TPat_Elongate Rational (TPat a) | |
| TPat_Repeat Int (TPat a) | |
| TPat_EnumFromTo (TPat a) (TPat a) | |
| TPat_Var String |
Instances
resolve_tpat :: (Enumerable a, Parseable a) => TPat a -> (Rational, Pattern a) Source #
resolve_seq :: (Enumerable a, Parseable a) => [TPat a] -> (Rational, Pattern a) Source #
parseBP :: (Enumerable a, Parseable a) => String -> Either ParseError (Pattern a) Source #
class Parseable a where Source #
Minimal complete definition
Methods
tPatParser :: MyParser (TPat a) Source #
doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern a -> Pattern a Source #
getControl :: String -> Pattern a Source #
class Enumerable a where Source #
parseIntNote :: Integral i => MyParser i Source #
pRatioChar :: Fractional a => MyParser a Source #
pRatioSingleChar :: Fractional a => Char -> a -> MyParser a Source #
Orphan instances
| (Enumerable a, Parseable a) => IsString (Pattern a) Source # | |
Methods fromString :: String -> Pattern a # | |