Safe Haskell	Safe-Inferred
Language	Haskell2010

Sound.Tidal.ParseBP

Contents

Orphan instances

Synopsis

data TidalParseError = TidalParseError {
- parsecError :: ParseError
- code :: String
}
type MyParser = Parsec String Int
data TPat a where
- 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
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
- tPatParser :: MyParser (TPat a)
- doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern a -> Pattern a
- getControl :: String -> Pattern a
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
- = Positive
- | Negative
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)
pDoubleWithoutChord :: MyParser (TPat Double)
pNote :: MyParser (TPat Note)
pNoteWithoutChord :: MyParser (TPat Note)
pBool :: MyParser (TPat Bool)
parseIntNote :: Integral i => MyParser i
pIntegral :: (Integral a, Parseable a, Enumerable a) => MyParser (TPat a)
pIntegralWithoutChord :: (Integral a, Parseable a, Enumerable 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
pInteger :: MyParser Double
pFloat :: MyParser Double
pFraction :: RealFrac a => a -> MyParser Rational
pRatioChar :: Fractional a => MyParser a
pRatioSingleChar :: Fractional a => Char -> a -> MyParser a
isInt :: RealFrac a => a -> Bool
parseModInv :: MyParser Modifier
parseModInvNum :: MyParser [Modifier]
parseModDrop :: MyParser [Modifier]
parseModOpen :: MyParser Modifier
parseModRange :: MyParser Modifier
parseModifiers :: MyParser [Modifier]
pModifiers :: MyParser (TPat [Modifier])
pChord :: (Enum a, Num a, Parseable a, Enumerable a) => TPat a -> MyParser (TPat a)

Documentation

data TidalParseError Source #

Constructors

TidalParseError
Fields parsecError :: ParseError code :: String

Instances

Instances details

Exception TidalParseError Source #
Instance details Defined in Sound.Tidal.ParseBP Methods toException :: TidalParseError -> SomeException # fromException :: SomeException -> Maybe TidalParseError # displayException :: TidalParseError -> String #
Show TidalParseError Source #
Instance details Defined in Sound.Tidal.ParseBP Methods showsPrec :: Int -> TidalParseError -> ShowS # show :: TidalParseError -> String # showList :: [TidalParseError] -> ShowS #
Eq TidalParseError Source #
Instance details Defined in Sound.Tidal.ParseBP Methods (==) :: TidalParseError -> TidalParseError -> Bool # (/=) :: TidalParseError -> TidalParseError -> Bool #

type MyParser = Parsec String Int Source #

data 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

Instances

Instances details

Functor TPat Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fmap :: (a -> b) -> TPat a -> TPat b # (<$) :: a -> TPat b -> TPat a #
Show a => Show (TPat a) Source #
Instance details Defined in Sound.Tidal.ParseBP Methods showsPrec :: Int -> TPat a -> ShowS # show :: TPat a -> String # showList :: [TPat a] -> ShowS #

tShowList :: Show a => [TPat a] -> String Source #

tShow :: Show a => TPat a -> String Source #

toPat :: (Parseable a, Enumerable a) => TPat a -> Pattern a Source #

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

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

resolve_size :: [TPat a] -> [(Rational, TPat a)] Source #

steps_tpat :: Show a => TPat a -> (Rational, String) Source #

steps_seq :: Show a => [TPat a] -> (Rational, String) Source #

steps_size :: Show a => [TPat a] -> [(Rational, String)] Source #

parseBP :: (Enumerable a, Parseable a) => String -> Either ParseError (Pattern a) Source #

parseBP_E :: (Enumerable a, Parseable a) => String -> Pattern a Source #

parseTPat :: Parseable a => String -> Either ParseError (TPat a) Source #

cP :: (Enumerable a, Parseable a) => String -> Pattern a Source #

class Parseable a where Source #

Minimal complete definition

tPatParser, doEuclid

Methods

tPatParser :: MyParser (TPat a) Source #

doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern a -> Pattern a Source #

getControl :: String -> Pattern a Source #

Instances

Instances details

Parseable Rational Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Rational) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Rational -> Pattern Rational Source # getControl :: String -> Pattern Rational Source #
Parseable ColourD Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat ColourD) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern ColourD -> Pattern ColourD Source # getControl :: String -> Pattern ColourD 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 #
Parseable String Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat String) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern String -> Pattern String Source # getControl :: String -> Pattern String Source #
Parseable Integer Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Integer) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Integer -> Pattern Integer Source # getControl :: String -> Pattern Integer Source #
Parseable Bool Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Bool) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Bool -> Pattern Bool Source # getControl :: String -> Pattern Bool Source #
Parseable Char Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Char) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Char -> Pattern Char Source # getControl :: String -> Pattern Char Source #
Parseable Double Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Double) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Double -> Pattern Double Source # getControl :: String -> Pattern Double Source #
Parseable Int Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat Int) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Int -> Pattern Int Source # getControl :: String -> Pattern Int Source #
Parseable [Modifier] Source #
Instance details Defined in Sound.Tidal.ParseBP Methods tPatParser :: MyParser (TPat [Modifier]) Source # doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern [Modifier] -> Pattern [Modifier] Source # getControl :: String -> Pattern [Modifier] Source #

class Enumerable a where Source #

Methods

fromTo :: a -> a -> Pattern a Source #

fromThenTo :: a -> a -> a -> Pattern a Source #

Instances

Instances details

Enumerable Rational Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Rational -> Rational -> Pattern Rational Source # fromThenTo :: Rational -> Rational -> Rational -> Pattern Rational Source #
Enumerable ColourD Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: ColourD -> ColourD -> Pattern ColourD Source # fromThenTo :: ColourD -> ColourD -> ColourD -> Pattern ColourD Source #
Enumerable Note Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Note -> Note -> Pattern Note Source # fromThenTo :: Note -> Note -> Note -> Pattern Note Source #
Enumerable String Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: String -> String -> Pattern String Source # fromThenTo :: String -> String -> String -> Pattern String Source #
Enumerable Integer Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Integer -> Integer -> Pattern Integer Source # fromThenTo :: Integer -> Integer -> Integer -> Pattern Integer Source #
Enumerable Bool Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Bool -> Bool -> Pattern Bool Source # fromThenTo :: Bool -> Bool -> Bool -> Pattern Bool Source #
Enumerable Char Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Char -> Char -> Pattern Char Source # fromThenTo :: Char -> Char -> Char -> Pattern Char Source #
Enumerable Double Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Double -> Double -> Pattern Double Source # fromThenTo :: Double -> Double -> Double -> Pattern Double Source #
Enumerable Int Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: Int -> Int -> Pattern Int Source # fromThenTo :: Int -> Int -> Int -> Pattern Int Source #
Enumerable [Modifier] Source #
Instance details Defined in Sound.Tidal.ParseBP Methods fromTo :: [Modifier] -> [Modifier] -> Pattern [Modifier] Source # fromThenTo :: [Modifier] -> [Modifier] -> [Modifier] -> Pattern [Modifier] Source #