Data.Abc

type AbcTune = { body :: TuneBody, headers :: TuneHeaders }

A Tune.

type TuneHeaders = List Header

A List of Tune Headers.

type TuneBody = List BodyPart

A Tune Body.

data BodyPart

A Tune Body part

Constructors

• Score (List Bar)
• BodyInfo Header

type MusicLine = List Music

A line of musical within a bar.

data Header

An ABC Tune Header.

Constructors

• Area String
• Book String
• Composer String
• Discography String
• FileUrl String
• Group String
• History String
• Instruction String
• Key ModifiedKeySignature
• UnitNoteLength NoteDuration
• Meter (Maybe TimeSignature)
• Macro String
• Notes String
• Origin String
• Parts String
• Tempo TempoSignature
• Rhythm String
• Remark String
• Source String
• SymbolLine String
• Title String
• UserDefined String
• Voice VoiceDescription
• WordsAfter String
• WordsAligned String
• ReferenceNumber (Maybe Int)
• Transcription String
• FieldContinuation String
• Comment String
• UnsupportedHeader

data Music

The 'score' part of Music.

Constructors

• Note GraceableNote
• BrokenRhythmPair GraceableNote Broken GraceableNote
• Rest AbcRest
• Tuplet AbcTuplet
• DecoratedSpace (List String)
• Annotation AnnotationPlacement String
• ChordSymbol SymbolDefinition
• Chord AbcChord
• Inline Header
• Spacer Int
• Ignore
• Continuation String

type AbcRest = { duration :: NoteDuration }

A Rest.

type AbcNote = { accidental :: Accidental, duration :: NoteDuration, octave :: Int, pitchClass :: PitchClass, tied :: Boolean }

A Note.

type Grace = { isAcciaccatura :: Boolean, notes :: NonEmptyList AbcNote }

a set of one or more grace notes

type GraceableNote = { abcNote :: AbcNote, decorations :: List String, leftSlurs :: Int, maybeGrace :: Maybe Grace, rightSlurs :: Int }

A (possibly) Graced and Decorated Note.

type AbcChord = { decorations :: List String, duration :: NoteDuration, leftSlurs :: Int, notes :: NonEmptyList AbcNote, rightSlurs :: Int }

A Chord.

type RestOrNote = Either AbcRest GraceableNote

either a Rest or a Note.

type AbcTuplet = { leftSlurs :: Int, maybeGrace :: Maybe Grace, restsOrNotes :: NonEmptyList RestOrNote, signature :: TupletSignature }

A Tuplet

type Bar = { decorations :: List String, music :: List Music, startLine :: BarLine }

A music phrase is contained within a Bar which is a set of music items introduced by a bar line

type BarLine = { endRepeats :: Int, iteration :: Maybe (NonEmptyList Volta), startRepeats :: Int, thickness :: Thickness }

A Bar Line:

data Thickness

A bar line Thickness.

Constructors

• Thin
• ThinThin
• ThinThick
• ThickThin
• Invisible

Instances

• Show Thickness
• Eq Thickness

data Volta

a Volta - a repeated section

Constructors

• Volta Int
• VoltaRange Int Int

Instances

• Generic Volta _
• Show Volta
• Eq Volta

type NoteDuration = Rational

A Note Duration - e.g. 1/4.

type KeySignature = { accidental :: Accidental, mode :: Mode, pitchClass :: PitchClass }

A Key Signature.

type ModifiedKeySignature = { keySignature :: KeySignature, modifications :: List Pitch, properties :: AmorphousProperties }

A Key Signature with modifications (possibly empty) This is used for non-diatonicrepeatS modes where intervals may be greater than two semitones (for example as found in Klezmer).

data Pitch

A Key Accidental is represented by a Pitch (A modification to a standard key for one pitch in the scale). (we're not allowed to derive instances on record types unless we use newtype)

Constructors

• Pitch { accidental :: Accidental, pitchClass :: PitchClass }

Instances

• Generic Pitch _
• Eq Pitch
• Ord Pitch
• Show Pitch

type KeySet = List Pitch

A set of pitches within a key signature or scale

type TempoSignature = { bpm :: Int, marking :: Maybe String, noteLengths :: NonEmptyList Rational }

A Tempo Signature - for example:

type TimeSignature = { denominator :: Int, numerator :: Int }

A Time Signature - e.g. 3/4.

type TupletSignature = { p :: Int, q :: Int, r :: Int }

A tuplet signature: put p notes into the time of q the next r notes.

data AnnotationPlacement

An Annotation placement.

Constructors

• AboveNextSymbol
• BelowNextSymbol
• LeftOfNextSymbol
• RightOfNextSymbol
• Discretional

Instances

• Show AnnotationPlacement

data Mode

A Mode.

Constructors

• Major
• Minor
• Ionian
• Dorian
• Phrygian
• Lydian
• Mixolydian
• Aeolian
• Locrian

Instances

• Show Mode
• Eq Mode

data Accidental

An Accidental.

Constructors

• Sharp
• Flat
• DoubleSharp
• DoubleFlat
• Natural
• Implicit

Instances

• Show Accidental
• Eq Accidental
• Ord Accidental
• Generic Accidental _

data PitchClass

A white note on the piano.

Constructors

• A
• B
• C
• D
• E
• F
• G

Instances

• Show PitchClass
• Eq PitchClass
• Ord PitchClass
• Enum PitchClass
• Generic PitchClass _

type SymbolDefinition = { duration :: Maybe NoteDuration, name :: String }

A Chord Symbol definition. Note that in ABC, this is merely a free-format string with recommendations in the spec of how it might be properly formatted. We include an optional duration. This is ignored by the parser but can act as a placeholder for applications such as players to calculate a duration.

data Broken

A broken rhythm operator - one or more < or >.-}

Constructors

• LeftArrow Int
• RightArrow Int

type VoiceDescription = { id :: String, properties :: AmorphousProperties }

voice description

type AmorphousProperties = Map String String

we stringly-type any header properties that we don't particularly care about

middlecOctave :: Int

The octave number of middle C in MIDI parlance.