Safe Haskell	Safe-Inferred

Derive.TScore.T

Contents

Score
error

Description

Shared types for TScore.

Synopsis

newtype Time = Time Rational
newtype Score = Score [(Pos, Toplevel)]
data Toplevel
- = ToplevelDirective !Directive
- | BlockDefinition !(Block WrappedTracks)
data Block tracks = Block {
- block_id :: !Id.BlockId
- block_directives :: ![Directive]
- block_title :: !Text
- block_tracks :: !tracks
}
data WrappedTracks = WrappedTracks !Pos ![Tracks Call]
newtype Tracks call = Tracks [Track call]
untracks :: Tracks call -> [Track call]
data Track call = Track {
- track_key :: !Text
- track_title :: !Text
- track_directives :: ![Directive]
- track_tokens :: ![Token call (NPitch Pitch) NDuration Duration]
- track_pos :: !Pos
}
data Directive = Directive !Pos !Text !(Maybe Text)
data Token call pitch ndur rdur
- = TBarline !Pos !Barline
- | TNote !Pos !(Note call pitch ndur)
- | TRest !Pos !(Rest rdur)
token_pos :: Token call pitch ndur rdur -> Pos
token_name :: Token call pitch ndur rdur -> Text
map_call :: (call1 -> call2) -> Token call1 pitch ndur rdur -> Token call2 pitch ndur rdur
map_pitch :: Applicative m => (pitch1 -> m pitch2) -> Token call pitch1 ndur rdur -> m (Token call pitch2 ndur rdur)
map_note_duration :: Applicative m => (dur1 -> m dur2) -> Token call pitch dur1 rdur -> m (Token call pitch dur2 rdur)
map_note :: Applicative m => (Note call1 pitch1 ndur -> m (Note call2 pitch2 ndur)) -> Token call1 pitch1 ndur rdur -> m (Token call2 pitch2 ndur rdur)
type Rank = Int
data Barline
- = Barline Rank
- | AssertCoincident
data Note call pitch dur = Note {
- note_call :: !call
- note_pitch :: !pitch
- note_zero_duration :: !Bool
- note_duration :: !dur
- note_pos :: !Pos
}
data Call
- = Call !CallText
- | SubBlock !CallText ![Tracks Call]
type CallText = Text
newtype Rest dur = Rest dur
data NPitch pitch
- = CopyFrom
- | NPitch !pitch
data Pitch = Pitch {
- pitch_octave :: !Octave
- pitch_call :: !Text
}
type PitchText = Text
data Octave
- = Absolute !Int
- | Relative !Int
data NDuration
- = NDuration !Duration
- | CallDuration
data Duration = Duration {
- dur_int1 :: !(Maybe Int)
- dur_int2 :: !(Maybe Int)
- dur_dots :: !Int
- dur_tie :: !Bool
}
newtype Pos = Pos Int
data Error = Error !Pos !Text
show_error :: Text -> Error -> Text
find_pos :: Text -> Pos -> Maybe (Int, Int, Text)

Documentation

newtype Time Source #

This is the default "beat".

Constructors

Time Rational

Instances

Instances details

Enum Time Source #
Instance details Defined in Derive.TScore.T Methods succ :: Time -> Time # pred :: Time -> Time # toEnum :: Int -> Time # fromEnum :: Time -> Int # enumFrom :: Time -> [Time] # enumFromThen :: Time -> Time -> [Time] # enumFromTo :: Time -> Time -> [Time] # enumFromThenTo :: Time -> Time -> Time -> [Time] #
Num Time Source #
Instance details Defined in Derive.TScore.T Methods (+) :: Time -> Time -> Time # (-) :: Time -> Time -> Time # (*) :: Time -> Time -> Time # negate :: Time -> Time # abs :: Time -> Time # signum :: Time -> Time # fromInteger :: Integer -> Time #
Fractional Time Source #
Instance details Defined in Derive.TScore.T Methods (/) :: Time -> Time -> Time # recip :: Time -> Time # fromRational :: Rational -> Time #
Real Time Source #
Instance details Defined in Derive.TScore.T Methods toRational :: Time -> Rational #
RealFrac Time Source #
Instance details Defined in Derive.TScore.T Methods properFraction :: Integral b => Time -> (b, Time) # truncate :: Integral b => Time -> b # round :: Integral b => Time -> b # ceiling :: Integral b => Time -> b # floor :: Integral b => Time -> b #
Show Time Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String.String # showList :: [Time] -> ShowS #
Eq Time Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Ord Time Source #
Instance details Defined in Derive.TScore.T Methods compare :: Time -> Time -> Ordering # (<) :: Time -> Time -> Bool # (<=) :: Time -> Time -> Bool # (>) :: Time -> Time -> Bool # (>=) :: Time -> Time -> Bool # max :: Time -> Time -> Time # min :: Time -> Time -> Time #
Pretty Time Source #
Instance details Defined in Derive.TScore.T Methods pretty :: Time -> Text Source # format :: Time -> Doc Source # formatList :: [Time] -> Doc Source #
Pretty (Note CallText (Maybe Text) Time) Source #	This is the output from Check.check.
Instance details Defined in Derive.TScore.Parse Methods pretty :: Note CallText (Maybe Text) Time -> Text Source # format :: Note CallText (Maybe Text) Time -> Doc Source # formatList :: [Note CallText (Maybe Text) Time] -> Doc Source #

Score

newtype Score Source #

Constructors

Score [(Pos, Toplevel)]

Instances

Instances details

Show Score Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Score -> ShowS # show :: Score -> String.String # showList :: [Score] -> ShowS #
Eq Score Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Score -> Score -> Bool # (/=) :: Score -> Score -> Bool #

data Toplevel Source #

Constructors

ToplevelDirective !Directive
BlockDefinition !(Block WrappedTracks)

Instances

Instances details

Show Toplevel Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Toplevel -> ShowS # show :: Toplevel -> String.String # showList :: [Toplevel] -> ShowS #
Eq Toplevel Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Toplevel -> Toplevel -> Bool # (/=) :: Toplevel -> Toplevel -> Bool #

data Block tracks Source #

call is a parameter, because SubBlock will later be resolved to CallText.

Constructors

Block
Fields block_id :: !Id.BlockId block_directives :: ![Directive] block_title :: !Text block_tracks :: !tracks

Instances

Instances details

Show tracks => Show (Block tracks) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Block tracks -> ShowS # show :: Block tracks -> String.String # showList :: [Block tracks] -> ShowS #
Eq tracks => Eq (Block tracks) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Block tracks -> Block tracks -> Bool # (/=) :: Block tracks -> Block tracks -> Bool #

data WrappedTracks Source #

Constructors

WrappedTracks !Pos ![Tracks Call]

Instances

Instances details

Show WrappedTracks Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> WrappedTracks -> ShowS # show :: WrappedTracks -> String.String # showList :: [WrappedTracks] -> ShowS #
Eq WrappedTracks Source #
Instance details Defined in Derive.TScore.T Methods (==) :: WrappedTracks -> WrappedTracks -> Bool # (/=) :: WrappedTracks -> WrappedTracks -> Bool #

newtype Tracks call Source #

Constructors

Tracks [Track call]

Instances

Instances details

Show call => Show (Tracks call) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Tracks call -> ShowS # show :: Tracks call -> String.String # showList :: [Tracks call] -> ShowS #
Eq call => Eq (Tracks call) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Tracks call -> Tracks call -> Bool # (/=) :: Tracks call -> Tracks call -> Bool #

untracks :: Tracks call -> [Track call] Source #

data Track call Source #

Constructors

Track

Fields

track_key :: !Text
Some arbitrary symbols. This has no meaning except to make the track with its title unique on this block. This is so that tracks have an identity, and I can detect track moves, adds, and deletes.
track_title :: !Text
The track title will include a > if the original syntax did, or be "" if the track has no title at all, which is only possible for the first one, e.g. [a] or [a > b]. This way unparse can emit the same abbreviated syntax.
track_directives :: ![Directive]
track_tokens :: ![Token call (NPitch Pitch) NDuration Duration]
track_pos :: !Pos

Instances

Instances details

Show call => Show (Track call) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Track call -> ShowS # show :: Track call -> String.String # showList :: [Track call] -> ShowS #
Eq call => Eq (Track call) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Track call -> Track call -> Bool # (/=) :: Track call -> Track call -> Bool #

data Directive Source #

Constructors

Directive !Pos !Text !(Maybe Text)

Instances

Instances details

Show Directive Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String.String # showList :: [Directive] -> ShowS #
Eq Directive Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Directive -> Directive -> Bool # (/=) :: Directive -> Directive -> Bool #

data Token call pitch ndur rdur Source #

Constructors

TBarline !Pos !Barline	Higher count for larger divisions, e.g. anga vs. avartanam.
TNote !Pos !(Note call pitch ndur)
TRest !Pos !(Rest rdur)

Instances

Instances details

(Show call, Show pitch, Show ndur, Show rdur) => Show (Token call pitch ndur rdur) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Token call pitch ndur rdur -> ShowS # show :: Token call pitch ndur rdur -> String.String # showList :: [Token call pitch ndur rdur] -> ShowS #
(Eq call, Eq pitch, Eq ndur, Eq rdur) => Eq (Token call pitch ndur rdur) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Token call pitch ndur rdur -> Token call pitch ndur rdur -> Bool # (/=) :: Token call pitch ndur rdur -> Token call pitch ndur rdur -> Bool #
Pretty (Token CallText Pitch NDuration Duration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Token CallText Pitch NDuration Duration -> Text Source # format :: Token CallText Pitch NDuration Duration -> Doc Source # formatList :: [Token CallText Pitch NDuration Duration] -> Doc Source #

token_pos :: Token call pitch ndur rdur -> Pos Source #

token_name :: Token call pitch ndur rdur -> Text Source #

map_call :: (call1 -> call2) -> Token call1 pitch ndur rdur -> Token call2 pitch ndur rdur Source #

map_pitch :: Applicative m => (pitch1 -> m pitch2) -> Token call pitch1 ndur rdur -> m (Token call pitch2 ndur rdur) Source #

map_note_duration :: Applicative m => (dur1 -> m dur2) -> Token call pitch dur1 rdur -> m (Token call pitch dur2 rdur) Source #

map_note :: Applicative m => (Note call1 pitch1 ndur -> m (Note call2 pitch2 ndur)) -> Token call1 pitch1 ndur rdur -> m (Token call2 pitch2 ndur rdur) Source #

type Rank = Int Source #

Opposite from Ruler.Rank, higher numbers mean larger divisions.

data Barline Source #

Constructors

Barline Rank
AssertCoincident

Instances

Instances details

Show Barline Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Barline -> ShowS # show :: Barline -> String.String # showList :: [Barline] -> ShowS #
Eq Barline Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Barline -> Barline -> Bool # (/=) :: Barline -> Barline -> Bool #
Pretty Barline Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Barline -> Text Source # format :: Barline -> Doc Source # formatList :: [Barline] -> Doc Source #

data Note call pitch dur Source #

Constructors

Note
Fields note_call :: !call note_pitch :: !pitch note_zero_duration :: !Bool The generated event should have 0 duration. note_duration :: !dur note_pos :: !Pos This is redundant with `TNote`s Pos, but convenient, since Check will later strip away `Token`s.

Instances

Instances details

(Show call, Show pitch, Show dur) => Show (Note call pitch dur) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Note call pitch dur -> ShowS # show :: Note call pitch dur -> String.String # showList :: [Note call pitch dur] -> ShowS #
(Eq call, Eq pitch, Eq dur) => Eq (Note call pitch dur) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Note call pitch dur -> Note call pitch dur -> Bool # (/=) :: Note call pitch dur -> Note call pitch dur -> Bool #
Pretty (Note CallText Pitch NDuration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Note CallText Pitch NDuration -> Text Source # format :: Note CallText Pitch NDuration -> Doc Source # formatList :: [Note CallText Pitch NDuration] -> Doc Source #
Pretty (Note CallText (Maybe Text) Time) Source #	This is the output from Check.check.
Instance details Defined in Derive.TScore.Parse Methods pretty :: Note CallText (Maybe Text) Time -> Text Source # format :: Note CallText (Maybe Text) Time -> Doc Source # formatList :: [Note CallText (Maybe Text) Time] -> Doc Source #

data Call Source #

Constructors

Call !CallText
SubBlock !CallText ![Tracks Call]	A call can take multiple `Tracks` arguments, each one of which is a sub-block.

Instances

Instances details

String.IsString Call Source #
Instance details Defined in Derive.TScore.T Methods fromString :: String.String -> Call #
Show Call Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Call -> ShowS # show :: Call -> String.String # showList :: [Call] -> ShowS #
Eq Call Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Call -> Call -> Bool # (/=) :: Call -> Call -> Bool #
Pretty Call Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Call -> Text Source # format :: Call -> Doc Source # formatList :: [Call] -> Doc Source #

type CallText = Text Source #

Tracklang expression. This goes into the event text.

newtype Rest dur Source #

Constructors

Rest dur

Instances

Instances details

Show dur => Show (Rest dur) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Rest dur -> ShowS # show :: Rest dur -> String.String # showList :: [Rest dur] -> ShowS #
Eq dur => Eq (Rest dur) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Rest dur -> Rest dur -> Bool # (/=) :: Rest dur -> Rest dur -> Bool #
Pretty (Rest Duration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Rest Duration -> Text Source # format :: Rest Duration -> Doc Source # formatList :: [Rest Duration] -> Doc Source #

data NPitch pitch Source #

Constructors

CopyFrom
NPitch !pitch

Instances

Instances details

Show pitch => Show (NPitch pitch) Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> NPitch pitch -> ShowS # show :: NPitch pitch -> String.String # showList :: [NPitch pitch] -> ShowS #
Eq pitch => Eq (NPitch pitch) Source #
Instance details Defined in Derive.TScore.T Methods (==) :: NPitch pitch -> NPitch pitch -> Bool # (/=) :: NPitch pitch -> NPitch pitch -> Bool #
Pretty pitch => Pretty (NPitch pitch) Source #
Instance details Defined in Derive.TScore.T Methods pretty :: NPitch pitch -> Text Source # format :: NPitch pitch -> Doc Source # formatList :: [NPitch pitch] -> Doc Source #

data Pitch Source #

Constructors

Pitch
Fields pitch_octave :: !Octave pitch_call :: !Text

Instances

Instances details

Show Pitch Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Pitch -> ShowS # show :: Pitch -> String.String # showList :: [Pitch] -> ShowS #
Eq Pitch Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Pitch -> Pitch -> Bool # (/=) :: Pitch -> Pitch -> Bool #
Pretty Pitch Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Pitch -> Text Source # format :: Pitch -> Doc Source # formatList :: [Pitch] -> Doc Source #
Pretty (Note CallText Pitch NDuration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Note CallText Pitch NDuration -> Text Source # format :: Note CallText Pitch NDuration -> Doc Source # formatList :: [Note CallText Pitch NDuration] -> Doc Source #
Pretty (Token CallText Pitch NDuration Duration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Token CallText Pitch NDuration Duration -> Text Source # format :: Token CallText Pitch NDuration Duration -> Doc Source # formatList :: [Token CallText Pitch NDuration Duration] -> Doc Source #

type PitchText = Text Source #

data Octave Source #

Constructors

Absolute !Int
Relative !Int

Instances

Instances details

Show Octave Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Octave -> ShowS # show :: Octave -> String.String # showList :: [Octave] -> ShowS #
Eq Octave Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Octave -> Octave -> Bool # (/=) :: Octave -> Octave -> Bool #
Pretty Octave Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Octave -> Text Source # format :: Octave -> Doc Source # formatList :: [Octave] -> Doc Source #

data NDuration Source #

Constructors

NDuration !Duration
CallDuration

Instances

Instances details

Show NDuration Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> NDuration -> ShowS # show :: NDuration -> String.String # showList :: [NDuration] -> ShowS #
Eq NDuration Source #
Instance details Defined in Derive.TScore.T Methods (==) :: NDuration -> NDuration -> Bool # (/=) :: NDuration -> NDuration -> Bool #
Pretty (Note CallText Pitch NDuration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Note CallText Pitch NDuration -> Text Source # format :: Note CallText Pitch NDuration -> Doc Source # formatList :: [Note CallText Pitch NDuration] -> Doc Source #
Pretty (Token CallText Pitch NDuration Duration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Token CallText Pitch NDuration Duration -> Text Source # format :: Token CallText Pitch NDuration Duration -> Doc Source # formatList :: [Token CallText Pitch NDuration Duration] -> Doc Source #

data Duration Source #

Constructors

Duration
Fields dur_int1 :: !(Maybe Int) Durations are specified as two optional integers: int1, or int1:int2. The interpretation is up to the dur Directive. dur_int2 :: !(Maybe Int) dur_dots :: !Int dur_tie :: !Bool

Instances

Instances details

Show Duration Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Duration -> ShowS # show :: Duration -> String.String # showList :: [Duration] -> ShowS #
Eq Duration Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Duration -> Duration -> Bool # (/=) :: Duration -> Duration -> Bool #
Pretty (Rest Duration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Rest Duration -> Text Source # format :: Rest Duration -> Doc Source # formatList :: [Rest Duration] -> Doc Source #
Pretty (Token CallText Pitch NDuration Duration) Source #
Instance details Defined in Derive.TScore.Parse Methods pretty :: Token CallText Pitch NDuration Duration -> Text Source # format :: Token CallText Pitch NDuration Duration -> Doc Source # formatList :: [Token CallText Pitch NDuration Duration] -> Doc Source #

error

newtype Pos Source #

Character position in the input.

Constructors

Pos Int

Instances

Instances details

Show Pos Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String.String # showList :: [Pos] -> ShowS #
Eq Pos Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Pretty Pos Source #
Instance details Defined in Derive.TScore.T Methods pretty :: Pos -> Text Source # format :: Pos -> Doc Source # formatList :: [Pos] -> Doc Source #

data Error Source #

Constructors

Error !Pos !Text

Instances

Instances details

Show Error Source #
Instance details Defined in Derive.TScore.T Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String.String # showList :: [Error] -> ShowS #
Eq Error Source #
Instance details Defined in Derive.TScore.T Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Pretty Error Source #
Instance details Defined in Derive.TScore.T Methods pretty :: Error -> Text Source # format :: Error -> Doc Source # formatList :: [Error] -> Doc Source #

show_error :: Text -> Error -> Text Source #

find_pos :: Text -> Pos -> Maybe (Int, Int, Text) Source #

Find the line and position on that line.