Grammar.Types

Documentation

type Weight = Double

data Grammar meta a

Constructors

Grammar

Fields

• initial :: a
• rules :: [Rule meta a]

data Rule meta a

Constructors

(Head a) :-> (Body meta a) infix 3

type Head a = (a, Weight, Activation)

type Activation = Duration -> Bool

type Body meta a = Duration -> Term meta a

data Term meta a

Constructors

a :%: Duration infix 6

(Term meta a) :-: (Term meta a) infixr 4

Aux Bool meta (Term meta a)

Let (Term meta a) (Term meta a -> Term meta a)

Instances

Functor (Term meta)

Methods

fmap :: (a -> b) -> Term meta a -> Term meta b

(<$) :: a -> Term meta b -> Term meta a

(Eq a, Eq meta) => Eq (Term meta a)

Methods

(==) :: Term meta a -> Term meta a -> Bool

(/=) :: Term meta a -> Term meta a -> Bool

(Show a, Show meta) => Show (Term meta a)

Methods

showsPrec :: Int -> Term meta a -> ShowS

show :: Term meta a -> String

showList :: [Term meta a] -> ShowS

class Expand input a meta b | input a meta -> b where

Any metadata-carrying grammar term must be expanded to a stripped-down grammar term with no metadata (i.e. `Term a ()`), possibly producing terms of a different type b.

Minimal complete definition

expand

Methods

expand :: input -> Term meta a -> IO (Term () b)

Expand meta-information.

Instances

Expand input a () a

A term with no auxiliary wrappers can be trivially expanded.

Methods

expand :: input -> Term () a -> IO (Term () a)

Expand HarmonyConfig Degree Modulation SemiChord

Expands modulations and intreprets degrees to chords.

Methods

expand :: HarmonyConfig -> Term Modulation Degree -> IO (Term () SemiChord)

type Grammarly input a meta b = (Show a, Show meta, Eq a, Eq meta, Expand input a meta b)

runGrammar :: Grammarly input a meta b => Grammar meta a -> Duration -> input -> IO (Music b)

Run a grammar with the given initial symbol.

always :: Activation

Rule which always activates.

(/\) :: Activation -> Activation -> Activation

Conjunction of activation functions.

(\/) :: Activation -> Activation -> Activation

Disjunction of activation functions.

(|:) :: a -> [Rule meta a] -> Grammar meta a infix 2

(-|) :: a -> Weight -> Rule meta a

Identity rule.

(-||) :: (a, Weight) -> Activation -> Rule meta a

Identity rule with activation function.

($:) :: meta -> Term meta a -> Term meta a infix 5

Operators for auxiliary terms.

(|$:) :: meta -> Term meta a -> Term meta a infix 5

Operators for auxiliary terms.

(|->) :: Head a -> Term meta a -> Rule meta a infix 3

Rule with duration-independent body.