Safe Haskell	Safe-Inferred

Derive.TScore.Check

Description

Post-process T.Tokens. Check barlines, resolve ties, etc.

Synopsis

data Config = Config {
- config_meter :: !Meter
- config_scale :: !Scale
- config_duration :: !DurationMode
- config_from :: !(Maybe.Maybe From)
- config_negative :: !Bool
- config_instruments :: ![Instruments.Allocation]
- config_ky :: !Text
}
default_config :: Config
data Scope
- = Global
- | Block
- | Track
data From = From {
- from_block :: !(Maybe.Maybe Id.BlockId)
- from_tracknum :: !TrackNum
- from_pos :: !T.Pos
}
data AssertCoincident = AssertCoincident !T.Time !T.Pos
parse_directive :: Scope -> T.Directive -> Config -> Either T.Error Config
parse_directives :: Scope -> Config -> [T.Directive] -> Either T.Error Config
apply_block_from :: Config -> TrackNum -> Config -> Config
check :: GetCallDuration -> Config -> [T.Token T.CallText NPitch T.NDuration T.Duration] -> ([Either Meta (T.Time, T.Note T.CallText (T.NPitch (Maybe.Maybe T.PitchText)) T.Time)], T.Time)
call_block_id :: Id.BlockId -> Text -> Maybe.Maybe Id.BlockId
data Meter = Meter {
- meter_pattern :: [T.Rank]
- meter_step :: !T.Time
- meter_negative :: !Bool
- meter_ui :: !(Meter.Config, Meter.MSection)
}

Documentation

data Config Source #

Constructors

Config
Fields config_meter :: !Meter config_scale :: !Scale config_duration :: !DurationMode config_from :: !(Maybe.Maybe From) config_negative :: !Bool Use negative durations. Notes arrive at beats instead of departing from them. config_instruments :: ![Instruments.Allocation] config_ky :: !Text

Instances

Instances details

Show Config Source #
Instance details Defined in Derive.TScore.Check Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #

default_config :: Config Source #

data Scope Source #

Directives can appear in various places, which affects their scope.

Constructors

Global
Block
Track

Instances

Instances details

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

data From Source #

The target of a T.CopyFrom.

Constructors

From
Fields from_block :: !(Maybe.Maybe Id.BlockId) from_tracknum :: !TrackNum from_pos :: !T.Pos

Instances

Instances details

Show From Source #
Instance details Defined in Derive.TScore.Check Methods showsPrec :: Int -> From -> ShowS # show :: From -> String # showList :: [From] -> ShowS #
Pretty From Source #
Instance details Defined in Derive.TScore.Check Methods pretty :: From -> Text Source # format :: From -> Doc Source # formatList :: [From] -> Doc Source #

data AssertCoincident Source #

Constructors

AssertCoincident !T.Time !T.Pos

Instances

Instances details

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

parse_directive :: Scope -> T.Directive -> Config -> Either T.Error Config Source #

parse_directives :: Scope -> Config -> [T.Directive] -> Either T.Error Config Source #

apply_block_from :: Config -> TrackNum -> Config -> Config Source #

Convert a block-level From into a track-level From for each tracknum. Due to parse_from, the block From should have a from_block. It's ok to have both block and track From, in this case the track From gives the tracknum from a different block.

check :: GetCallDuration -> Config -> [T.Token T.CallText NPitch T.NDuration T.Duration] -> ([Either Meta (T.Time, T.Note T.CallText (T.NPitch (Maybe.Maybe T.PitchText)) T.Time)], T.Time) Source #

call_block_id :: Id.BlockId -> Text -> Maybe.Maybe Id.BlockId Source #

data Meter Source #

Constructors

Meter

Fields

meter_pattern :: [T.Rank]
Rank pattern.
Adi: [2, 0, 0, 0, 1, 0, 0, 1, 0, 0] > || ssss rrrr gggg mmmm | pppp dddd | nnnn sssss || 4/4: [1, 0, 0, 0] > | ssss rrrr gggg mmmm |
meter_step :: !T.Time
This is the duration one one element of meter_pattern.
meter_negative :: !Bool
If true, beats fall at the end of measures. TODO has no effect yet, not even sure what it would be for
meter_ui :: !(Meter.Config, Meter.MSection)
Meter as used by the UI. TODO redundant with meter_pattern, merge them?

Instances

Instances details

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