Karya, built on 2020-11-26T21:03:17 (patch 23b5be2d53a9e8e7d6136cda5aae2849abe5cded)
Safe HaskellNone

Solkattu.Dsl.Generic

Description

Provide short names and operators for writing korvais in haskell. This module is the shared global namespace between Solkattu.Dsl.Solkattu and Solkattu.Dsl.Mridangam.

Operators:

infixl 9 ^ § & -- also •, which replaces prelude (.)
infixl 8 <== ==>
infixr 6 . -- same as (<>)
Synopsis

Documentation

s :: a -> Korvai.Section a Source #

Declare a Section of a Korvai.

I tried to think of various ways to avoid having to explicitly wrap every section, but they all seem really heavyweight, like a typeclass and replace list literals with a custom (:) operator, or leaky, like embed section in the Sequence and just pull out the topmost one. So I'll settle for explicit noise, but shorten the name.

(.) :: Monoid a => a -> a -> a infixr 6 Source #

Combine Sequences. This is just another name for (<>).

(•) :: (b -> c) -> (a -> b) -> a -> c infixr 9 Source #

Composition is still useful though.

ø :: Monoid a => a Source #

Synonym for mempty. Opt-o on OS X. It looks a little bit nicer when the empty case takes less horizontal space than the non-empty case.

notation

karvai :: (CallStack.Stack, Pretty sollu) => SequenceT sollu -> SequenceT sollu Source #

Make a single sollu Solkattu.Karvai.

directives

sam :: SequenceT sollu Source #

Assert that the following sollu is on sam.

(§) :: SequenceT sollu -> Akshara -> SequenceT sollu infix 9 Source #

Align at the given akshara. I use § because I don't use it so often, and it's opt-6 on OS X.

Config

data Abstraction Source #

Control what is rendered as strokes, and what is rendered as abstract groups with durations.

patterns :: Abstraction Source #

Abstract all Patterns to durations.

patterns

pat :: Matra -> SequenceT sollu Source #

p5 :: SequenceT sollu Source #

p6 :: SequenceT sollu Source #

p7 :: SequenceT sollu Source #

p8 :: SequenceT sollu Source #

p9 :: SequenceT sollu Source #

p666 :: SequenceT sollu -> SequenceT sollu Source #

p567 :: SequenceT sollu -> SequenceT sollu Source #

p765 :: SequenceT sollu -> SequenceT sollu Source #

re-exports

data Korvai Source #

Instances

Instances details
Eq Korvai # 
Instance details

Defined in Solkattu.Korvai

Methods

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

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

Show Korvai # 
Instance details

Defined in Solkattu.Korvai

Generic Korvai # 
Instance details

Defined in Solkattu.Korvai

Associated Types

type Rep Korvai :: Type -> Type #

Methods

from :: Korvai -> Rep Korvai x #

to :: Rep Korvai x -> Korvai #

Pretty Korvai # 
Instance details

Defined in Solkattu.Korvai

type Rep Korvai # 
Instance details

Defined in Solkattu.Korvai

data Duration Source #

A single Duration unit is equivalent to 1 Akshara. Unlike S.FMatra and Matra, this is an absolute duration, so it doesn't depend on S._nadai or S._speed.

Instances

Instances details
Eq Duration # 
Instance details

Defined in Solkattu.S

Fractional Duration # 
Instance details

Defined in Solkattu.S

Num Duration # 
Instance details

Defined in Solkattu.S

Ord Duration # 
Instance details

Defined in Solkattu.S

Real Duration # 
Instance details

Defined in Solkattu.S

RealFrac Duration # 
Instance details

Defined in Solkattu.S

Methods

properFraction :: Integral b => Duration -> (b, Duration) #

truncate :: Integral b => Duration -> b #

round :: Integral b => Duration -> b #

ceiling :: Integral b => Duration -> b #

floor :: Integral b => Duration -> b #

Show Duration # 
Instance details

Defined in Solkattu.S

Pretty Duration # 
Instance details

Defined in Solkattu.S

type Matra = Int Source #

A matra is an akshara divided by the nadai. It corresponds to a single sollu in first speed, which means the actual duration is dependent on Nadai and Speed.

Matra being integral is important, since together with TempoChange, it can encode the invariant that durations are always a power of two rational, once you multiply out the nadai.

type Nadai = Int Source #

data Part Source #

Constructors

K !Korvai !Index 
Comment !Text 

Instances

Instances details
Eq Part # 
Instance details

Defined in Solkattu.Part

Methods

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

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

Show Part # 
Instance details

Defined in Solkattu.Part

Methods

showsPrec :: Int -> Part -> ShowS #

show :: Part -> String #

showList :: [Part] -> ShowS #

data Index Source #

The indices start at 1, since the section display also does.

Constructors

All 
Index !Int 
Range !Int !Int 

Instances

Instances details
Eq Index # 
Instance details

Defined in Solkattu.Part

Methods

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

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

Num Index # 
Instance details

Defined in Solkattu.Part

Show Index # 
Instance details

Defined in Solkattu.Part

Methods

showsPrec :: Int -> Index -> ShowS #

show :: Index -> String #

showList :: [Index] -> ShowS #

realizeParts :: (Korvai -> IO ()) -> [Part] -> IO () Source #

type Akshara = Int Source #

An akshara is one count of the talam.

misc

pprint :: Pretty a => a -> IO () Source #

talam

beats :: Akshara -> Tala.Tala Source #

For a fragment which fits a certain number of beats.

conveniences

class Pretty a Source #

Format values in an eye-pleasing way. Unlike Show, this isn't intended to produce any kind of valid syntax, or even preserve information.

Minimal complete definition

pretty | format

Instances

Instances details
Pretty Bool # 
Instance details

Defined in Util.Pretty

Pretty Char # 
Instance details

Defined in Util.Pretty

Pretty Double # 
Instance details

Defined in Util.Pretty

Pretty Float # 
Instance details

Defined in Util.Pretty

Pretty Int # 
Instance details

Defined in Util.Pretty

Pretty Integer # 
Instance details

Defined in Util.Pretty

Pretty Word8 # 
Instance details

Defined in Util.Pretty

Pretty Word16 # 
Instance details

Defined in Util.Pretty

Pretty Word32 # 
Instance details

Defined in Util.Pretty

Pretty Word64 # 
Instance details

Defined in Util.Pretty

Pretty () # 
Instance details

Defined in Util.Pretty

Methods

pretty :: () -> Text Source #

format :: () -> Doc Source #

formatList :: [()] -> Doc Source #

Pretty Dynamic # 
Instance details

Defined in Util.Pretty

Pretty CChar # 
Instance details

Defined in Util.Pretty

Pretty CInt # 
Instance details

Defined in Util.Pretty

Pretty CFloat # 
Instance details

Defined in Util.Pretty

Pretty ByteString # 
Instance details

Defined in Util.Pretty

Pretty UTCTime # 
Instance details

Defined in Util.Pretty

Pretty NominalDiffTime # 
Instance details

Defined in Util.Pretty

Pretty Day # 
Instance details

Defined in Util.Pretty

Pretty Text # 
Instance details

Defined in Util.Pretty

Pretty Text # 
Instance details

Defined in Util.Pretty

Pretty SavedState # 
Instance details

Defined in Util.Audio.Resample

Pretty Doc # 
Instance details

Defined in Util.Pretty

Pretty Size # 
Instance details

Defined in Util.Memory

Pretty Commit # 
Instance details

Defined in Util.GitTypes

Pretty UnserializeError # 
Instance details

Defined in Util.Serialize

Pretty Orientation # 
Instance details

Defined in Ui.Types

Pretty Rect # 
Instance details

Defined in Util.Rect

Pretty Frames # 
Instance details

Defined in Util.Audio.AudioT

Pretty Modifier # 
Instance details

Defined in Ui.Key

Pretty Key # 
Instance details

Defined in Ui.Key

Pretty RulerId # 
Instance details

Defined in Ui.Id

Pretty TrackId # 
Instance details

Defined in Ui.Id

Pretty ViewId # 
Instance details

Defined in Ui.Id

Pretty BlockId # 
Instance details

Defined in Ui.Id

Pretty Namespace # 
Instance details

Defined in Ui.Id

Pretty Id # 
Instance details

Defined in Ui.Id

Pretty Color # 
Instance details

Defined in Ui.Color

Pretty Binding # 
Instance details

Defined in Ui.KeycapsT

Pretty Control # 
Instance details

Defined in Synth.Shared.Control

Pretty Tala.Anga # 
Instance details

Defined in Solkattu.Tala

Pretty Tala.Tala # 
Instance details

Defined in Solkattu.Tala

Pretty Tags # 
Instance details

Defined in Solkattu.Tags

Pretty Qualified # 
Instance details

Defined in Instrument.InstTypes

Pretty Flag # 
Instance details

Defined in Derive.Flags

Pretty Module # 
Instance details

Defined in Derive.Call.Module

Pretty S.State # 
Instance details

Defined in Solkattu.S

Pretty S.Tempo # 
Instance details

Defined in Solkattu.S

Pretty S.TempoChange # 
Instance details

Defined in Solkattu.S

Pretty S.FMatra # 
Instance details

Defined in Solkattu.S

Pretty Duration # 
Instance details

Defined in Solkattu.S

Pretty Error # 
Instance details

Defined in Derive.TScore.T

Pretty Pos # 
Instance details

Defined in Derive.TScore.T

Pretty Octave # 
Instance details

Defined in Derive.TScore.Parse

Pretty Pitch # 
Instance details

Defined in Derive.TScore.Parse

Pretty Call # 
Instance details

Defined in Derive.TScore.Parse

Pretty Barline # 
Instance details

Defined in Derive.TScore.Parse

Pretty Time # 
Instance details

Defined in Derive.TScore.T

Pretty Html # 
Instance details

Defined in Util.Doc

Pretty Doc # 
Instance details

Defined in Util.Doc

Pretty ScoreTime # 
Instance details

Defined in Ui.ScoreTime

Pretty Zoom # 
Instance details

Defined in Ui.Zoom

Pretty RealTime # 
Instance details

Defined in Perform.RealTime

Pretty Skeleton # 
Instance details

Defined in Ui.Skeleton

Pretty Selection # 
Instance details

Defined in Ui.Sel

Pretty Token # 
Instance details

Defined in Derive.TScore.Parse

Pretty Frame # 
Instance details

Defined in Derive.Stack

Pretty Stack # 
Instance details

Defined in Derive.Stack

Pretty Msg # 
Instance details

Defined in Util.Log

Pretty Modification # 
Instance details

Defined in Util.Git

Pretty Tree # 
Instance details

Defined in Util.Git

Pretty Blob # 
Instance details

Defined in Util.Git

Pretty ChannelMessage # 
Instance details

Defined in Midi.Midi

Pretty Key # 
Instance details

Defined in Midi.Midi

Pretty Message # 
Instance details

Defined in Midi.Midi

Pretty WriteDevice # 
Instance details

Defined in Midi.Midi

Pretty ReadDevice # 
Instance details

Defined in Midi.Midi

Pretty ReadMessage # 
Instance details

Defined in Midi.Midi

Pretty WriteMessage # 
Instance details

Defined in Midi.Midi

Pretty Control # 
Instance details

Defined in Midi.State

Pretty Channel # 
Instance details

Defined in Midi.State

Pretty State # 
Instance details

Defined in Midi.State

Pretty Message # 
Instance details

Defined in Midi.Interface

Pretty Key # 
Instance details

Defined in Perform.Pitch

Pretty Transpose # 
Instance details

Defined in Perform.Pitch

Pretty ScaleId # 
Instance details

Defined in Perform.Pitch

Pretty NoteNumber # 
Instance details

Defined in Perform.Pitch

Pretty Input # 
Instance details

Defined in Perform.Pitch

Pretty Degree # 
Instance details

Defined in Perform.Pitch

Pretty Pitch # 
Instance details

Defined in Perform.Pitch

Pretty Note # 
Instance details

Defined in Perform.Pitch

Pretty Attributes # 
Instance details

Defined in Derive.Attrs

Pretty Stack # 
Instance details

Defined in Ui.Event

Pretty Event # 
Instance details

Defined in Ui.Event

Pretty Events # 
Instance details

Defined in Ui.Events

Pretty Range # 
Instance details

Defined in Ui.Events

Pretty Query # 
Instance details

Defined in App.ReplProtocol

Pretty Mark # 
Instance details

Defined in Ui.Ruler

Pretty Marklist # 
Instance details

Defined in Ui.Ruler

Pretty MeterConfig # 
Instance details

Defined in Ui.Ruler

Pretty Ruler # 
Instance details

Defined in Ui.Ruler

Pretty LabelComponents # 
Instance details

Defined in Cmd.Ruler.Meter

Pretty Config # 
Instance details

Defined in Cmd.Ruler.Meter

Pretty RankName # 
Instance details

Defined in Cmd.Ruler.Meter

Pretty LabeledMark # 
Instance details

Defined in Cmd.Ruler.Meter

Pretty Hash # 
Instance details

Defined in Synth.Shared.Note

Pretty Note # 
Instance details

Defined in Synth.Shared.Note

Pretty Note # 
Instance details

Defined in Ness.Guitar.GConvert

Pretty Warp # 
Instance details

Defined in Derive.Warp

Pretty Type # 
Instance details

Defined in Derive.ScoreT

Pretty PControl # 
Instance details

Defined in Derive.ScoreT

Pretty Control # 
Instance details

Defined in Derive.ScoreT

Pretty Instrument # 
Instance details

Defined in Derive.ScoreT

Pretty WaveformChunk # 
Instance details

Defined in Ui.Track

Pretty TrackSignal # 
Instance details

Defined in Ui.Track

Pretty RenderSource # 
Instance details

Defined in Ui.Track

Pretty RenderStyle # 
Instance details

Defined in Ui.Track

Pretty RenderConfig # 
Instance details

Defined in Ui.Track

Pretty Track # 
Instance details

Defined in Ui.Track

Pretty Padding # 
Instance details

Defined in Ui.Block

Pretty View # 
Instance details

Defined in Ui.Block

Pretty TracklikeId # 
Instance details

Defined in Ui.Block

Pretty TrackFlag # 
Instance details

Defined in Ui.Block

Pretty Status # 
Instance details

Defined in Ui.Block

Pretty DisplayTrack # 
Instance details

Defined in Ui.Block

Pretty Track # 
Instance details

Defined in Ui.Block

Pretty Box # 
Instance details

Defined in Ui.Block

Pretty Config # 
Instance details

Defined in Ui.Block

Pretty NoteDestination # 
Instance details

Defined in Ui.Block

Pretty TrackDestinations # 
Instance details

Defined in Ui.Block

Pretty Source # 
Instance details

Defined in Ui.Block

Pretty Block # 
Instance details

Defined in Ui.Block

Pretty KbdState # 
Instance details

Defined in Ui.UiMsg

Pretty MouseState # 
Instance details

Defined in Ui.UiMsg

Pretty MouseEvent # 
Instance details

Defined in Ui.UiMsg

Pretty Track # 
Instance details

Defined in Ui.UiMsg

Pretty Context # 
Instance details

Defined in Ui.UiMsg

Pretty UiMsg # 
Instance details

Defined in Ui.UiMsg

Pretty SelectionOrientation # 
Instance details

Defined in Ui.BlockC

Pretty Selection # 
Instance details

Defined in Ui.BlockC

Pretty MiniVal # 
Instance details

Defined in Derive.Expr

Pretty Str # 
Instance details

Defined in Derive.Expr

Pretty Symbol # 
Instance details

Defined in Derive.Expr

Pretty Solkattu.Sollu # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Pattern # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Tag # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Space # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Side # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.GroupType # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Meta # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Reduction # 
Instance details

Defined in Solkattu.Solkattu

Pretty Solkattu.Group # 
Instance details

Defined in Solkattu.Solkattu

Pretty Realize.Emphasis # 
Instance details

Defined in Solkattu.Realize

Pretty Stroke # 
Instance details

Defined in Solkattu.Instrument.Sargam

Pretty Stroke # 
Instance details

Defined in Solkattu.Instrument.Reyong

Pretty Valantalai # 
Instance details

Defined in Solkattu.Instrument.Mridangam

Pretty Thoppi # 
Instance details

Defined in Solkattu.Instrument.Mridangam

Pretty Stroke # 
Instance details

Defined in Solkattu.Instrument.Mridangam

Pretty Stroke # 
Instance details

Defined in Solkattu.Instrument.KendangTunggal

Pretty Stroke # 
Instance details

Defined in Solkattu.Instrument.KendangPasang

Pretty Korvai.StrokeMaps # 
Instance details

Defined in Solkattu.Korvai

Pretty Korvai.Metadata # 
Instance details

Defined in Solkattu.Korvai

Pretty Korvai.KorvaiType # 
Instance details

Defined in Solkattu.Korvai

Pretty Korvai.Realized # 
Instance details

Defined in Solkattu.Korvai

Pretty Korvai # 
Instance details

Defined in Solkattu.Korvai

Pretty Stroke # 
Instance details

Defined in Cmd.Instrument.Drums

Pretty ControlFunction # 
Instance details

Defined in Derive.DeriveT

Pretty PControlRef # 
Instance details

Defined in Derive.DeriveT

Pretty ControlRef # 
Instance details

Defined in Derive.DeriveT

Pretty Quoted # 
Instance details

Defined in Derive.DeriveT

Pretty Val # 
Instance details

Defined in Derive.DeriveT

Pretty Environ # 
Instance details

Defined in Derive.DeriveT

Pretty Duration # 
Instance details

Defined in Derive.DeriveT

Pretty OutOfRange # 
Instance details

Defined in Derive.DeriveT

Pretty PitchError # 
Instance details

Defined in Derive.DeriveT

Pretty Scale # 
Instance details

Defined in Derive.DeriveT

Pretty PitchConfig # 
Instance details

Defined in Derive.DeriveT

Pretty PSignal # 
Instance details

Defined in Derive.DeriveT

Pretty Pitch # 
Instance details

Defined in Perform.Lilypond.Types

Pretty Event # 
Instance details

Defined in Perform.Lilypond.Types

Pretty Time # 
Instance details

Defined in Perform.Lilypond.Types

Pretty NoteDuration # 
Instance details

Defined in Perform.Lilypond.Types

Pretty Duration # 
Instance details

Defined in Perform.Lilypond.Types

Pretty StaffConfig # 
Instance details

Defined in Perform.Lilypond.Types

Pretty Config # 
Instance details

Defined in Perform.Lilypond.Types

Pretty Meter # 
Instance details

Defined in Perform.Lilypond.Meter

Pretty NumValue # 
Instance details

Defined in Derive.ValType

Pretty NumType # 
Instance details

Defined in Derive.ValType

Pretty Type # 
Instance details

Defined in Derive.ValType

Pretty Type # 
Instance details

Defined in Derive.ParseTitle

Pretty Event # 
Instance details

Defined in Derive.Score

Pretty Val # 
Instance details

Defined in Derive.RestrictedEnviron

Pretty Environ # 
Instance details

Defined in Derive.RestrictedEnviron

Pretty Config # 
Instance details

Defined in Instrument.Common

Pretty Flag # 
Instance details

Defined in Instrument.Common

Pretty Patch # 
Instance details

Defined in Perform.Im.Patch

Pretty ModeMap # 
Instance details

Defined in Perform.Midi.Patch

Pretty Keyswitch # 
Instance details

Defined in Perform.Midi.Patch

Pretty Keymap # 
Instance details

Defined in Perform.Midi.Patch

Pretty InitializePatch # 
Instance details

Defined in Perform.Midi.Patch

Pretty Flag # 
Instance details

Defined in Perform.Midi.Patch

Pretty Scale # 
Instance details

Defined in Perform.Midi.Patch

Pretty Patch # 
Instance details

Defined in Perform.Midi.Patch

Pretty Settings # 
Instance details

Defined in Perform.Midi.Patch

Pretty Initialization # 
Instance details

Defined in Perform.Midi.Patch

Pretty Config # 
Instance details

Defined in Perform.Midi.Patch

Pretty Event # 
Instance details

Defined in Perform.Midi.Types

Pretty Patch # 
Instance details

Defined in Perform.Midi.Types

Pretty State # 
Instance details

Defined in Perform.Midi.Perform

Pretty Record # 
Instance details

Defined in Instrument.Sysex

Pretty Backend # 
Instance details

Defined in Instrument.Inst

Pretty Default # 
Instance details

Defined in Ui.UiConfig

Pretty LilypondPerformance # 
Instance details

Defined in Ui.UiConfig

Pretty MidiPerformance # 
Instance details

Defined in Ui.UiConfig

Pretty Meta # 
Instance details

Defined in Ui.UiConfig

Pretty Backend # 
Instance details

Defined in Ui.UiConfig

Pretty Allocation # 
Instance details

Defined in Ui.UiConfig

Pretty Allocations # 
Instance details

Defined in Ui.UiConfig

Pretty Config # 
Instance details

Defined in Ui.UiConfig

Pretty State # 
Instance details

Defined in Ui.Update

Pretty Track # 
Instance details

Defined in Ui.Update

Pretty View # 
Instance details

Defined in Ui.Update

Pretty UiDamage # 
Instance details

Defined in Ui.Update

Pretty Error # 
Instance details

Defined in Ui.Ui

Pretty TrackInfo # 
Instance details

Defined in Ui.Ui

Pretty Range # 
Instance details

Defined in Ui.Ui

Pretty Track # 
Instance details

Defined in Ui.Ui

Pretty State # 
Instance details

Defined in Ui.Ui

Pretty Sliced # 
Instance details

Defined in Ui.TrackTree

Pretty Track # 
Instance details

Defined in Ui.TrackTree

Pretty Status # 
Instance details

Defined in Perform.Transport

Pretty TrackWarp # 
Instance details

Defined in Derive.TrackWarp

Pretty Track # 
Instance details

Defined in Derive.TrackWarp

Pretty Scale # 
Instance details

Defined in Derive.Deriver.Monad

Pretty ControlDamage # 
Instance details

Defined in Derive.Deriver.Monad

Pretty ScoreDamage # 
Instance details

Defined in Derive.Deriver.Monad

Pretty BlockDeps # 
Instance details

Defined in Derive.Deriver.Monad

Pretty CacheEntry # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Cached # 
Instance details

Defined in Derive.Deriver.Monad

Pretty CacheKey # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Cache # 
Instance details

Defined in Derive.Deriver.Monad

Pretty ArgName # 
Instance details

Defined in Derive.Deriver.Monad

Pretty CallName # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Integrated # 
Instance details

Defined in Derive.Deriver.Monad

Pretty ControlMod # 
Instance details

Defined in Derive.Deriver.Monad

Pretty CacheStats # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Collect # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Merger # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Merge # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Mode # 
Instance details

Defined in Derive.Deriver.Monad

Pretty CallPriority # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Inversion # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Dynamic # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Tagged # 
Instance details

Defined in Derive.Deriver.Monad

Pretty ErrorPlace # 
Instance details

Defined in Derive.Deriver.Monad

Pretty TypeErrorT # 
Instance details

Defined in Derive.Deriver.Monad

Pretty CallError # 
Instance details

Defined in Derive.Deriver.Monad

Pretty ErrorVal # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Error # 
Instance details

Defined in Derive.Deriver.Monad

Pretty Track # 
Instance details

Defined in Derive.Call.SubT

Pretty TransposeType # 
Instance details

Defined in Derive.Typecheck

Pretty TimeType # 
Instance details

Defined in Derive.Typecheck

Pretty NormalizedBipolar # 
Instance details

Defined in Derive.Typecheck

Pretty Normalized # 
Instance details

Defined in Derive.Typecheck

Pretty SaveHistory # 
Instance details

Defined in Cmd.SaveGitTypes

Pretty CodePosition # 
Instance details

Defined in Perform.Lilypond.Constants

Pretty FreeCodePosition # 
Instance details

Defined in Perform.Lilypond.Constants

Pretty Range # 
Instance details

Defined in Derive.Scale

Pretty Arg # 
Instance details

Defined in Derive.Sig

Pretty String # 
Instance details

Defined in Derive.Call.StringUtil

Pretty Bol # 
Instance details

Defined in Derive.C.India.Pakhawaj

Pretty Stroke # 
Instance details

Defined in Derive.C.India.Pakhawaj

Pretty UpDown # 
Instance details

Defined in Derive.Call

Pretty Stroke # 
Instance details

Defined in Derive.C.India.Mridangam

Pretty KotekanNote # 
Instance details

Defined in Derive.C.Bali.Gangsa

Pretty Repeat # 
Instance details

Defined in Derive.C.Bali.Gangsa

Pretty Atom # 
Instance details

Defined in Derive.C.Bali.Gangsa

Pretty KotekanPattern # 
Instance details

Defined in Derive.C.Bali.Gangsa

Pretty SavePoint # 
Instance details

Defined in Cmd.SaveGit

Pretty Key # 
Instance details

Defined in Derive.Scale.Theory

Pretty From # 
Instance details

Defined in Derive.TScore.Check

Pretty RelativePitch # 
Instance details

Defined in Derive.Scale.TheoryFormat

Pretty DegreeMap # 
Instance details

Defined in Derive.Scale.Scales

Pretty Key # 
Instance details

Defined in Derive.Scale.JustScales

Pretty Voice # 
Instance details

Defined in Perform.Lilypond.Process

Pretty Voices # 
Instance details

Defined in Perform.Lilypond.Process

Pretty Ly # 
Instance details

Defined in Perform.Lilypond.Process

Pretty StaffGroup # 
Instance details

Defined in Perform.Lilypond.Lilypond

Pretty Tuning # 
Instance details

Defined in Derive.Scale.BaliScales

Pretty Performance # 
Instance details

Defined in Cmd.Msg

Pretty ImStatus # 
Instance details

Defined in Cmd.Msg

Pretty DeriveStatus # 
Instance details

Defined in Cmd.Msg

Pretty Msg # 
Instance details

Defined in Cmd.Msg

Pretty Backend # 
Instance details

Defined in Cmd.Cmd

Pretty ResolvedInstrument # 
Instance details

Defined in Cmd.Cmd

Pretty Modifier # 
Instance details

Defined in Cmd.Cmd

Pretty SelectionHistory # 
Instance details

Defined in Cmd.Cmd

Pretty HistoryEntry # 
Instance details

Defined in Cmd.Cmd

Pretty HistoryCollect # 
Instance details

Defined in Cmd.Cmd

Pretty HistoryConfig # 
Instance details

Defined in Cmd.Cmd

Pretty History # 
Instance details

Defined in Cmd.Cmd

Pretty InstrumentCode # 
Instance details

Defined in Cmd.Cmd

Pretty Action # 
Instance details

Defined in Cmd.Cmd

Pretty EditMode # 
Instance details

Defined in Cmd.Cmd

Pretty SyncConfig # 
Instance details

Defined in Cmd.Cmd

Pretty Fingerprint # 
Instance details

Defined in Cmd.Cmd

Pretty MouseOn # 
Instance details

Defined in Cmd.Cmd

Pretty Bindable # 
Instance details

Defined in Cmd.Cmd

Pretty KeySpec # 
Instance details

Defined in Cmd.Cmd

Pretty Hand # 
Instance details

Defined in Derive.C.Bali.Reyong

Pretty Degree # 
Instance details

Defined in Derive.C.Bali.Reyong

Pretty Expr # 
Instance details

Defined in Derive.C.India.Gamakam2

Pretty Composite # 
Instance details

Defined in Derive.Instrument.DUtil

Pretty Patch # 
Instance details

Defined in Cmd.Instrument.MidiInst

Pretty Code # 
Instance details

Defined in Cmd.Instrument.MidiInst

Pretty Control # 
Instance details

Defined in Cmd.ModifyNotes

Pretty Note # 
Instance details

Defined in Cmd.ModifyNotes

Pretty Track # 
Instance details

Defined in Cmd.Integrate.Convert

Pretty Modify # 
Instance details

Defined in Cmd.Integrate.Merge

Pretty Edit # 
Instance details

Defined in Cmd.Integrate.Merge

Pretty TrackType # 
Instance details

Defined in Cmd.Info

Pretty Track # 
Instance details

Defined in Derive.TScore.TScore

Pretty NTrack # 
Instance details

Defined in Derive.TScore.TScore

Pretty Pos # 
Instance details

Defined in Cmd.EditUtil

Pretty CallType # 
Instance details

Defined in Cmd.CallDoc

Pretty Block # 
Instance details

Defined in Util.Audio.Audio

Pretty Stretch # 
Instance details

Defined in Synth.Sampler.Sample

Pretty Sample # 
Instance details

Defined in Synth.Sampler.Sample

Pretty Note # 
Instance details

Defined in Synth.Sampler.Sample

Pretty Pitch # 
Instance details

Defined in Synth.Sampler.Patch.Lib.Bali

Pretty Dynamic # 
Instance details

Defined in Synth.Sampler.Patch.Rambat

Pretty Span # 
Instance details

Defined in Synth.Lib.Checkpoint

Pretty State # 
Instance details

Defined in Synth.Lib.Checkpoint

Pretty ControlConfig # 
Instance details

Defined in Synth.Faust.InstrumentC

Pretty State # 
Instance details

Defined in Synth.Faust.EffectC

Pretty ResampleState # 
Instance details

Defined in Synth.Sampler.Render

Pretty PlayState # 
Instance details

Defined in Synth.Sampler.Render

Pretty State # 
Instance details

Defined in Synth.Sampler.Render

Pretty Playing # 
Instance details

Defined in Synth.Sampler.Render

Pretty a => Pretty [a] # 
Instance details

Defined in Util.Pretty

Methods

pretty :: [a] -> Text Source #

format :: [a] -> Doc Source #

formatList :: [[a]] -> Doc Source #

Pretty a => Pretty (Maybe a) # 
Instance details

Defined in Util.Pretty

(Integral a, Pretty a) => Pretty (Ratio a) # 
Instance details

Defined in Util.Pretty

Pretty (Ptr a) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: Ptr a -> Text Source #

format :: Ptr a -> Doc Source #

formatList :: [Ptr a] -> Doc Source #

Pretty (ForeignPtr a) # 
Instance details

Defined in Util.Pretty

Pretty a => Pretty (NonEmpty a) # 
Instance details

Defined in Util.Pretty

Pretty v => Pretty (IntMap v) # 
Instance details

Defined in Util.Pretty

Pretty a => Pretty (Tree a) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: Tree a -> Text Source #

format :: Tree a -> Doc Source #

formatList :: [Tree a] -> Doc Source #

Pretty a => Pretty (Set a) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: Set a -> Text Source #

format :: Set a -> Doc Source #

formatList :: [Set a] -> Doc Source #

(Unbox a, Pretty a) => Pretty (Vector a) # 
Instance details

Defined in Util.Pretty

(Storable a, Pretty a) => Pretty (Vector a) # 
Instance details

Defined in Util.Pretty

Pretty a => Pretty (Vector a) # 
Instance details

Defined in Util.Pretty

Pretty n => Pretty (Ranges n) # 
Instance details

Defined in Util.Ranges

Pretty a => Pretty (Builder a) # 
Instance details

Defined in Util.LazyVector

Pretty a => Pretty (Lazy a) # 
Instance details

Defined in Util.LazyVector

Methods

pretty :: Lazy a -> Text Source #

format :: Lazy a -> Doc Source #

formatList :: [Lazy a] -> Doc Source #

Pretty a => Pretty (S.Stroke a) # 
Instance details

Defined in Solkattu.S

Pretty pitch => Pretty (NPitch pitch) # 
Instance details

Defined in Derive.TScore.T

Methods

pretty :: NPitch pitch -> Text Source #

format :: NPitch pitch -> Doc Source #

formatList :: [NPitch pitch] -> Doc Source #

Pretty (Rest Duration) # 
Instance details

Defined in Derive.TScore.Parse

Pretty d => Pretty (LEvent d) # 
Instance details

Defined in Derive.LEvent

Pretty dur => Pretty (NoteT dur) # 
Instance details

Defined in Midi.Synth

Methods

pretty :: NoteT dur -> Text Source #

format :: NoteT dur -> Doc Source #

formatList :: [NoteT dur] -> Doc Source #

Pretty y => Pretty (Sample y) # 
Instance details

Defined in Util.TimeVector

Pretty y => Pretty (Segment y) # 
Instance details

Defined in Util.Segment

Pretty v => Pretty (Signal v) # 
Instance details

Defined in Util.Segment

Pretty (Signal kind) # 
Instance details

Defined in Perform.Signal

Methods

pretty :: Signal kind -> Text Source #

format :: Signal kind -> Doc Source #

formatList :: [Signal kind] -> Doc Source #

Pretty a => Pretty (Typed a) # 
Instance details

Defined in Derive.ScoreT

Pretty (Term Text) # 
Instance details

Defined in Derive.Expr

Pretty (Term MiniVal) # 
Instance details

Defined in Derive.Expr

Pretty (Term Val) # 
Instance details

Defined in Derive.DeriveT

Pretty (Call Text) # 
Instance details

Defined in Derive.Expr

Pretty (Call MiniVal) # 
Instance details

Defined in Derive.Expr

Pretty (Call Val) # 
Instance details

Defined in Derive.DeriveT

Pretty sollu => Pretty (Solkattu.NoteT sollu) # 
Instance details

Defined in Solkattu.Solkattu

Pretty sollu => Pretty (Solkattu.Note sollu) # 
Instance details

Defined in Solkattu.Solkattu

Pretty stroke => Pretty (Realize.Reduction stroke) # 
Instance details

Defined in Solkattu.Realize

Pretty stroke => Pretty (Realize.Group stroke) # 
Instance details

Defined in Solkattu.Realize

Pretty stroke => Pretty (Realize.SolluMap stroke) # 
Instance details

Defined in Solkattu.Realize

Pretty stroke => Pretty (Realize.PatternMap stroke) # 
Instance details

Defined in Solkattu.Realize

Pretty stroke => Pretty (Realize.StrokeMap stroke) # 
Instance details

Defined in Solkattu.Realize

Pretty stroke => Pretty (Realize.Stroke stroke) # 
Instance details

Defined in Solkattu.Realize

Pretty stroke => Pretty (Realize.Note stroke) # 
Instance details

Defined in Solkattu.Realize

Methods

pretty :: Realize.Note stroke -> Text Source #

format :: Realize.Note stroke -> Doc Source #

formatList :: [Realize.Note stroke] -> Doc Source #

Pretty a => Pretty (Korvai.Section a) # 
Instance details

Defined in Solkattu.Korvai

Pretty (Korvai.RealizedSections stroke) # 
Instance details

Defined in Solkattu.Korvai

Pretty (RawPitch a) #

Will look like: 62.95nn,4i(*wayang)

Instance details

Defined in Derive.DeriveT

Pretty a => Pretty (Stream a) # 
Instance details

Defined in Derive.Stream

Pretty a => Pretty (AttributeMap a) # 
Instance details

Defined in Instrument.Common

Pretty code => Pretty (Common code) # 
Instance details

Defined in Instrument.Common

Methods

pretty :: Common code -> Text Source #

format :: Common code -> Doc Source #

formatList :: [Common code] -> Doc Source #

Pretty code => Pretty (SynthDecl code) # 
Instance details

Defined in Instrument.Inst

Methods

pretty :: SynthDecl code -> Text Source #

format :: SynthDecl code -> Doc Source #

formatList :: [SynthDecl code] -> Doc Source #

Pretty code => Pretty (Synth code) # 
Instance details

Defined in Instrument.Inst

Methods

pretty :: Synth code -> Text Source #

format :: Synth code -> Doc Source #

formatList :: [Synth code] -> Doc Source #

Pretty code => Pretty (Db code) # 
Instance details

Defined in Instrument.Inst

Methods

pretty :: Db code -> Text Source #

format :: Db code -> Doc Source #

formatList :: [Db code] -> Doc Source #

Pretty code => Pretty (Inst code) # 
Instance details

Defined in Instrument.Inst

Methods

pretty :: Inst code -> Text Source #

format :: Inst code -> Doc Source #

formatList :: [Inst code] -> Doc Source #

Pretty t => Pretty (Block t) # 
Instance details

Defined in Ui.Update

Pretty (Call d) # 
Instance details

Defined in Derive.Deriver.Monad

Methods

pretty :: Call d -> Text Source #

format :: Call d -> Doc Source #

formatList :: [Call d] -> Doc Source #

Pretty val => Pretty (Context val) # 
Instance details

Defined in Derive.Deriver.Monad

Methods

pretty :: Context val -> Text Source #

format :: Context val -> Doc Source #

formatList :: [Context val] -> Doc Source #

Pretty val => Pretty (PassedArgs val) # 
Instance details

Defined in Derive.Deriver.Monad

Pretty (PatternCall call) # 
Instance details

Defined in Derive.Deriver.Monad

Show a => Pretty (CallDuration a) # 
Instance details

Defined in Derive.Deriver.Monad

Pretty (TrackCall d) # 
Instance details

Defined in Derive.Deriver.Monad

Pretty (ScopePriority call) # 
Instance details

Defined in Derive.Deriver.Monad

Pretty (CallMap call) # 
Instance details

Defined in Derive.Deriver.Monad

Methods

pretty :: CallMap call -> Text Source #

format :: CallMap call -> Doc Source #

formatList :: [CallMap call] -> Doc Source #

Pretty a => Pretty (EventT a) # 
Instance details

Defined in Derive.Call.SubT

Pretty (Entry call) # 
Instance details

Defined in Derive.Library

Methods

pretty :: Entry call -> Text Source #

format :: Entry call -> Doc Source #

formatList :: [Entry call] -> Doc Source #

Pretty (TrackInfo d) # 
Instance details

Defined in Derive.EvalTrack

Pretty a => Pretty (Note a) # 
Instance details

Defined in Derive.C.India.Pakhawaj

Methods

pretty :: Note a -> Text Source #

format :: Note a -> Doc Source #

formatList :: [Note a] -> Doc Source #

Pretty a => Pretty (Note a) # 
Instance details

Defined in Derive.C.Bali.Gangsa

Methods

pretty :: Note a -> Text Source #

format :: Note a -> Doc Source #

formatList :: [Note a] -> Doc Source #

Pretty a => Pretty (Realization a) # 
Instance details

Defined in Derive.C.Bali.Gangsa

Pretty a => Pretty (Pasang a) # 
Instance details

Defined in Derive.C.Bali.Gangsa

(Show pitch, Pretty pitch) => Pretty (GenericInput pitch) # 
Instance details

Defined in Cmd.InputNote

Pretty (NamedCmd m) # 
Instance details

Defined in Cmd.Cmd

Pretty (Handler m) # 
Instance details

Defined in Cmd.Cmd

Pretty pos => Pretty (Position pos) # 
Instance details

Defined in Derive.Call.Ly

Pretty track => Pretty (Block track) # 
Instance details

Defined in Derive.TScore.TScore

Methods

pretty :: Block track -> Text Source #

format :: Block track -> Doc Source #

formatList :: [Block track] -> Doc Source #

Pretty (a -> b) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: (a -> b) -> Text Source #

format :: (a -> b) -> Doc Source #

formatList :: [a -> b] -> Doc Source #

(Pretty a, Pretty b) => Pretty (Either a b) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: Either a b -> Text Source #

format :: Either a b -> Doc Source #

formatList :: [Either a b] -> Doc Source #

(Pretty a, Pretty b) => Pretty (a, b) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: (a, b) -> Text Source #

format :: (a, b) -> Doc Source #

formatList :: [(a, b)] -> Doc Source #

(Pretty k, Pretty v) => Pretty (Map k v) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: Map k v -> Text Source #

format :: Map k v -> Doc Source #

formatList :: [Map k v] -> Doc Source #

(Pretty a, Pretty b) => Pretty (Paired a b) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: Paired a b -> Text Source #

format :: Paired a b -> Doc Source #

formatList :: [Paired a b] -> Doc Source #

(Pretty g, Pretty a) => Pretty (S.Flat g a) # 
Instance details

Defined in Solkattu.S

Methods

pretty :: S.Flat g a -> Text Source #

format :: S.Flat g a -> Doc Source #

formatList :: [S.Flat g a] -> Doc Source #

(Pretty a, Pretty g) => Pretty (S.Note g a) # 
Instance details

Defined in Solkattu.S

Methods

pretty :: S.Note g a -> Text Source #

format :: S.Note g a -> Doc Source #

formatList :: [S.Note g a] -> Doc Source #

(Pretty err, Pretty a) => Pretty (UntilFail err a) # 
Instance details

Defined in Util.UF

Methods

pretty :: UntilFail err a -> Text Source #

format :: UntilFail err a -> Doc Source #

formatList :: [UntilFail err a] -> Doc Source #

(Pretty t, Pretty u) => Pretty (Update t u) # 
Instance details

Defined in Ui.Update

Methods

pretty :: Update t u -> Text Source #

format :: Update t u -> Doc Source #

formatList :: [Update t u] -> Doc Source #

(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: (a, b, c) -> Text Source #

format :: (a, b, c) -> Doc Source #

formatList :: [(a, b, c)] -> Doc Source #

Pretty (Note CallText (Maybe Text) Time) #

This is the output from Check.check.

Instance details

Defined in Derive.TScore.Parse

Pretty (Note CallText Pitch NDuration) # 
Instance details

Defined in Derive.TScore.Parse

(Pretty note, Pretty control, Pretty pitch) => Pretty (Scope note control pitch) # 
Instance details

Defined in Derive.Deriver.Monad

Methods

pretty :: Scope note control pitch -> Text Source #

format :: Scope note control pitch -> Doc Source #

formatList :: [Scope note control pitch] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: (a, b, c, d) -> Text Source #

format :: (a, b, c, d) -> Doc Source #

formatList :: [(a, b, c, d)] -> Doc Source #

Pretty (Token CallText Pitch NDuration Duration) # 
Instance details

Defined in Derive.TScore.Parse

(Pretty gen, Pretty trans, Pretty track, Pretty val) => Pretty (ScopesT gen trans track val) # 
Instance details

Defined in Derive.Deriver.Monad

Methods

pretty :: ScopesT gen trans track val -> Text Source #

format :: ScopesT gen trans track val -> Doc Source #

formatList :: [ScopesT gen trans track val] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e) => Pretty (a, b, c, d, e) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: (a, b, c, d, e) -> Text Source #

format :: (a, b, c, d, e) -> Doc Source #

formatList :: [(a, b, c, d, e)] -> Doc Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f) => Pretty (a, b, c, d, e, f) # 
Instance details

Defined in Util.Pretty

Methods

pretty :: (a, b, c, d, e, f) -> Text Source #

format :: (a, b, c, d, e, f) -> Doc Source #

formatList :: [(a, b, c, d, e, f)] -> Doc Source #