Euterpea.Examples.LSystems

Documentation

data DetGrammar a

Constructors

DetGrammar a [(a, [a])]

Instances

Show a => Show (DetGrammar a)

detGenerate :: Eq a => DetGrammar a -> [[a]]

redAlgae :: DetGrammar Char

t :: Int -> DetGrammar Char -> IO ()

data Grammar a

Constructors

Grammar a (Rules a)

Instances

Show a => Show (Grammar a)

data Rules a

Constructors

Uni [Rule a]

Sto [(Rule a, Prob)]

Instances

Eq a => Eq (Rules a)

Ord a => Ord (Rules a)

Show a => Show (Rules a)

data Rule a

Constructors

Rule

Fields

lhs :: a

rhs :: a

Instances

Eq a => Eq (Rule a)

Ord a => Ord (Rule a)

Show a => Show (Rule a)

type Prob = Double

type ReplFun a = [[(Rule a, Prob)]] -> (a, [Rand]) -> (a, [Rand])

type Rand = Double

gen :: Ord a => ReplFun a -> Grammar a -> Int -> [a]

toStoRules :: (Ord a, Eq a) => Rules a -> Rules a

insertProb :: [a] -> [(a, Prob)]

checkProbs :: (Ord a, Eq a) => [(Rule a, Prob)] -> Bool

eps :: Double

checkSum :: [(Rule a, Prob)] -> Bool

sameLHS :: Eq a => (Rule a, Prob) -> (Rule a, Prob) -> Bool

generate :: Eq a => ReplFun a -> [(Rule a, Prob)] -> (a, [Rand]) -> [a]

data LSys a

Constructors

N a

(LSys a) :+ (LSys a)

(LSys a) :. (LSys a)

Id

Instances

Eq a => Eq (LSys a)

Ord a => Ord (LSys a)

Show a => Show (LSys a)

replFun :: Eq a => ReplFun (LSys a)

getNewRHS :: Eq a => [[(Rule a, Prob)]] -> a -> Rand -> a

type IR a b = [(a, Music b -> Music b)]

interpret :: Eq a => LSys a -> IR a b -> Music b -> Music b

data LFun

Constructors

Inc

Dec

Same

Instances

Eq LFun

Ord LFun

Show LFun

ir :: IR LFun Pitch

inc :: LSys LFun

same :: LSys LFun

dec :: LSys LFun

sc :: LSys LFun

r1a :: Rule (LSys LFun)

r1b :: Rule (LSys LFun)

r2a :: Rule (LSys LFun)

r2b :: Rule (LSys LFun)

r3a :: Rule (LSys LFun)

r3b :: Rule (LSys LFun)

r3c :: Rule (LSys LFun)

g1 :: Grammar (LSys LFun)

t1 :: Int -> Music Pitch