Safe Haskell	None
Language	GHC2021

PVGrammar

Contents

Inner Structure Types
Generative Operations
Derivations
Loading Files

Description

This module contains common datatypes and functions specific to the protovoice grammar. In a protovoice derivations, slices are multisets of notes while transitions contain connections between these notes.

Code that is specific to parsing can be found in PVGrammar.Parse, while generative code is located in PVGrammar.Generate.

Synopsis

data Note n = Note {
- notePitch :: n
- noteId :: String
}
newtype Notes n = Notes (HashSet (Note n))
innerNotes :: StartStop (Notes n) -> [StartStop (Note n)]
data Edges n = Edges {
- edgesReg :: !(HashSet (Edge n))
- edgesPass :: !(MultiSet (InnerEdge n))
}
topEdges :: Hashable n => Edges n
type Edge n = (StartStop (Note n), StartStop (Note n))
type InnerEdge n = (Note n, Note n)
newtype Freeze n = FreezeOp {
- freezeTies :: HashSet (Edge n)
}
data Split n = SplitOp {
- splitReg :: !(Map (Edge n) [(Note n, DoubleOrnament)])
- splitPass :: !(Map (InnerEdge n) [(Note n, PassingOrnament)])
- fromLeft :: !(Map (Note n) [(Note n, RightOrnament)])
- fromRight :: !(Map (Note n) [(Note n, LeftOrnament)])
- keepLeft :: !(HashSet (Edge n))
- keepRight :: !(HashSet (Edge n))
- passLeft :: !(MultiSet (InnerEdge n))
- passRight :: !(MultiSet (InnerEdge n))
}
data DoubleOrnament
- = FullNeighbor
- | FullRepeat
- | LeftRepeatOfRight
- | RightRepeatOfLeft
- | RootNote
isRepetitionOnLeft :: DoubleOrnament -> Bool
isRepetitionOnRight :: DoubleOrnament -> Bool
data PassingOrnament
- = PassingMid
- | PassingLeft
- | PassingRight
data LeftOrnament
- = LeftNeighbor
- | LeftRepeat
data RightOrnament
- = RightNeighbor
- | RightRepeat
data Spread n = SpreadOp !(HashMap (Note n) (SpreadChildren n)) !(Edges n)
data SpreadChildren n
- = SpreadLeftChild !(Note n)
- | SpreadRightChild !(Note n)
- | SpreadBothChildren !(Note n) !(Note n)
leftSpreadChild :: SpreadChildren n -> Maybe (Note n)
rightSpreadChild :: SpreadChildren n -> Maybe (Note n)
type PVLeftmost n = Leftmost (Split n) (Freeze n) (Spread n)
type PVAnalysis n = Analysis (Split n) (Freeze n) (Spread n) (Edges n) (Notes n)
analysisTraversePitch :: (Applicative f, Eq n', Hashable n', Ord n') => (n -> f n') -> PVAnalysis n -> f (PVAnalysis n')
analysisMapPitch :: (Eq n', Hashable n', Ord n') => (n -> n') -> PVAnalysis n -> PVAnalysis n'
loadAnalysis :: FilePath -> IO (Either String (PVAnalysis SPitch))
loadAnalysis' :: FilePath -> IO (Either String (PVAnalysis SPC))
slicesFromFile :: FilePath -> IO [[(Note SPitch, RightTied)]]
slicesToPath :: (Interval i, Ord i, Eq i) => [[(Note (Pitch i), RightTied)]] -> Path [Note (Pitch i)] [Edge (Pitch i)]
loadSurface :: FilePath -> IO (Path [Note SPitch] [Edge SPitch])
loadSurface' :: FilePath -> Int -> Int -> IO (Path [Note SPitch] [Edge SPitch])

Inner Structure Types

Note: a pitch with an ID.

data Note n Source #

A note with a pitch and an ID.

Constructors

Note
Fields notePitch :: n noteId :: String

Instances

Instances details

Functor Note Source #

Instance details

Defined in PVGrammar

Methods

fmap :: (a -> b) -> Note a -> Note b #

(<$) :: a -> Note b -> Note a #

Foldable Note Source #

Instance details

Defined in PVGrammar

Methods

fold :: Monoid m => Note m -> m #

foldMap :: Monoid m => (a -> m) -> Note a -> m #

foldMap' :: Monoid m => (a -> m) -> Note a -> m #

foldr :: (a -> b -> b) -> b -> Note a -> b #

foldr' :: (a -> b -> b) -> b -> Note a -> b #

foldl :: (b -> a -> b) -> b -> Note a -> b #

foldl' :: (b -> a -> b) -> b -> Note a -> b #

foldr1 :: (a -> a -> a) -> Note a -> a #

foldl1 :: (a -> a -> a) -> Note a -> a #

toList :: Note a -> [a] #

null :: Note a -> Bool #

length :: Note a -> Int #

elem :: Eq a => a -> Note a -> Bool #

maximum :: Ord a => Note a -> a #

minimum :: Ord a => Note a -> a #

sum :: Num a => Note a -> a #

product :: Num a => Note a -> a #

Traversable Note Source #

Instance details

Defined in PVGrammar

Methods

traverse :: Applicative f => (a -> f b) -> Note a -> f (Note b) #

sequenceA :: Applicative f => Note (f a) -> f (Note a) #

mapM :: Monad m => (a -> m b) -> Note a -> m (Note b) #

sequence :: Monad m => Note (m a) -> m (Note a) #

Notation n => FromJSON (Note n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (Note n) #

parseJSONList :: Value -> Parser [Note n] #

omittedField :: Maybe (Note n) #

Notation n => ToJSON (Note n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: Note n -> Value #

toEncoding :: Note n -> Encoding #

toJSONList :: [Note n] -> Value #

toEncodingList :: [Note n] -> Encoding #

omitField :: Note n -> Bool #

NFData n => NFData (Note n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: Note n -> () #

Notation n => IsString (Note n) Source #

Lets you write a Note as a string literal with OverloadedStrings. Pitch and ID are separate by a . (the ID may contain more .s).

Instance details

Defined in PVGrammar

Methods

fromString :: String -> Note n #

Generic (Note n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (Note n)
Instance details Defined in PVGrammar type Rep (Note n) = D1 ('MetaData "Note" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "Note" 'PrefixI 'True) (S1 ('MetaSel ('Just "notePitch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n) :*: S1 ('MetaSel ('Just "noteId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: Note n -> Rep (Note n) x #

to :: Rep (Note n) x -> Note n #

Notation n => Show (Note n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> Note n -> ShowS #

show :: Note n -> String #

showList :: [Note n] -> ShowS #

Eq n => Eq (Note n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: Note n -> Note n -> Bool #

(/=) :: Note n -> Note n -> Bool #

Ord n => Ord (Note n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: Note n -> Note n -> Ordering #

(<) :: Note n -> Note n -> Bool #

(<=) :: Note n -> Note n -> Bool #

(>) :: Note n -> Note n -> Bool #

(>=) :: Note n -> Note n -> Bool #

max :: Note n -> Note n -> Note n #

min :: Note n -> Note n -> Note n #

Hashable n => Hashable (Note n) Source #

Instance details

Defined in PVGrammar

Methods

hashWithSalt :: Int -> Note n -> Int #

hash :: Note n -> Int #

type Rep (Note n) Source #

Instance details

Defined in PVGrammar

type Rep (Note n) = D1 ('MetaData "Note" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "Note" 'PrefixI 'True) (S1 ('MetaSel ('Just "notePitch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n) :*: S1 ('MetaSel ('Just "noteId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Slices: Notes

newtype Notes n Source #

The content type of slices in the protovoice model. Contains a set of notes (pitch x id), representing the notes in a slice.

Constructors

Notes (HashSet (Note n))

Instances

Instances details

(Notation n, Eq n, Hashable n) => FromJSON (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (Notes n) #

parseJSONList :: Value -> Parser [Notes n] #

omittedField :: Maybe (Notes n) #

Notation n => ToJSON (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: Notes n -> Value #

toEncoding :: Notes n -> Encoding #

toJSONList :: [Notes n] -> Value #

toEncodingList :: [Notes n] -> Encoding #

omitField :: Notes n -> Bool #

NFData n => NFData (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: Notes n -> () #

Generic (Notes n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (Notes n)
Instance details Defined in PVGrammar type Rep (Notes n) = D1 ('MetaData "Notes" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'True) (C1 ('MetaCons "Notes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashSet (Note n)))))

Methods

from :: Notes n -> Rep (Notes n) x #

to :: Rep (Notes n) x -> Notes n #

Notation n => Show (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> Notes n -> ShowS #

show :: Notes n -> String #

showList :: [Notes n] -> ShowS #

Eq n => Eq (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: Notes n -> Notes n -> Bool #

(/=) :: Notes n -> Notes n -> Bool #

Ord n => Ord (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: Notes n -> Notes n -> Ordering #

(<) :: Notes n -> Notes n -> Bool #

(<=) :: Notes n -> Notes n -> Bool #

(>) :: Notes n -> Notes n -> Bool #

(>=) :: Notes n -> Notes n -> Bool #

max :: Notes n -> Notes n -> Notes n #

min :: Notes n -> Notes n -> Notes n #

Hashable n => Hashable (Notes n) Source #

Instance details

Defined in PVGrammar

Methods

hashWithSalt :: Int -> Notes n -> Int #

hash :: Notes n -> Int #

type Rep (Notes n) Source #

Instance details

Defined in PVGrammar

type Rep (Notes n) = D1 ('MetaData "Notes" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'True) (C1 ('MetaCons "Notes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashSet (Note n)))))

innerNotes :: StartStop (Notes n) -> [StartStop (Note n)] Source #

Return the notes or start/stop symbols inside a slice. This is useful to get all objects that an Edge can connect to.

Transitions: Sets of Obligatory Edges

Transitions contain two kinds of edges, regular edges and passing edges.

data Edges n Source #

The content type of transitions in the protovoice model. Contains a multiset of regular edges and a multiset of passing edges. The represented edges are those that are definitely used later on. Edges that are not used are dropped before creating a child transition. A transition that contains passing edges cannot be frozen.

Constructors

Edges
Fields edgesReg :: !(HashSet (Edge n)) regular edges edgesPass :: !(MultiSet (InnerEdge n)) passing edges

Instances

Instances details

(Eq n, Hashable n, Notation n) => FromJSON (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (Edges n) #

parseJSONList :: Value -> Parser [Edges n] #

omittedField :: Maybe (Edges n) #

Notation n => ToJSON (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: Edges n -> Value #

toEncoding :: Edges n -> Encoding #

toJSONList :: [Edges n] -> Value #

toEncodingList :: [Edges n] -> Encoding #

omitField :: Edges n -> Bool #

NFData n => NFData (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: Edges n -> () #

(Hashable n, Eq n) => Monoid (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

mempty :: Edges n #

mappend :: Edges n -> Edges n -> Edges n #

mconcat :: [Edges n] -> Edges n #

(Hashable n, Eq n) => Semigroup (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

(<>) :: Edges n -> Edges n -> Edges n #

sconcat :: NonEmpty (Edges n) -> Edges n #

stimes :: Integral b => b -> Edges n -> Edges n #

Generic (Edges n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (Edges n)

Instance details

Defined in PVGrammar

type Rep (Edges n) = D1 ('MetaData "Edges" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "Edges" 'PrefixI 'True) (S1 ('MetaSel ('Just "edgesReg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HashSet (Edge n))) :*: S1 ('MetaSel ('Just "edgesPass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiSet (InnerEdge n)))))

Methods

from :: Edges n -> Rep (Edges n) x #

to :: Rep (Edges n) x -> Edges n #

Notation n => Show (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> Edges n -> ShowS #

show :: Edges n -> String #

showList :: [Edges n] -> ShowS #

Eq n => Eq (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: Edges n -> Edges n -> Bool #

(/=) :: Edges n -> Edges n -> Bool #

Ord n => Ord (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: Edges n -> Edges n -> Ordering #

(<) :: Edges n -> Edges n -> Bool #

(<=) :: Edges n -> Edges n -> Bool #

(>) :: Edges n -> Edges n -> Bool #

(>=) :: Edges n -> Edges n -> Bool #

max :: Edges n -> Edges n -> Edges n #

min :: Edges n -> Edges n -> Edges n #

Hashable n => Hashable (Edges n) Source #

Instance details

Defined in PVGrammar

Methods

hashWithSalt :: Int -> Edges n -> Int #

hash :: Edges n -> Int #

type Rep (Edges n) Source #

Instance details

Defined in PVGrammar

type Rep (Edges n) = D1 ('MetaData "Edges" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "Edges" 'PrefixI 'True) (S1 ('MetaSel ('Just "edgesReg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HashSet (Edge n))) :*: S1 ('MetaSel ('Just "edgesPass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiSet (InnerEdge n)))))

topEdges :: Hashable n => Edges n Source #

The starting transition of a derivation (⋊——⋉).

type Edge n = (StartStop (Note n), StartStop (Note n)) Source #

A proto-voice edge between two nodes (i.e. notes or start/stop symbols).

type InnerEdge n = (Note n, Note n) Source #

A proto-voice edge between two notes (excluding start/stop symbols).

Generative Operations

Freeze

newtype Freeze n Source #

Represents a freeze operation. Since this just ties all remaining edges (which must all be repetitions) no decisions have to be encoded.

Constructors

FreezeOp
Fields freezeTies :: HashSet (Edge n)

Instances

Instances details

(Notation n, Hashable n) => FromJSON (Freeze n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (Freeze n) #

parseJSONList :: Value -> Parser [Freeze n] #

omittedField :: Maybe (Freeze n) #

Notation n => ToJSON (Freeze n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: Freeze n -> Value #

toEncoding :: Freeze n -> Encoding #

toJSONList :: [Freeze n] -> Value #

toEncodingList :: [Freeze n] -> Encoding #

omitField :: Freeze n -> Bool #

NFData n => NFData (Freeze n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: Freeze n -> () #

Generic (Freeze n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (Freeze n)
Instance details Defined in PVGrammar type Rep (Freeze n) = D1 ('MetaData "Freeze" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'True) (C1 ('MetaCons "FreezeOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "freezeTies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashSet (Edge n)))))

Methods

from :: Freeze n -> Rep (Freeze n) x #

to :: Rep (Freeze n) x -> Freeze n #

Notation n => Show (Freeze n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> Freeze n -> ShowS #

show :: Freeze n -> String #

showList :: [Freeze n] -> ShowS #

Eq n => Eq (Freeze n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: Freeze n -> Freeze n -> Bool #

(/=) :: Freeze n -> Freeze n -> Bool #

Ord n => Ord (Freeze n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: Freeze n -> Freeze n -> Ordering #

(<) :: Freeze n -> Freeze n -> Bool #

(<=) :: Freeze n -> Freeze n -> Bool #

(>) :: Freeze n -> Freeze n -> Bool #

(>=) :: Freeze n -> Freeze n -> Bool #

max :: Freeze n -> Freeze n -> Freeze n #

min :: Freeze n -> Freeze n -> Freeze n #

type Rep (Freeze n) Source #

Instance details

Defined in PVGrammar

type Rep (Freeze n) = D1 ('MetaData "Freeze" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'True) (C1 ('MetaCons "FreezeOp" 'PrefixI 'True) (S1 ('MetaSel ('Just "freezeTies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashSet (Edge n)))))

Split

data Split n Source #

Encodes the decisions made in a split operation. Contains a list of elaborations for every parent edge and note. Each elaboration contains the child pitch, and the corresponding ornament. For every produced edge, a decisions is made whether to keep it or not.

Constructors

SplitOp

Fields

splitReg :: !(Map (Edge n) [(Note n, DoubleOrnament)])
Maps every regular edge to a list of ornamentations.
splitPass :: !(Map (InnerEdge n) [(Note n, PassingOrnament)])
Maps every passing edge to a passing tone. Since every passing edge is elaborated exactly once but there can be several instances of the same edge in a transition, the "same" edge can be elaborated with several passing notes, one for each instance of the edge.
fromLeft :: !(Map (Note n) [(Note n, RightOrnament)])
Maps notes from the left parent slice to lists of ornamentations.
fromRight :: !(Map (Note n) [(Note n, LeftOrnament)])
Maps notes from the right parent slice to lists of ornamentations.
keepLeft :: !(HashSet (Edge n))
The set of regular edges to keep in the left child transition.
keepRight :: !(HashSet (Edge n))
The set of regular edges to keep in the right child transition.
passLeft :: !(MultiSet (InnerEdge n))
Contains the new passing edges introduced in the left child transition (excluding those passed down from the parent transition).
passRight :: !(MultiSet (InnerEdge n))
Contains the new passing edges introduced in the right child transition (excluding those passed down from the parent transition).

Instances

Instances details

(Notation n, Ord n, Hashable n) => FromJSON (Split n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (Split n) #

parseJSONList :: Value -> Parser [Split n] #

omittedField :: Maybe (Split n) #

Notation n => ToJSON (Split n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: Split n -> Value #

toEncoding :: Split n -> Encoding #

toJSONList :: [Split n] -> Value #

toEncodingList :: [Split n] -> Encoding #

omitField :: Split n -> Bool #

NFData n => NFData (Split n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: Split n -> () #

(Ord n, Hashable n) => Monoid (Split n) Source #

Instance details

Defined in PVGrammar

Methods

mempty :: Split n #

mappend :: Split n -> Split n -> Split n #

mconcat :: [Split n] -> Split n #

(Ord n, Hashable n) => Semigroup (Split n) Source #

Instance details

Defined in PVGrammar

Methods

(<>) :: Split n -> Split n -> Split n #

sconcat :: NonEmpty (Split n) -> Split n #

stimes :: Integral b => b -> Split n -> Split n #

Generic (Split n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (Split n)

Instance details

Defined in PVGrammar

Methods

from :: Split n -> Rep (Split n) x #

to :: Rep (Split n) x -> Split n #

Notation n => Show (Split n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> Split n -> ShowS #

show :: Split n -> String #

showList :: [Split n] -> ShowS #

Eq n => Eq (Split n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: Split n -> Split n -> Bool #

(/=) :: Split n -> Split n -> Bool #

Ord n => Ord (Split n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: Split n -> Split n -> Ordering #

(<) :: Split n -> Split n -> Bool #

(<=) :: Split n -> Split n -> Bool #

(>) :: Split n -> Split n -> Bool #

(>=) :: Split n -> Split n -> Bool #

max :: Split n -> Split n -> Split n #

min :: Split n -> Split n -> Split n #

type Rep (Split n) Source #

Instance details

Defined in PVGrammar

data DoubleOrnament Source #

Two-sided ornament types (two parents).

Constructors

FullNeighbor	a full neighbor note
FullRepeat	a repetition of both parents (which have the same pitch)
LeftRepeatOfRight	a repetition of the right parent
RightRepeatOfLeft	a repetitions of the left parent
RootNote	a note inserted at the top of the piece (between ⋊ and ⋉)

Instances

Instances details

FromJSON DoubleOrnament Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser DoubleOrnament #

parseJSONList :: Value -> Parser [DoubleOrnament] #

omittedField :: Maybe DoubleOrnament #

ToJSON DoubleOrnament Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: DoubleOrnament -> Value #

toEncoding :: DoubleOrnament -> Encoding #

toJSONList :: [DoubleOrnament] -> Value #

toEncodingList :: [DoubleOrnament] -> Encoding #

omitField :: DoubleOrnament -> Bool #

NFData DoubleOrnament Source #

Instance details

Defined in PVGrammar

Methods

rnf :: DoubleOrnament -> () #

Generic DoubleOrnament Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep DoubleOrnament

Instance details

Defined in PVGrammar

type Rep DoubleOrnament = D1 ('MetaData "DoubleOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) ((C1 ('MetaCons "FullNeighbor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FullRepeat" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LeftRepeatOfRight" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightRepeatOfLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RootNote" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: DoubleOrnament -> Rep DoubleOrnament x #

to :: Rep DoubleOrnament x -> DoubleOrnament #

Show DoubleOrnament Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> DoubleOrnament -> ShowS #

show :: DoubleOrnament -> String #

showList :: [DoubleOrnament] -> ShowS #

Eq DoubleOrnament Source #

Instance details

Defined in PVGrammar

Methods

(==) :: DoubleOrnament -> DoubleOrnament -> Bool #

(/=) :: DoubleOrnament -> DoubleOrnament -> Bool #

Ord DoubleOrnament Source #

Instance details

Defined in PVGrammar

Methods

compare :: DoubleOrnament -> DoubleOrnament -> Ordering #

(<) :: DoubleOrnament -> DoubleOrnament -> Bool #

(<=) :: DoubleOrnament -> DoubleOrnament -> Bool #

(>) :: DoubleOrnament -> DoubleOrnament -> Bool #

(>=) :: DoubleOrnament -> DoubleOrnament -> Bool #

max :: DoubleOrnament -> DoubleOrnament -> DoubleOrnament #

min :: DoubleOrnament -> DoubleOrnament -> DoubleOrnament #

type Rep DoubleOrnament Source #

Instance details

Defined in PVGrammar

type Rep DoubleOrnament = D1 ('MetaData "DoubleOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) ((C1 ('MetaCons "FullNeighbor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FullRepeat" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LeftRepeatOfRight" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightRepeatOfLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RootNote" 'PrefixI 'False) (U1 :: Type -> Type))))

isRepetitionOnLeft :: DoubleOrnament -> Bool Source #

Returns True if the child repeats the left parent

isRepetitionOnRight :: DoubleOrnament -> Bool Source #

Returns True if the child repeats the right parent

data PassingOrnament Source #

Types of passing notes (two parents).

Constructors

PassingMid	a connecting passing note (step to both parents)
PassingLeft	a step from the left parent
PassingRight	a step from the right parent

Instances

Instances details

FromJSON PassingOrnament Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser PassingOrnament #

parseJSONList :: Value -> Parser [PassingOrnament] #

omittedField :: Maybe PassingOrnament #

ToJSON PassingOrnament Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: PassingOrnament -> Value #

toEncoding :: PassingOrnament -> Encoding #

toJSONList :: [PassingOrnament] -> Value #

toEncodingList :: [PassingOrnament] -> Encoding #

omitField :: PassingOrnament -> Bool #

NFData PassingOrnament Source #

Instance details

Defined in PVGrammar

Methods

rnf :: PassingOrnament -> () #

Generic PassingOrnament Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep PassingOrnament
Instance details Defined in PVGrammar type Rep PassingOrnament = D1 ('MetaData "PassingOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "PassingMid" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PassingLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PassingRight" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PassingOrnament -> Rep PassingOrnament x #

to :: Rep PassingOrnament x -> PassingOrnament #

Show PassingOrnament Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> PassingOrnament -> ShowS #

show :: PassingOrnament -> String #

showList :: [PassingOrnament] -> ShowS #

Eq PassingOrnament Source #

Instance details

Defined in PVGrammar

Methods

(==) :: PassingOrnament -> PassingOrnament -> Bool #

(/=) :: PassingOrnament -> PassingOrnament -> Bool #

Ord PassingOrnament Source #

Instance details

Defined in PVGrammar

Methods

compare :: PassingOrnament -> PassingOrnament -> Ordering #

(<) :: PassingOrnament -> PassingOrnament -> Bool #

(<=) :: PassingOrnament -> PassingOrnament -> Bool #

(>) :: PassingOrnament -> PassingOrnament -> Bool #

(>=) :: PassingOrnament -> PassingOrnament -> Bool #

max :: PassingOrnament -> PassingOrnament -> PassingOrnament #

min :: PassingOrnament -> PassingOrnament -> PassingOrnament #

type Rep PassingOrnament Source #

Instance details

Defined in PVGrammar

type Rep PassingOrnament = D1 ('MetaData "PassingOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "PassingMid" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PassingLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PassingRight" 'PrefixI 'False) (U1 :: Type -> Type)))

data LeftOrnament Source #

Types of single-sided ornaments left of the parent (child-parent)

[ ] [p]
    /
  [c]

Constructors

LeftNeighbor	an incomplete left neighbor
LeftRepeat	an incomplete left repetition

Instances

Instances details

FromJSON LeftOrnament Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser LeftOrnament #

parseJSONList :: Value -> Parser [LeftOrnament] #

omittedField :: Maybe LeftOrnament #

ToJSON LeftOrnament Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: LeftOrnament -> Value #

toEncoding :: LeftOrnament -> Encoding #

toJSONList :: [LeftOrnament] -> Value #

toEncodingList :: [LeftOrnament] -> Encoding #

omitField :: LeftOrnament -> Bool #

NFData LeftOrnament Source #

Instance details

Defined in PVGrammar

Methods

rnf :: LeftOrnament -> () #

Generic LeftOrnament Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep LeftOrnament
Instance details Defined in PVGrammar type Rep LeftOrnament = D1 ('MetaData "LeftOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "LeftNeighbor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftRepeat" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: LeftOrnament -> Rep LeftOrnament x #

to :: Rep LeftOrnament x -> LeftOrnament #

Show LeftOrnament Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> LeftOrnament -> ShowS #

show :: LeftOrnament -> String #

showList :: [LeftOrnament] -> ShowS #

Eq LeftOrnament Source #

Instance details

Defined in PVGrammar

Methods

(==) :: LeftOrnament -> LeftOrnament -> Bool #

(/=) :: LeftOrnament -> LeftOrnament -> Bool #

Ord LeftOrnament Source #

Instance details

Defined in PVGrammar

Methods

compare :: LeftOrnament -> LeftOrnament -> Ordering #

(<) :: LeftOrnament -> LeftOrnament -> Bool #

(<=) :: LeftOrnament -> LeftOrnament -> Bool #

(>) :: LeftOrnament -> LeftOrnament -> Bool #

(>=) :: LeftOrnament -> LeftOrnament -> Bool #

max :: LeftOrnament -> LeftOrnament -> LeftOrnament #

min :: LeftOrnament -> LeftOrnament -> LeftOrnament #

type Rep LeftOrnament Source #

Instance details

Defined in PVGrammar

type Rep LeftOrnament = D1 ('MetaData "LeftOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "LeftNeighbor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftRepeat" 'PrefixI 'False) (U1 :: Type -> Type))

data RightOrnament Source #

Types of single-sided ornaments right of the parent (parent--child).

[p] [ ]
  \
  [c]

Constructors

RightNeighbor	an incomplete right neighbor
RightRepeat	an incomplete right repetition

Instances

Instances details

FromJSON RightOrnament Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser RightOrnament #

parseJSONList :: Value -> Parser [RightOrnament] #

omittedField :: Maybe RightOrnament #

ToJSON RightOrnament Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: RightOrnament -> Value #

toEncoding :: RightOrnament -> Encoding #

toJSONList :: [RightOrnament] -> Value #

toEncodingList :: [RightOrnament] -> Encoding #

omitField :: RightOrnament -> Bool #

NFData RightOrnament Source #

Instance details

Defined in PVGrammar

Methods

rnf :: RightOrnament -> () #

Generic RightOrnament Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep RightOrnament
Instance details Defined in PVGrammar type Rep RightOrnament = D1 ('MetaData "RightOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "RightNeighbor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightRepeat" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: RightOrnament -> Rep RightOrnament x #

to :: Rep RightOrnament x -> RightOrnament #

Show RightOrnament Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> RightOrnament -> ShowS #

show :: RightOrnament -> String #

showList :: [RightOrnament] -> ShowS #

Eq RightOrnament Source #

Instance details

Defined in PVGrammar

Methods

(==) :: RightOrnament -> RightOrnament -> Bool #

(/=) :: RightOrnament -> RightOrnament -> Bool #

Ord RightOrnament Source #

Instance details

Defined in PVGrammar

Methods

compare :: RightOrnament -> RightOrnament -> Ordering #

(<) :: RightOrnament -> RightOrnament -> Bool #

(<=) :: RightOrnament -> RightOrnament -> Bool #

(>) :: RightOrnament -> RightOrnament -> Bool #

(>=) :: RightOrnament -> RightOrnament -> Bool #

max :: RightOrnament -> RightOrnament -> RightOrnament #

min :: RightOrnament -> RightOrnament -> RightOrnament #

type Rep RightOrnament Source #

Instance details

Defined in PVGrammar

type Rep RightOrnament = D1 ('MetaData "RightOrnament" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "RightNeighbor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightRepeat" 'PrefixI 'False) (U1 :: Type -> Type))

Spread

data Spread n Source #

Represents a spread operation. Records for every pitch how it is distributed (see SpreadDirection). The resulting edges (repetitions and passing edges) are represented in a child transition.

Constructors

SpreadOp !(HashMap (Note n) (SpreadChildren n)) !(Edges n)

Instances

Instances details

(Notation n, Eq n, Hashable n) => FromJSON (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (Spread n) #

parseJSONList :: Value -> Parser [Spread n] #

omittedField :: Maybe (Spread n) #

Notation n => ToJSON (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: Spread n -> Value #

toEncoding :: Spread n -> Encoding #

toJSONList :: [Spread n] -> Value #

toEncodingList :: [Spread n] -> Encoding #

omitField :: Spread n -> Bool #

NFData n => NFData (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: Spread n -> () #

Generic (Spread n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (Spread n)

Instance details

Defined in PVGrammar

type Rep (Spread n) = D1 ('MetaData "Spread" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "SpreadOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HashMap (Note n) (SpreadChildren n))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Edges n))))

Methods

from :: Spread n -> Rep (Spread n) x #

to :: Rep (Spread n) x -> Spread n #

Notation n => Show (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> Spread n -> ShowS #

show :: Spread n -> String #

showList :: [Spread n] -> ShowS #

Eq n => Eq (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: Spread n -> Spread n -> Bool #

(/=) :: Spread n -> Spread n -> Bool #

Ord n => Ord (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: Spread n -> Spread n -> Ordering #

(<) :: Spread n -> Spread n -> Bool #

(<=) :: Spread n -> Spread n -> Bool #

(>) :: Spread n -> Spread n -> Bool #

(>=) :: Spread n -> Spread n -> Bool #

max :: Spread n -> Spread n -> Spread n #

min :: Spread n -> Spread n -> Spread n #

Hashable n => Hashable (Spread n) Source #

Instance details

Defined in PVGrammar

Methods

hashWithSalt :: Int -> Spread n -> Int #

hash :: Spread n -> Int #

type Rep (Spread n) Source #

Instance details

Defined in PVGrammar

type Rep (Spread n) = D1 ('MetaData "Spread" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "SpreadOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HashMap (Note n) (SpreadChildren n))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Edges n))))

data SpreadChildren n Source #

Represents the children of a note that is spread out.

A note can be distributed to either or both sub-slice.

Constructors

SpreadLeftChild !(Note n)	a single child in the left slice
SpreadRightChild !(Note n)	a single child in the right slice
SpreadBothChildren !(Note n) !(Note n)	two children, on in each slice

Instances

Instances details

Functor SpreadChildren Source #

Instance details

Defined in PVGrammar

Methods

fmap :: (a -> b) -> SpreadChildren a -> SpreadChildren b #

(<$) :: a -> SpreadChildren b -> SpreadChildren a #

Foldable SpreadChildren Source #

Instance details

Defined in PVGrammar

Methods

fold :: Monoid m => SpreadChildren m -> m #

foldMap :: Monoid m => (a -> m) -> SpreadChildren a -> m #

foldMap' :: Monoid m => (a -> m) -> SpreadChildren a -> m #

foldr :: (a -> b -> b) -> b -> SpreadChildren a -> b #

foldr' :: (a -> b -> b) -> b -> SpreadChildren a -> b #

foldl :: (b -> a -> b) -> b -> SpreadChildren a -> b #

foldl' :: (b -> a -> b) -> b -> SpreadChildren a -> b #

foldr1 :: (a -> a -> a) -> SpreadChildren a -> a #

foldl1 :: (a -> a -> a) -> SpreadChildren a -> a #

toList :: SpreadChildren a -> [a] #

null :: SpreadChildren a -> Bool #

length :: SpreadChildren a -> Int #

elem :: Eq a => a -> SpreadChildren a -> Bool #

maximum :: Ord a => SpreadChildren a -> a #

minimum :: Ord a => SpreadChildren a -> a #

sum :: Num a => SpreadChildren a -> a #

product :: Num a => SpreadChildren a -> a #

Traversable SpreadChildren Source #

Instance details

Defined in PVGrammar

Methods

traverse :: Applicative f => (a -> f b) -> SpreadChildren a -> f (SpreadChildren b) #

sequenceA :: Applicative f => SpreadChildren (f a) -> f (SpreadChildren a) #

mapM :: Monad m => (a -> m b) -> SpreadChildren a -> m (SpreadChildren b) #

sequence :: Monad m => SpreadChildren (m a) -> m (SpreadChildren a) #

Notation n => FromJSON (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

parseJSON :: Value -> Parser (SpreadChildren n) #

parseJSONList :: Value -> Parser [SpreadChildren n] #

omittedField :: Maybe (SpreadChildren n) #

Notation n => ToJSON (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

toJSON :: SpreadChildren n -> Value #

toEncoding :: SpreadChildren n -> Encoding #

toJSONList :: [SpreadChildren n] -> Value #

toEncodingList :: [SpreadChildren n] -> Encoding #

omitField :: SpreadChildren n -> Bool #

NFData n => NFData (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

rnf :: SpreadChildren n -> () #

Generic (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Associated Types

type Rep (SpreadChildren n)

Instance details

Defined in PVGrammar

type Rep (SpreadChildren n) = D1 ('MetaData "SpreadChildren" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "SpreadLeftChild" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n))) :+: (C1 ('MetaCons "SpreadRightChild" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n))) :+: C1 ('MetaCons "SpreadBothChildren" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n)))))

Methods

from :: SpreadChildren n -> Rep (SpreadChildren n) x #

to :: Rep (SpreadChildren n) x -> SpreadChildren n #

Notation n => Show (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

showsPrec :: Int -> SpreadChildren n -> ShowS #

show :: SpreadChildren n -> String #

showList :: [SpreadChildren n] -> ShowS #

Eq n => Eq (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

(==) :: SpreadChildren n -> SpreadChildren n -> Bool #

(/=) :: SpreadChildren n -> SpreadChildren n -> Bool #

Ord n => Ord (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

compare :: SpreadChildren n -> SpreadChildren n -> Ordering #

(<) :: SpreadChildren n -> SpreadChildren n -> Bool #

(<=) :: SpreadChildren n -> SpreadChildren n -> Bool #

(>) :: SpreadChildren n -> SpreadChildren n -> Bool #

(>=) :: SpreadChildren n -> SpreadChildren n -> Bool #

max :: SpreadChildren n -> SpreadChildren n -> SpreadChildren n #

min :: SpreadChildren n -> SpreadChildren n -> SpreadChildren n #

Hashable n => Hashable (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

Methods

hashWithSalt :: Int -> SpreadChildren n -> Int #

hash :: SpreadChildren n -> Int #

type Rep (SpreadChildren n) Source #

Instance details

Defined in PVGrammar

type Rep (SpreadChildren n) = D1 ('MetaData "SpreadChildren" "PVGrammar" "protovoices-0.1.0.0-BDEUxFN8Fm0COc6pAhx3U0" 'False) (C1 ('MetaCons "SpreadLeftChild" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n))) :+: (C1 ('MetaCons "SpreadRightChild" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n))) :+: C1 ('MetaCons "SpreadBothChildren" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Note n)))))

leftSpreadChild :: SpreadChildren n -> Maybe (Note n) Source #

Returns the left child of a spread note, if it exists

rightSpreadChild :: SpreadChildren n -> Maybe (Note n) Source #

Returns the right child of a spread note, if it exists

Derivations

type PVLeftmost n = Leftmost (Split n) (Freeze n) (Spread n) Source #

Leftmost specialized to the split, freeze, and spread operations of the grammar.

type PVAnalysis n = Analysis (Split n) (Freeze n) (Spread n) (Edges n) (Notes n) Source #

An Analysis specialized to PV types.

analysisTraversePitch :: (Applicative f, Eq n', Hashable n', Ord n') => (n -> f n') -> PVAnalysis n -> f (PVAnalysis n') Source #

Apply an applicative action to all pitches in an analysis.

analysisMapPitch :: (Eq n', Hashable n', Ord n') => (n -> n') -> PVAnalysis n -> PVAnalysis n' Source #

Map a function over all pitches in an analysis.

Loading Files

loadAnalysis :: FilePath -> IO (Either String (PVAnalysis SPitch)) Source #

Loads an analysis from a JSON file (as exported by the annotation tool).

loadAnalysis' :: FilePath -> IO (Either String (PVAnalysis SPC)) Source #

Loads an analysis from a JSON file (as exported by the annotation tool). Converts all pitches to pitch classes.

slicesFromFile :: FilePath -> IO [[(Note SPitch, RightTied)]] Source #

Loads a MusicXML file and returns a list of salami slices. Each note is expressed as a pitch and a flag that indicates whether the note continues in the next slice.

slicesToPath :: (Interval i, Ord i, Eq i) => [[(Note (Pitch i), RightTied)]] -> Path [Note (Pitch i)] [Edge (Pitch i)] Source #

Converts salami slices (as returned by slicesFromFile) to a path as expected by parsers.

loadSurface :: FilePath -> IO (Path [Note SPitch] [Edge SPitch]) Source #

Loads a MusicXML File and returns a surface path as input to parsers.

loadSurface' Source #

Arguments

:: FilePath	path to a MusicXML file
-> Int	the first slice to include (starting at 0)
-> Int	the last slice to include
-> IO (Path [Note SPitch] [Edge SPitch])

Loads a MusicXML File and returns a surface path of the given range of slices.