Safe Haskell	Safe-Inferred

Derive.ShowVal

Description

The show_val method turns haskell values back to tracklang expressions. It should be the inverse of from_val . parse_val.

Synopsis

class ShowVal a where
- show_val :: a -> Text
hex_prefix :: Text
show_hex_val :: Double -> Text
is_hex_val :: Text -> Bool
doc :: ShowVal a => a -> Doc.Doc
is_unquoted_head :: Char.Char -> Bool
is_unquoted_body :: Char.Char -> Bool

Documentation

class ShowVal a where Source #

Instances of ShowVal can be turned back into tracklang syntax. Everything produced by show_val should be parseable by Derive.Parse, except values that have no literal syntax, such as VPitch.

At least one place that relies on this is inverting.

Minimal complete definition

Nothing

Methods

show_val :: a -> Text Source #

default show_val :: (Show a, Enum a, Bounded a) => a -> Text Source #

Instances

Instances details

ShowVal Attributes Source #
Instance details Defined in Derive.Attrs Methods show_val :: Attributes -> Text Source #
ShowVal KotekanStyle Source #
Instance details Defined in Derive.C.Bali.Gangsa Methods show_val :: KotekanStyle -> Text Source #
ShowVal NorotStyle Source #
Instance details Defined in Derive.C.Bali.Gangsa Methods show_val :: NorotStyle -> Text Source #
ShowVal Stroke Source #
Instance details Defined in Derive.C.India.Mridangam Methods show_val :: Stroke -> Text Source #
ShowVal HarmonicType Source #
Instance details Defined in Derive.C.Prelude.Articulation Methods show_val :: HarmonicType -> Text Source #
ShowVal Adjust Source #
Instance details Defined in Derive.C.Prelude.Trill Methods show_val :: Adjust -> Text Source #
ShowVal Direction Source #
Instance details Defined in Derive.C.Prelude.Trill Methods show_val :: Direction -> Text Source #
ShowVal Hand Source #
Instance details Defined in Derive.Call Methods show_val :: Hand -> Text Source #
ShowVal UpDown Source #
Instance details Defined in Derive.Call Methods show_val :: UpDown -> Text Source #
ShowVal Speed Source #
Instance details Defined in Derive.Call.Speed Methods show_val :: Speed -> Text Source #
ShowVal CFunction Source #	TODO this isn't a real ShowVal, I'd have to record the whole expression.
Instance details Defined in Derive.DeriveT Methods show_val :: CFunction -> Text Source #
ShowVal ControlRef Source #
Instance details Defined in Derive.DeriveT Methods show_val :: ControlRef -> Text Source #
ShowVal Duration Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Duration -> Text Source #
ShowVal PControlRef Source #	There's no way to convert a pitch back into the expression that produced it, so this is the best I can do. Similar to ShowVal `ControlRef`, there's no signal literal so I use the value at 0. A pitch can be turned into an expression, but not necessarily accurately since it doesn't take things like pitch interpolation into account.
Instance details Defined in Derive.DeriveT Methods show_val :: PControlRef -> Text Source #
ShowVal PFunction Source #
Instance details Defined in Derive.DeriveT Methods show_val :: PFunction -> Text Source #
ShowVal PSignal Source #
Instance details Defined in Derive.DeriveT Methods show_val :: PSignal -> Text Source #
ShowVal Quoted Source #	Unlike Exprs in general, a Quoted Expr should be representable with show_val. This is because a Quoted has only been parsed, not evaluated, so it shouldn't have anything unshowable, like pitches.
Instance details Defined in Derive.DeriveT Methods show_val :: Quoted -> Text Source #
ShowVal Val Source #	This instance is actually invalid due to showing VPitch, which has no literal, and for `Val`, showing `PControlRef`, which amounts to the same thing. I use this to treat any Val as a Str to re-evaluate it. Being invalid means that a VPitch or VPControlRef with a default will cause a parse failure, but I'll have to see if this becomes a problem in practice.
Instance details Defined in Derive.DeriveT Methods show_val :: Val -> Text Source #
ShowVal ControlDeriver Source #
Instance details Defined in Derive.Deriver.Monad Methods show_val :: ControlDeriver -> Text Source #
ShowVal Merger Source #
Instance details Defined in Derive.Deriver.Monad Methods show_val :: Merger -> Text Source #
ShowVal NoteDeriver Source #	This is an invalid instance, because a deriver has no literal syntax. But this lets me put a deriver in a defaulted argument, and get documentation for it.
Instance details Defined in Derive.Deriver.Monad Methods show_val :: NoteDeriver -> Text Source #
ShowVal PitchDeriver Source #
Instance details Defined in Derive.Deriver.Monad Methods show_val :: PitchDeriver -> Text Source #
ShowVal MiniVal Source #
Instance details Defined in Derive.Expr Methods show_val :: MiniVal -> Text Source #
ShowVal Str Source #
Instance details Defined in Derive.Expr Methods show_val :: Str -> Text Source #
ShowVal Symbol Source #
Instance details Defined in Derive.Expr Methods show_val :: Symbol -> Text Source #
ShowVal Call Source #
Instance details Defined in Derive.Parse.Ky Methods show_val :: Call -> Text Source #
ShowVal Expr Source #
Instance details Defined in Derive.Parse.Ky Methods show_val :: Expr -> Text Source #
ShowVal Term Source #
Instance details Defined in Derive.Parse.Ky Methods show_val :: Term -> Text Source #
ShowVal Var Source #
Instance details Defined in Derive.Parse.Ky Methods show_val :: Var -> Text Source #
ShowVal ControlType Source #
Instance details Defined in Derive.ParseTitle Methods show_val :: ControlType -> Text Source #
ShowVal Val Source #
Instance details Defined in Derive.REnv Methods show_val :: Val -> Text Source #
ShowVal Tuning Source #
Instance details Defined in Derive.Scale.BaliScales Methods show_val :: Tuning -> Text Source #
ShowVal Control Source #
Instance details Defined in Derive.ScoreT Methods show_val :: Control -> Text Source #
ShowVal Instrument Source #
Instance details Defined in Derive.ScoreT Methods show_val :: Instrument -> Text Source #
ShowVal PControl Source #
Instance details Defined in Derive.ScoreT Methods show_val :: PControl -> Text Source #
ShowVal Type Source #
Instance details Defined in Derive.ScoreT Methods show_val :: Type -> Text Source #
ShowVal DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods show_val :: DefaultDiatonic -> Text Source #
ShowVal DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods show_val :: DefaultReal -> Text Source #
ShowVal DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods show_val :: DefaultScore -> Text Source #
ShowVal Normalized Source #
Instance details Defined in Derive.Typecheck Methods show_val :: Normalized -> Text Source #
ShowVal NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods show_val :: NormalizedBipolar -> Text Source #
ShowVal FreeCodePosition Source #
Instance details Defined in Perform.Lilypond.Constants Methods show_val :: FreeCodePosition -> Text Source #
ShowVal Key Source #
Instance details Defined in Perform.Pitch Methods show_val :: Key -> Text Source #
ShowVal NoteNumber Source #
Instance details Defined in Perform.Pitch Methods show_val :: NoteNumber -> Text Source #
ShowVal Pitch Source #	This relies on the presence of a `pitch` val call.
Instance details Defined in Perform.Pitch Methods show_val :: Pitch -> Text Source #
ShowVal Transpose Source #
Instance details Defined in Perform.Pitch Methods show_val :: Transpose -> Text Source #
ShowVal RealTime Source #
Instance details Defined in Perform.RealTime Methods show_val :: RealTime -> Text Source #
ShowVal Highlight Source #
Instance details Defined in Derive.C.Prelude.Highlight Methods show_val :: Highlight -> Text Source #
ShowVal Rank Source #
Instance details Defined in Derive.Typecheck Methods show_val :: Rank -> Text Source #
ShowVal ScoreTime Source #
Instance details Defined in Ui.ScoreTime Methods show_val :: ScoreTime -> Text Source #
ShowVal Text Source #	This should be the inverse of `p_str` and `p_unquoted_str`.
Instance details Defined in Derive.ShowVal Methods show_val :: Text -> Text Source #
ShowVal Bool Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Bool -> Text Source #
ShowVal Double Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Double -> Text Source #
ShowVal Int Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Int -> Text Source #
ShowVal (Ratio.Ratio Int) Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Ratio.Ratio Int -> Text Source #
ShowVal a => ShowVal (Set a) Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Set a -> Text Source #
ShowVal (Position CodePosition) Source #
Instance details Defined in Derive.Call.Ly Methods show_val :: Position CodePosition -> Text Source #
ShowVal (RawPitch a) Source #	Pitches have no literal syntax, but I have to print something.
Instance details Defined in Derive.DeriveT Methods show_val :: RawPitch a -> Text Source #
ShowVal (Call Val) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Call Val -> Text Source #
ShowVal (Call MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Call MiniVal -> Text Source #
ShowVal (Call Text) Source #
Instance details Defined in Derive.Expr Methods show_val :: Call Text -> Text Source #
ShowVal (Expr Val) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Expr Val -> Text Source #
ShowVal (Expr MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Expr MiniVal -> Text Source #
ShowVal (Expr Text) Source #
Instance details Defined in Derive.Expr Methods show_val :: Expr Text -> Text Source #
ShowVal (Term Val) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Term Val -> Text Source #
ShowVal (Term MiniVal) Source #
Instance details Defined in Derive.Expr Methods show_val :: Term MiniVal -> Text Source #
ShowVal (Term Text) Source #
Instance details Defined in Derive.Expr Methods show_val :: Term Text -> Text Source #
ShowVal (Typed Control) Source #
Instance details Defined in Derive.ScoreT Methods show_val :: Typed Control -> Text Source #
ShowVal (Typed Control) Source #
Instance details Defined in Derive.DeriveT Methods show_val :: Typed Control -> Text Source #
ShowVal (Typed Y) Source #
Instance details Defined in Derive.ScoreT Methods show_val :: Typed Y -> Text Source #
ShowVal a => ShowVal (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods show_val :: NonNegative a -> Text Source #
ShowVal a => ShowVal (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods show_val :: Positive a -> Text Source #
ShowVal a => ShowVal (Maybe a) Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Maybe a -> Text Source #
ShowVal a => ShowVal [a] Source #
Instance details Defined in Derive.ShowVal Methods show_val :: [a] -> Text Source #
(ShowVal a, ShowVal b) => ShowVal (Either a b) Source #
Instance details Defined in Derive.ShowVal Methods show_val :: Either a b -> Text Source #

hex_prefix :: Text Source #

show_hex_val :: Double -> Text Source #

VNums have hex and decimal literals, and show_val produces the decimal one. So I need a way to produce the hex literal.

is_hex_val :: Text -> Bool Source #

doc :: ShowVal a => a -> Doc.Doc Source #

Show a val for inclusion into CallDoc.

is_unquoted_head :: Char.Char -> Bool Source #

is_unquoted_body :: Char.Char -> Bool Source #