Show Score Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> Score -> ShowS # show :: Score -> String # showList :: [Score] -> ShowS #

data Part k Source #

Constructors

K !k
Comment !Text

Instances

Instances details

Functor Part Source #
Instance details Defined in Solkattu.Korvai Methods fmap :: (a -> b) -> Part a -> Part b # (<$) :: a -> Part b -> Part a #
Show k => Show (Part k) Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> Part k -> ShowS # show :: Part k -> String # showList :: [Part k] -> ShowS #

tani :: [Part Korvai] -> Score Source #

Make a Tani Score, which is just a sequence of Korvais.

mapScore :: (Korvai -> Korvai) -> Score -> Score Source #

scoreKorvais :: Score -> [Korvai] Source #

realizeScore :: (Korvai -> IO ()) -> Score -> IO () Source #

korvai

data Korvai Source #

Constructors

Korvai
Fields korvaiSections :: !KorvaiSections korvaiStrokeMaps :: !StrokeMaps korvaiTala :: !Talas.Tala korvaiMetadata :: !Metadata

Instances

Instances details

Generics.Generic Korvai Source #
Instance details Defined in Solkattu.Korvai Associated Types type Generics.Rep Korvai :: Type -> Type # Methods from :: Korvai -> Generics.Rep Korvai x # to :: Generics.Rep Korvai x -> Korvai #
Show Korvai Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> Korvai -> ShowS # show :: Korvai -> String # showList :: [Korvai] -> ShowS #
Pretty.Pretty Korvai Source #
Instance details Defined in Solkattu.Korvai Methods pretty :: Korvai -> Text Source # format :: Korvai -> Doc Source # formatList :: [Korvai] -> Doc Source #
type Generics.Rep Korvai Source #
Instance details Defined in Solkattu.Korvai type Generics.Rep Korvai = Generics.D1 ('Generics.MetaData "Korvai" "Solkattu.Korvai" "main" 'False) (Generics.C1 ('Generics.MetaCons "Korvai" 'Generics.PrefixI 'True) ((Generics.S1 ('Generics.MetaSel ('Maybe.Just "korvaiSections") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 KorvaiSections) Generics.:: Generics.S1 ('Generics.MetaSel ('Maybe.Just "korvaiStrokeMaps") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 StrokeMaps)) Generics.:: (Generics.S1 ('Generics.MetaSel ('Maybe.Just "korvaiTala") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 Talas.Tala) Generics.:*: Generics.S1 ('Generics.MetaSel ('Maybe.Just "korvaiMetadata") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 Metadata))))

korvai :: Tala.Tala -> StrokeMaps -> [Section (SequenceT Solkattu.Sollu)] -> Korvai Source #

korvaiInstruments :: Korvai -> [GInstrument] Source #

mridangamKorvai :: Tala.Tala -> Realize.PatternMap Mridangam.Stroke -> [Section (SequenceT (Realize.Stroke Mridangam.Stroke))] -> Korvai Source #

kendangTunggalKorvai :: Tala.Tala -> Realize.PatternMap KendangTunggal.Stroke -> [Section (SequenceT (Realize.Stroke KendangTunggal.Stroke))] -> Korvai Source #

instrumentKorvai :: Instrument stroke -> Tala.Tala -> Realize.PatternMap stroke -> [Section (SequenceT (Realize.Stroke stroke))] -> Korvai Source #

tablaKorvai :: Talas.Tal -> [Section (SequenceT (Realize.Stroke Bol.Bol))] -> Korvai Source #

index :: Int -> Korvai -> Korvai Source #

Modify the korvai to extract a single Section.

slice :: Int -> Int -> Korvai -> Korvai Source #

Instrument

data KorvaiSections Source #

Constructors

forall stroke. KorvaiSections (Instrument stroke) (Sections stroke)

Instances

Instances details

Show KorvaiSections Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> KorvaiSections -> ShowS # show :: KorvaiSections -> String # showList :: [KorvaiSections] -> ShowS #
Pretty.Pretty KorvaiSections Source #
Instance details Defined in Solkattu.Korvai Methods pretty :: KorvaiSections -> Text Source # format :: KorvaiSections -> Doc Source # formatList :: [KorvaiSections] -> Doc Source #

type Sections stroke = [Section (SequenceT (Realize.Stroke stroke))] Source #

getSections :: Instrument stroke -> KorvaiSections -> Maybe.Maybe (Sections stroke) Source #

data GInstrument Source #

Constructors

forall stroke.(Solkattu.Notation stroke, Ord stroke, Expr.ToExpr (Realize.Stroke stroke)) => GInstrument (Instrument stroke)

instruments :: [GInstrument] Source #

ginstrumentName :: GInstrument -> Text Source #

Section

data Section a Source #

Constructors

Section

Fields

sectionSequence :: a
sectionStart :: !S.Duration
Where the section should start. 0 means start on sam.
sectionEnd :: !S.Duration
Expect the section to end at this time. It can be negative, in which case it falls before sam. Useful for eddupu.
sectionTags :: Tags.Tags
This is lazy because it might have a Solkattu.Exception in it. This is because inferSectionTags has to evaluate the sequence.

Instances

Instances details

Functor Section Source #
Instance details Defined in Solkattu.Korvai Methods fmap :: (a -> b) -> Section a -> Section b # (<$) :: a -> Section b -> Section a #
Generics.Generic (Section a) Source #
Instance details Defined in Solkattu.Korvai Associated Types type Generics.Rep (Section a) :: Type -> Type # Methods from :: Section a -> Generics.Rep (Section a) x # to :: Generics.Rep (Section a) x -> Section a #
Show a => Show (Section a) Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> Section a -> ShowS # show :: Section a -> String # showList :: [Section a] -> ShowS #
Eq a => Eq (Section a) Source #
Instance details Defined in Solkattu.Korvai Methods (==) :: Section a -> Section a -> Bool # (/=) :: Section a -> Section a -> Bool #
Pretty.Pretty a => Pretty.Pretty (Section a) Source #
Instance details Defined in Solkattu.Korvai Methods pretty :: Section a -> Text Source # format :: Section a -> Doc Source # formatList :: [Section a] -> Doc Source #
type Generics.Rep (Section a) Source #
Instance details Defined in Solkattu.Korvai type Generics.Rep (Section a) = Generics.D1 ('Generics.MetaData "Section" "Solkattu.Korvai" "main" 'False) (Generics.C1 ('Generics.MetaCons "Section" 'Generics.PrefixI 'True) ((Generics.S1 ('Generics.MetaSel ('Maybe.Just "sectionSequence") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 a) Generics.:: Generics.S1 ('Generics.MetaSel ('Maybe.Just "sectionStart") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 S.Duration)) Generics.:: (Generics.S1 ('Generics.MetaSel ('Maybe.Just "sectionEnd") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 S.Duration) Generics.:*: Generics.S1 ('Generics.MetaSel ('Maybe.Just "sectionTags") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 Tags.Tags))))

scoreSections :: Score -> [Section ()] Source #

genericSections :: Korvai -> [Section ()] Source #

modifySections :: (Tags.Tags -> Tags.Tags) -> Korvai -> Korvai Source #

addSectionTags :: Tags.Tags -> Section a -> Section a Source #

modifySectionTags :: (Tags.Tags -> Tags.Tags) -> Section a -> Section a Source #

section :: a -> Section a Source #

inferSections :: [SequenceT sollu] -> [Section (SequenceT sollu)] Source #

Instrument

data Instrument stroke where Source #

Each instrument is matched up with a stroke type.

instrumentName :: Instrument stroke -> Text Source #

getStrokeMap :: Instrument stroke -> StrokeMaps -> StrokeMap Solkattu.Sollu stroke Source #

setStrokeMap :: Instrument stroke -> StrokeMap Solkattu.Sollu stroke -> StrokeMaps Source #

instPostprocess :: Instrument stroke -> [Flat stroke] -> [Flat stroke] Source #

instToScore :: Expr.ToExpr (Realize.Stroke stroke) => Instrument stroke -> ToScore.ToScore stroke Source #

realize

type Flat stroke = S.Flat (Realize.Group (Realize.Stroke stroke)) (Realize.Note stroke) Source #

Fully realized notes.

type Realized stroke = ([Flat stroke], [Realize.Warning]) Source #

realize :: forall stroke. (Solkattu.Notation stroke, Ord stroke) => Instrument stroke -> Korvai -> [Either.Either Error (Realized stroke)] Source #

Realize a Korvai on a particular instrument.

realizeSection :: (Ord sollu, Pretty.Pretty sollu, Solkattu.Notation stroke) => Talas.Tala -> Realize.ToStrokes sollu stroke -> Realize.StrokeMap Solkattu.Sollu stroke -> ([Flat stroke] -> [Flat stroke]) -> Section (SequenceT sollu) -> Either.Either Error (Realized stroke) Source #

allMatchedSollus :: Instrument stroke -> Korvai -> Set (Realize.SolluMapKey Solkattu.Sollu) Source #

matchedSollus :: (Pretty.Pretty sollu, Ord sollu) => Realize.ToStrokes sollu stroke -> Tala.Akshara -> Section (SequenceT sollu) -> Set (Realize.SolluMapKey sollu) Source #

inferNadai :: [Flat stroke] -> S.Nadai Source #

flatten :: SequenceG g sollu -> [S.Flat g (Solkattu.Note sollu)] Source #

spaces :: S.Nadai -> S.Duration -> Either.Either Error [S.Flat g (Realize.Note sollu)] Source #

Generate enough Solkattu.Offset spaces to align the score to the given start Duration.

transform

mapStrokeRest :: (Realize.Stroke a -> Maybe.Maybe (Realize.Stroke b)) -> [S.Flat g (Realize.Note a)] -> [S.Flat g (Realize.Note b)] Source #

lint

lint :: Pretty.Pretty stroke => Instrument stroke -> [Sequence] -> Korvai -> Text Source #

Show the shadowed strokes, except an ok set. It's ok to shadow the builtins.

Metadata

data Metadata Source #

Attach some metadata to a Korvai.

Constructors

Metadata
Fields _date :: !(Maybe.Maybe Day) _tags :: !Tags.Tags _location :: !Location

Instances

Instances details

Monoid Metadata Source #
Instance details Defined in Solkattu.Korvai Methods mempty :: Metadata # mappend :: Metadata -> Metadata -> Metadata # mconcat :: [Metadata] -> Metadata #
Semigroup Metadata Source #
Instance details Defined in Solkattu.Korvai Methods (<>) :: Metadata -> Metadata -> Metadata # sconcat :: NonEmpty Metadata -> Metadata # stimes :: Integral b => b -> Metadata -> Metadata #
Generics.Generic Metadata Source #
Instance details Defined in Solkattu.Korvai Associated Types type Generics.Rep Metadata :: Type -> Type # Methods from :: Metadata -> Generics.Rep Metadata x # to :: Generics.Rep Metadata x -> Metadata #
Show Metadata Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> Metadata -> ShowS # show :: Metadata -> String # showList :: [Metadata] -> ShowS #
Eq Metadata Source #
Instance details Defined in Solkattu.Korvai Methods (==) :: Metadata -> Metadata -> Bool # (/=) :: Metadata -> Metadata -> Bool #
Pretty.Pretty Metadata Source #
Instance details Defined in Solkattu.Korvai Methods pretty :: Metadata -> Text Source # format :: Metadata -> Doc Source # formatList :: [Metadata] -> Doc Source #
type Generics.Rep Metadata Source #
Instance details Defined in Solkattu.Korvai type Generics.Rep Metadata = Generics.D1 ('Generics.MetaData "Metadata" "Solkattu.Korvai" "main" 'False) (Generics.C1 ('Generics.MetaCons "Metadata" 'Generics.PrefixI 'True) (Generics.S1 ('Generics.MetaSel ('Maybe.Just "_date") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 (Maybe.Maybe Day)) Generics.:: (Generics.S1 ('Generics.MetaSel ('Maybe.Just "_tags") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 Tags.Tags) Generics.:: Generics.S1 ('Generics.MetaSel ('Maybe.Just "_location") 'Generics.NoSourceUnpackedness 'Generics.SourceStrict 'Generics.DecidedStrict) (Generics.Rec0 Location))))

type Location = (Text, Int, Text) Source #

(module, lineNumber, variableName)

withKorvaiMetadata :: Metadata -> Korvai -> Korvai Source #

modifyMetadata :: (Metadata -> Metadata) -> Score -> Score Source #

scoreMetadata :: Score -> Metadata Source #

setLocation :: Location -> Score -> Score Source #

infer

inferMetadataS :: Score -> Score Source #

inferMetadata :: Korvai -> Korvai Source #

This is called in Solkattu.All, thanks to Solkattu.ExtractKorvais.

It used to be called in the korvai and mridangamKorvai constructors, but it was confusing how it wouldn't see modifications done after construction.

inferKorvaiMetadata :: Korvai -> Korvai Source #

inferKorvaiTags :: Korvai -> Tags.Tags Source #

inferSectionTags :: Talas.Tala -> Section (SequenceT sollu) -> Tags.Tags Source #

sectionAvartanams :: Talas.Tala -> Section (SequenceT sollu) -> Int Source #

types

type StrokeMap sollu stroke = Either.Either Error (Realize.StrokeMap sollu stroke) Source #

This can be a Left because it comes from one of the instrument-specific StrokeMaps fields, which can be Left if Realize.strokeMap verification failed.

data StrokeMaps Source #

Instances

Instances details

Monoid StrokeMaps Source #
Instance details Defined in Solkattu.Korvai Methods mempty :: StrokeMaps # mappend :: StrokeMaps -> StrokeMaps -> StrokeMaps # mconcat :: [StrokeMaps] -> StrokeMaps #
Semigroup StrokeMaps Source #
Instance details Defined in Solkattu.Korvai Methods (<>) :: StrokeMaps -> StrokeMaps -> StrokeMaps # sconcat :: NonEmpty StrokeMaps -> StrokeMaps # stimes :: Integral b => b -> StrokeMaps -> StrokeMaps #
Generics.Generic StrokeMaps Source #
Instance details Defined in Solkattu.Korvai Associated Types type Generics.Rep StrokeMaps :: Type -> Type # Methods from :: StrokeMaps -> Generics.Rep StrokeMaps x # to :: Generics.Rep StrokeMaps x -> StrokeMaps #
Show StrokeMaps Source #
Instance details Defined in Solkattu.Korvai Methods showsPrec :: Int -> StrokeMaps -> ShowS # show :: StrokeMaps -> String # showList :: [StrokeMaps] -> ShowS #
Eq StrokeMaps Source #
Instance details Defined in Solkattu.Korvai Methods (==) :: StrokeMaps -> StrokeMaps -> Bool # (/=) :: StrokeMaps -> StrokeMaps -> Bool #
Pretty.Pretty StrokeMaps Source #
Instance details Defined in Solkattu.Korvai Methods pretty :: StrokeMaps -> Text Source # format :: StrokeMaps -> Doc Source # formatList :: [StrokeMaps] -> Doc Source #
type Generics.Rep StrokeMaps Source #
Instance details Defined in Solkattu.Korvai type Generics.Rep StrokeMaps = Generics.D1 ('Generics.MetaData "StrokeMaps" "Solkattu.Korvai" "main" 'False) (Generics.C1 ('Generics.MetaCons "StrokeMaps" 'Generics.PrefixI 'True) ((Generics.S1 ('Generics.MetaSel ('Maybe.Just "smapMridangam") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 (StrokeMap Solkattu.Sollu Mridangam.Stroke)) Generics.:: Generics.S1 ('Generics.MetaSel ('Maybe.Just "smapKendangTunggal") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 (StrokeMap Solkattu.Sollu KendangTunggal.Stroke))) Generics.:: (Generics.S1 ('Generics.MetaSel ('Maybe.Just "smapKendangPasang") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 (StrokeMap Solkattu.Sollu KendangPasang.Stroke)) Generics.:: (Generics.S1 ('Generics.MetaSel ('Maybe.Just "smapReyong") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 (StrokeMap Solkattu.Sollu Reyong.Stroke)) Generics.:: Generics.S1 ('Generics.MetaSel ('Maybe.Just "smapSargam") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 (StrokeMap Solkattu.Sollu Sargam.Stroke))))))

IKonnakol :: Instrument Solkattu.Sollu
IMridangam :: Instrument Mridangam.Stroke
IKendangTunggal :: Instrument KendangTunggal.Stroke
IKendangPasang :: Instrument KendangPasang.Stroke
IReyong :: Instrument Reyong.Stroke
ISargam :: Instrument Sargam.Stroke
IBol :: Instrument Bol.Bol
ITabla :: Instrument Tabla.Stroke

StrokeMaps
Fields smapMridangam :: StrokeMap Solkattu.Sollu Mridangam.Stroke smapKendangTunggal :: StrokeMap Solkattu.Sollu KendangTunggal.Stroke smapKendangPasang :: StrokeMap Solkattu.Sollu KendangPasang.Stroke smapReyong :: StrokeMap Solkattu.Sollu Reyong.Stroke smapSargam :: StrokeMap Solkattu.Sollu Sargam.Stroke