Safe Haskell	Safe-Inferred

Derive.Typecheck

Contents

signal functions
type wrappers
typecheck
util
controls
pitch signals
compatibility
Orphan instances

Synopsis

data RealTimeFunction = RealTimeFunction !(RealTime.RealTime -> DeriveT.Duration)
data ScoreTimeFunction = ScoreTimeFunction !(RealTime.RealTime -> DeriveT.Duration)
data RealTimeFunctionT = RealTimeFunctionT !ScoreT.TimeT !ScoreT.Function
data ScoreTimeFunctionT = ScoreTimeFunctionT !ScoreT.TimeT !ScoreT.Function
data DiatonicTransposeFunctionT = DiatonicTransposeFunctionT !ScoreT.TransposeT !ScoreT.Function
data ChromaticTransposeFunctionT = ChromaticTransposeFunctionT !ScoreT.TransposeT !ScoreT.Function
data NnTransposeFunctionT = NnTransposeFunctionT !ScoreT.TransposeT !ScoreT.Function
newtype DefaultReal = DefaultReal {
- _real :: DeriveT.Duration
}
newtype DefaultScore = DefaultScore {
- _score :: DeriveT.Duration
}
real :: RealTime.RealTime -> DefaultReal
score :: ScoreTime.ScoreTime -> DefaultScore
newtype Positive a = Positive {
- positive :: a
}
newtype NonNegative a = NonNegative {
- non_negative :: a
}
newtype Normalized = Normalized {
- normalized :: Double
}
newtype NormalizedBipolar = NormalizedBipolar {
- normalized_bipolar :: Double
}
newtype DefaultDiatonic = DefaultDiatonic {
- default_diatonic :: Pitch.Transpose
}
diatonic :: Double -> DefaultDiatonic
typecheck :: forall a. Typecheck a => Text -> ScoreTime.ScoreTime -> DeriveT.Val -> Derive.Deriver a
typecheck_simple :: forall a. Typecheck a => DeriveT.Val -> Either Text a
data Checked a
- = Val (Result a)
- | Eval (RealTime.RealTime -> Derive.Deriver (Maybe a))
data Result a
- = Failure
- | Success !a
- | Derive !(Derive.Context Derive.Tagged -> a)
success :: a -> Checked a
failure :: Checked a
class Typecheck a where
- from_val :: DeriveT.Val -> Checked a
- to_type :: Proxy a -> ValType.Type
- from_subtrack :: SubT.Track -> Maybe a
from_val_eval :: Typecheck a => ScoreTime.ScoreTime -> DeriveT.Val -> Derive.Deriver (Maybe a)
from_val_simple :: Typecheck a => DeriveT.Val -> Maybe a
type TEnum a = (ShowVal.ShowVal a, Bounded a, Enum a)
class ToVal a where
- to_val :: a -> DeriveT.Val
to_type_symbol :: ShowVal.ShowVal a => [a] -> ValType.Type
from_val_symbol :: Map Text a -> DeriveT.Val -> Checked a
num_to_type :: TypecheckNum a => Proxy a -> ValType.Type
class Typecheck a => TypecheckNum a where
- num_type :: Proxy a -> ValType.NumType
to_transpose :: ScoreT.TransposeT -> Double -> Pitch.Transpose
transpose_control :: ScoreT.TransposeT -> ScoreT.Control
coerce_to_scalar :: (ScoreT.Typed Signal.Y -> Maybe a) -> DeriveT.Val -> Checked a
lookup_function :: DeriveT.ControlRef -> Derive.Deriver (Maybe ScoreT.TypedFunction)
lookup_signal :: ScoreT.Control -> Derive.Deriver (Maybe ScoreT.TypedSignal)
val_to_signal :: DeriveT.Val -> Maybe (Either (Derive.Deriver ScoreT.TypedSignal) ScoreT.TypedSignal)
val_to_function :: DeriveT.Val -> Maybe (Either (Derive.Deriver ScoreT.TypedFunction) ScoreT.TypedFunction)
val_to_function_dyn :: DeriveT.Dynamic -> DeriveT.Val -> Maybe (Either (Derive.Deriver ScoreT.TypedFunction) ScoreT.TypedFunction)
val_to_pitch_signal :: DeriveT.Val -> Maybe (Either (Derive.Deriver DeriveT.PSignal) DeriveT.PSignal)
lookup_pitch_signal :: ScoreT.PControl -> Derive.Deriver (Maybe DeriveT.PSignal)
resolve_pitch_ref :: DeriveT.PControlRef -> Derive.Deriver DeriveT.PSignal
resolve_function :: DeriveT.ControlRef -> Derive.Deriver ScoreT.TypedFunction

signal functions

data RealTimeFunction Source #

Constructors

RealTimeFunction !(RealTime.RealTime -> DeriveT.Duration)

Instances

Instances details

Typecheck RealTimeFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked RealTimeFunction Source # to_type :: Proxy RealTimeFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe RealTimeFunction Source #

data ScoreTimeFunction Source #

Constructors

ScoreTimeFunction !(RealTime.RealTime -> DeriveT.Duration)

Instances

Instances details

Typecheck ScoreTimeFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreTimeFunction Source # to_type :: Proxy ScoreTimeFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreTimeFunction Source #

data RealTimeFunctionT Source #

Returning them separately is used in (at least) Speed.starts

Constructors

RealTimeFunctionT !ScoreT.TimeT !ScoreT.Function

Instances

Instances details

Typecheck RealTimeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked RealTimeFunctionT Source # to_type :: Proxy RealTimeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe RealTimeFunctionT Source #

data ScoreTimeFunctionT Source #

Constructors

ScoreTimeFunctionT !ScoreT.TimeT !ScoreT.Function

Instances

Instances details

Typecheck ScoreTimeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreTimeFunctionT Source # to_type :: Proxy ScoreTimeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreTimeFunctionT Source #

data DiatonicTransposeFunctionT Source #

Constructors

DiatonicTransposeFunctionT !ScoreT.TransposeT !ScoreT.Function

Instances

Instances details

Typecheck DiatonicTransposeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DiatonicTransposeFunctionT Source # to_type :: Proxy DiatonicTransposeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DiatonicTransposeFunctionT Source #

data ChromaticTransposeFunctionT Source #

Constructors

ChromaticTransposeFunctionT !ScoreT.TransposeT !ScoreT.Function

Instances

Instances details

Typecheck ChromaticTransposeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ChromaticTransposeFunctionT Source # to_type :: Proxy ChromaticTransposeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ChromaticTransposeFunctionT Source #

data NnTransposeFunctionT Source #

Constructors

NnTransposeFunctionT !ScoreT.TransposeT !ScoreT.Function

Instances

Instances details

Typecheck NnTransposeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked NnTransposeFunctionT Source # to_type :: Proxy NnTransposeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe NnTransposeFunctionT Source #

type wrappers

newtype DefaultReal Source #

Either RealTime or ScoreTime, but untyped defaults to RealTime. This has a short accessor to make unwrapping more concise.

Constructors

DefaultReal
Fields _real :: DeriveT.Duration

Instances

Instances details

Show DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> DefaultReal -> ShowS # show :: DefaultReal -> String # showList :: [DefaultReal] -> ShowS #
Eq DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods (==) :: DefaultReal -> DefaultReal -> Bool # (/=) :: DefaultReal -> DefaultReal -> Bool #
Internal.Time DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods real :: DefaultReal -> Derive.Deriver RealTime.RealTime Source # score :: DefaultReal -> Derive.Deriver ScoreTime.ScoreTime Source # to_duration :: DefaultReal -> DeriveT.Duration Source #
ShowVal.ShowVal DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods show_val :: DefaultReal -> Text Source #
ToVal DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DefaultReal -> DeriveT.Val Source #
Typecheck DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DefaultReal Source # to_type :: Proxy DefaultReal -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DefaultReal Source #
TypecheckNum DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DefaultReal -> ValType.NumType Source #

newtype DefaultScore Source #

Same as DefaultReal but untyped defaults to ScoreTime. This has a short accessor to make unwrapping more concise.

Constructors

DefaultScore
Fields _score :: DeriveT.Duration

Instances

Instances details

Show DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> DefaultScore -> ShowS # show :: DefaultScore -> String # showList :: [DefaultScore] -> ShowS #
Eq DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods (==) :: DefaultScore -> DefaultScore -> Bool # (/=) :: DefaultScore -> DefaultScore -> Bool #
Internal.Time DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods real :: DefaultScore -> Derive.Deriver RealTime.RealTime Source # score :: DefaultScore -> Derive.Deriver ScoreTime.ScoreTime Source # to_duration :: DefaultScore -> DeriveT.Duration Source #
ShowVal.ShowVal DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods show_val :: DefaultScore -> Text Source #
ToVal DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DefaultScore -> DeriveT.Val Source #
Typecheck DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DefaultScore Source # to_type :: Proxy DefaultScore -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DefaultScore Source #
TypecheckNum DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DefaultScore -> ValType.NumType Source #

real :: RealTime.RealTime -> DefaultReal Source #

Create DefaultReal and DefaultScores for use in Derive.Sig signatures for default values. It would be nice to use literals and let type inference do its thing, but there's no good definition for the rest of the methods in Integral and Fractional.

score :: ScoreTime.ScoreTime -> DefaultScore Source #

newtype Positive a Source #

An annotation that says this value must be >0. Instances only exist for numeric types.

This is an instance of Num just so numeric literals work. Of course that means you also have (-) which can make it not positive, but this is only intended to be a type tag for signatures, unwrapped as soon as it gets passed to the call.

Constructors

Positive
Fields positive :: a

Instances

Instances details

Num a => Num (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods (+) :: Positive a -> Positive a -> Positive a # (-) :: Positive a -> Positive a -> Positive a # (*) :: Positive a -> Positive a -> Positive a # negate :: Positive a -> Positive a # abs :: Positive a -> Positive a # signum :: Positive a -> Positive a # fromInteger :: Integer -> Positive a #
Fractional a => Fractional (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods (/) :: Positive a -> Positive a -> Positive a # recip :: Positive a -> Positive a # fromRational :: Rational -> Positive a #
Show a => Show (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> Positive a -> ShowS # show :: Positive a -> String # showList :: [Positive a] -> ShowS #
Eq a => Eq (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods (==) :: Positive a -> Positive a -> Bool # (/=) :: Positive a -> Positive a -> Bool #
ShowVal.ShowVal a => ShowVal.ShowVal (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods show_val :: Positive a -> Text Source #
ToVal a => ToVal (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Positive a -> DeriveT.Val Source #
TypecheckNum a => Typecheck (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (Positive a) Source # to_type :: Proxy (Positive a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Positive a) Source #

newtype NonNegative a Source #

Like Positive, but also includes 0.

Constructors

NonNegative
Fields non_negative :: a

Instances

Instances details

Num a => Num (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods (+) :: NonNegative a -> NonNegative a -> NonNegative a # (-) :: NonNegative a -> NonNegative a -> NonNegative a # (*) :: NonNegative a -> NonNegative a -> NonNegative a # negate :: NonNegative a -> NonNegative a # abs :: NonNegative a -> NonNegative a # signum :: NonNegative a -> NonNegative a # fromInteger :: Integer -> NonNegative a #
Fractional a => Fractional (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods (/) :: NonNegative a -> NonNegative a -> NonNegative a # recip :: NonNegative a -> NonNegative a # fromRational :: Rational -> NonNegative a #
Show a => Show (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> NonNegative a -> ShowS # show :: NonNegative a -> String # showList :: [NonNegative a] -> ShowS #
Eq a => Eq (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods (==) :: NonNegative a -> NonNegative a -> Bool # (/=) :: NonNegative a -> NonNegative a -> Bool #
ShowVal.ShowVal a => ShowVal.ShowVal (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods show_val :: NonNegative a -> Text Source #
ToVal a => ToVal (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: NonNegative a -> DeriveT.Val Source #
TypecheckNum a => Typecheck (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (NonNegative a) Source # to_type :: Proxy (NonNegative a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (NonNegative a) Source #

newtype Normalized Source #

0 <= x <= 1

Constructors

Normalized
Fields normalized :: Double

Instances

Instances details

Show Normalized Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> Normalized -> ShowS # show :: Normalized -> String # showList :: [Normalized] -> ShowS #
Eq Normalized Source #
Instance details Defined in Derive.Typecheck Methods (==) :: Normalized -> Normalized -> Bool # (/=) :: Normalized -> Normalized -> Bool #
ShowVal.ShowVal Normalized Source #
Instance details Defined in Derive.Typecheck Methods show_val :: Normalized -> Text Source #
ToVal Normalized Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Normalized -> DeriveT.Val Source #
Typecheck Normalized Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Normalized Source # to_type :: Proxy Normalized -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Normalized Source #
Pretty Normalized Source #
Instance details Defined in Derive.Typecheck Methods pretty :: Normalized -> Text Source # format :: Normalized -> Doc Source # formatList :: [Normalized] -> Doc Source #

newtype NormalizedBipolar Source #

1 <= x <= 1

Constructors

NormalizedBipolar
Fields normalized_bipolar :: Double

Instances

Instances details

Show NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> NormalizedBipolar -> ShowS # show :: NormalizedBipolar -> String # showList :: [NormalizedBipolar] -> ShowS #
Eq NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods (==) :: NormalizedBipolar -> NormalizedBipolar -> Bool # (/=) :: NormalizedBipolar -> NormalizedBipolar -> Bool #
ShowVal.ShowVal NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods show_val :: NormalizedBipolar -> Text Source #
ToVal NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods to_val :: NormalizedBipolar -> DeriveT.Val Source #
Typecheck NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked NormalizedBipolar Source # to_type :: Proxy NormalizedBipolar -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe NormalizedBipolar Source #
Pretty NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods pretty :: NormalizedBipolar -> Text Source # format :: NormalizedBipolar -> Doc Source # formatList :: [NormalizedBipolar] -> Doc Source #

newtype DefaultDiatonic Source #

Normally Transpose will default to Chromatic if the val is untyped, but some calls would prefer to default to Diatonic.

Constructors

DefaultDiatonic
Fields default_diatonic :: Pitch.Transpose

Instances

Instances details

Show DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods showsPrec :: Int -> DefaultDiatonic -> ShowS # show :: DefaultDiatonic -> String # showList :: [DefaultDiatonic] -> ShowS #
Eq DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods (==) :: DefaultDiatonic -> DefaultDiatonic -> Bool # (/=) :: DefaultDiatonic -> DefaultDiatonic -> Bool #
ShowVal.ShowVal DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods show_val :: DefaultDiatonic -> Text Source #
ToVal DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DefaultDiatonic -> DeriveT.Val Source #
Typecheck DefaultDiatonic Source #	But some calls want to default to diatonic, not chromatic.
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DefaultDiatonic Source # to_type :: Proxy DefaultDiatonic -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DefaultDiatonic Source #
TypecheckNum DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DefaultDiatonic -> ValType.NumType Source #

diatonic :: Double -> DefaultDiatonic Source #

typecheck

typecheck :: forall a. Typecheck a => Text -> ScoreTime.ScoreTime -> DeriveT.Val -> Derive.Deriver a Source #

Typecheck a single Val, and throw if it's the wrong type.

typecheck_simple :: forall a. Typecheck a => DeriveT.Val -> Either Text a Source #

Typecheck a simple value, with no evaluation. This means you can't get a deriver or coerce signal to a number.

data Checked a Source #

Constructors

Val (Result a)
Eval (RealTime.RealTime -> Derive.Deriver (Maybe a))	This val needs to be evaluated to know if it will typecheck. The argument is the call start time. This is needed when coercing a function to a scalar, because I only know the value to check after calling the function.

Instances

Instances details

Functor Checked Source #
Instance details Defined in Derive.Typecheck Methods fmap :: (a -> b) -> Checked a -> Checked b # (<$) :: a -> Checked b -> Checked a #

data Result a Source #

Constructors

Failure
Success !a
Derive !(Derive.Context Derive.Tagged -> a)	This is a {Note,Control,Pitch}Deriver, which needs a Context to evaluate. `DeriveT.Quoted` can be coerced to this, at which point `eval_quoted` needs a Context. As with Quoted evaluation in general, this is only supported by Derive.Sig, not by the general `typecehck` mechanism.

Instances

Instances details

Functor Result Source #
Instance details Defined in Derive.Typecheck Methods fmap :: (a -> b) -> Result a -> Result b # (<$) :: a -> Result b -> Result a #

success :: a -> Checked a Source #

failure :: Checked a Source #

class Typecheck a where Source #

This is the class of values which can be converted to a Checked. ToVal is the inverse transformation.

Minimal complete definition

Nothing

Methods

from_val :: DeriveT.Val -> Checked a Source #

default from_val :: TEnum a => DeriveT.Val -> Checked a Source #

to_type :: Proxy a -> ValType.Type Source #

default to_type :: TEnum a => Proxy a -> ValType.Type Source #

from_subtrack :: SubT.Track -> Maybe a Source #

Instances

Instances details

Typecheck Attrs.Attributes Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Attrs.Attributes Source # to_type :: Proxy Attrs.Attributes -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Attrs.Attributes Source #
Typecheck KotekanStyle Source #
Instance details Defined in Derive.C.Bali.Gangsa Methods from_val :: DeriveT.Val -> Checked KotekanStyle Source # to_type :: Proxy KotekanStyle -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe KotekanStyle Source #
Typecheck NorotStyle Source #
Instance details Defined in Derive.C.Bali.Gangsa Methods from_val :: DeriveT.Val -> Checked NorotStyle Source # to_type :: Proxy NorotStyle -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe NorotStyle Source #
Typecheck HarmonicType Source #
Instance details Defined in Derive.C.Prelude.Articulation Methods from_val :: DeriveT.Val -> Checked HarmonicType Source # to_type :: Proxy HarmonicType -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe HarmonicType Source #
Typecheck Adjust Source #
Instance details Defined in Derive.C.Prelude.Trill Methods from_val :: DeriveT.Val -> Checked Adjust Source # to_type :: Proxy Adjust -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Adjust Source #
Typecheck Direction Source #
Instance details Defined in Derive.C.Prelude.Trill Methods from_val :: DeriveT.Val -> Checked Direction Source # to_type :: Proxy Direction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Direction Source #
Typecheck Hand Source #
Instance details Defined in Derive.Call Methods from_val :: DeriveT.Val -> Checked Hand Source # to_type :: Proxy Hand -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Hand Source #
Typecheck UpDown Source #
Instance details Defined in Derive.Call Methods from_val :: DeriveT.Val -> Checked UpDown Source # to_type :: Proxy UpDown -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe UpDown Source #
Typecheck Speed Source #
Instance details Defined in Derive.Call.Speed Methods from_val :: DeriveT.Val -> Checked Speed Source # to_type :: Proxy Speed -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Speed Source #
Typecheck SubT.Track Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked SubT.Track Source # to_type :: Proxy SubT.Track -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe SubT.Track Source #
Typecheck DeriveT.CFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.CFunction Source # to_type :: Proxy DeriveT.CFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.CFunction Source #
Typecheck DeriveT.Duration Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.Duration Source # to_type :: Proxy DeriveT.Duration -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.Duration Source #
Typecheck DeriveT.PFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.PFunction Source # to_type :: Proxy DeriveT.PFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.PFunction Source #
Typecheck DeriveT.PSignal Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.PSignal Source # to_type :: Proxy DeriveT.PSignal -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.PSignal Source #
Typecheck DeriveT.Pitch Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.Pitch Source # to_type :: Proxy DeriveT.Pitch -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.Pitch Source #
Typecheck DeriveT.PitchFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.PitchFunction Source # to_type :: Proxy DeriveT.PitchFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.PitchFunction Source #
Typecheck DeriveT.Quoted Source #	Anything except a pitch can be coerced to a quoted, using ShowVal. This means you can write a lot of things without quotes. Pitches have to be quoted because they explicitly have an invalid ShowVal.
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.Quoted Source # to_type :: Proxy DeriveT.Quoted -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.Quoted Source #
Typecheck DeriveT.Val Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DeriveT.Val Source # to_type :: Proxy DeriveT.Val -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DeriveT.Val Source #
Typecheck Derive.ControlDeriver Source #
Instance details Defined in Derive.Sig Methods from_val :: DeriveT.Val -> Checked Derive.ControlDeriver Source # to_type :: Proxy Derive.ControlDeriver -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Derive.ControlDeriver Source #
Typecheck Derive.NoteDeriver Source #
Instance details Defined in Derive.Sig Methods from_val :: DeriveT.Val -> Checked Derive.NoteDeriver Source # to_type :: Proxy Derive.NoteDeriver -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Derive.NoteDeriver Source #
Typecheck Derive.PitchDeriver Source #
Instance details Defined in Derive.Sig Methods from_val :: DeriveT.Val -> Checked Derive.PitchDeriver Source # to_type :: Proxy Derive.PitchDeriver -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Derive.PitchDeriver Source #
Typecheck Expr.Str Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Expr.Str Source # to_type :: Proxy Expr.Str -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Expr.Str Source #
Typecheck Expr.Symbol Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Expr.Symbol Source # to_type :: Proxy Expr.Symbol -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Expr.Symbol Source #
Typecheck Tuning Source #
Instance details Defined in Derive.Scale.BaliScales Methods from_val :: DeriveT.Val -> Checked Tuning Source # to_type :: Proxy Tuning -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Tuning Source #
Typecheck ScoreT.Control Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.Control Source # to_type :: Proxy ScoreT.Control -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreT.Control Source #
Typecheck ScoreT.Function Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.Function Source # to_type :: Proxy ScoreT.Function -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreT.Function Source #
Typecheck ScoreT.Instrument Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.Instrument Source # to_type :: Proxy ScoreT.Instrument -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreT.Instrument Source #
Typecheck ScoreT.PControl Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.PControl Source # to_type :: Proxy ScoreT.PControl -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreT.PControl Source #
Typecheck ScoreT.Type Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.Type Source # to_type :: Proxy ScoreT.Type -> ValType.Type0 Source # from_subtrack :: SubT.Track -> Maybe ScoreT.Type Source #
Typecheck ScoreT.TypedFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.TypedFunction Source # to_type :: Proxy ScoreT.TypedFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreT.TypedFunction Source #
Typecheck ScoreT.TypedSignal Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreT.TypedSignal Source # to_type :: Proxy ScoreT.TypedSignal -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreT.TypedSignal Source #
Typecheck ChromaticTransposeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ChromaticTransposeFunctionT Source # to_type :: Proxy ChromaticTransposeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ChromaticTransposeFunctionT Source #
Typecheck DefaultDiatonic Source #	But some calls want to default to diatonic, not chromatic.
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DefaultDiatonic Source # to_type :: Proxy DefaultDiatonic -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DefaultDiatonic Source #
Typecheck DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DefaultReal Source # to_type :: Proxy DefaultReal -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DefaultReal Source #
Typecheck DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DefaultScore Source # to_type :: Proxy DefaultScore -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DefaultScore Source #
Typecheck DiatonicTransposeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked DiatonicTransposeFunctionT Source # to_type :: Proxy DiatonicTransposeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe DiatonicTransposeFunctionT Source #
Typecheck NnTransposeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked NnTransposeFunctionT Source # to_type :: Proxy NnTransposeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe NnTransposeFunctionT Source #
Typecheck Normalized Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Normalized Source # to_type :: Proxy Normalized -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Normalized Source #
Typecheck NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked NormalizedBipolar Source # to_type :: Proxy NormalizedBipolar -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe NormalizedBipolar Source #
Typecheck RealTimeFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked RealTimeFunction Source # to_type :: Proxy RealTimeFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe RealTimeFunction Source #
Typecheck RealTimeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked RealTimeFunctionT Source # to_type :: Proxy RealTimeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe RealTimeFunctionT Source #
Typecheck ScoreTimeFunction Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreTimeFunction Source # to_type :: Proxy ScoreTimeFunction -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreTimeFunction Source #
Typecheck ScoreTimeFunctionT Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreTimeFunctionT Source # to_type :: Proxy ScoreTimeFunctionT -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreTimeFunctionT Source #
Typecheck FreeCodePosition Source #
Instance details Defined in Perform.Lilypond.Constants Methods from_val :: DeriveT.Val -> Checked FreeCodePosition Source # to_type :: Proxy FreeCodePosition -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe FreeCodePosition Source #
Typecheck Pitch.NoteNumber Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Pitch.NoteNumber Source # to_type :: Proxy Pitch.NoteNumber -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Pitch.NoteNumber Source #
Typecheck Pitch.Pitch Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Pitch.Pitch Source # to_type :: Proxy Pitch.Pitch -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Pitch.Pitch Source #
Typecheck Pitch.Transpose Source #	VSignals can also be coerced into chromatic transposition, so you can write a plain number if you don't care about diatonic. This is different from `DeriveT.Duration`, which does not default an untyped literal, so you have to supply the type explicitly. The rationale is that many scales don't have diatonic or chromatic, and it would be annoying to have to specify one or the other when it was definitely irrelevant. But the RealTime ScoreTime distinction is universal, there is no single default that is appropriate for all calls. So they have to specify a default by taking a `DefaultScore` or `DefaultReal`, or require the caller to distinguish with `DeriveT.Duration`.
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Pitch.Transpose Source # to_type :: Proxy Pitch.Transpose -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Pitch.Transpose Source #
Typecheck RealTime.RealTime Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked RealTime.RealTime Source # to_type :: Proxy RealTime.RealTime -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe RealTime.RealTime Source #
Typecheck Signal.Control Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Signal.Control Source # to_type :: Proxy Signal.Control -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Signal.Control Source #
Typecheck Highlight Source #
Instance details Defined in Derive.C.Prelude.Highlight Methods from_val :: DeriveT.Val -> Checked Highlight Source # to_type :: Proxy Highlight -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Highlight Source #
Typecheck Meter.Rank Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Meter.Rank Source # to_type :: Proxy Meter.Rank -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Meter.Rank Source #
Typecheck ScoreTime.ScoreTime Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked ScoreTime.ScoreTime Source # to_type :: Proxy ScoreTime.ScoreTime -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe ScoreTime.ScoreTime Source #
Typecheck Text Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Text Source # to_type :: Proxy Text -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Text Source #
Typecheck Integer Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Integer Source # to_type :: Proxy Integer -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Integer Source #
Typecheck Bool Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Bool Source # to_type :: Proxy Bool -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Bool Source #
Typecheck Double Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Double Source # to_type :: Proxy Double -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Double Source #
Typecheck Int Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked Int Source # to_type :: Proxy Int -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe Int Source #
Typecheck (Ratio.Ratio Int) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (Ratio.Ratio Int) Source # to_type :: Proxy (Ratio.Ratio Int) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Ratio.Ratio Int) Source #
(Typecheck a, Ord a) => Typecheck (Set a) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (Set a) Source # to_type :: Proxy (Set a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Set a) Source #
Typecheck (Position CodePosition) Source #
Instance details Defined in Derive.Call.Ly Methods from_val :: DeriveT.Val -> Checked (Position CodePosition) Source # to_type :: Proxy (Position CodePosition) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Position CodePosition) Source #
Typecheck (ScoreT.Typed Signal.Y) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (ScoreT.Typed Signal.Y) Source # to_type :: Proxy (ScoreT.Typed Signal.Y) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (ScoreT.Typed Signal.Y) Source #
TypecheckNum a => Typecheck (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (NonNegative a) Source # to_type :: Proxy (NonNegative a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (NonNegative a) Source #
TypecheckNum a => Typecheck (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (Positive a) Source # to_type :: Proxy (Positive a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Positive a) Source #
Typecheck a => Typecheck (NonEmpty a) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (NonEmpty a) Source # to_type :: Proxy (NonEmpty a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (NonEmpty a) Source #
Typecheck a => Typecheck (Maybe a) Source #	Putting Maybe in Typecheck means I can have optional arguments with no defaults. Further docs in `defaulted`.
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (Maybe a) Source # to_type :: Proxy (Maybe a) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Maybe a) Source #
Typecheck a => Typecheck [a] Source #	A non-list is coerced into a singleton list.
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked [a] Source # to_type :: Proxy [a] -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe [a] Source #
(Typecheck a, Typecheck b) => Typecheck (Either a b) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (Either a b) Source # to_type :: Proxy (Either a b) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (Either a b) Source #
Typecheck (RealTime.RealTime -> RealTime.RealTime) Source #
Instance details Defined in Derive.Typecheck Methods from_val :: DeriveT.Val -> Checked (RealTime.RealTime -> RealTime.RealTime) Source # to_type :: Proxy (RealTime.RealTime -> RealTime.RealTime) -> ValType.Type Source # from_subtrack :: SubT.Track -> Maybe (RealTime.RealTime -> RealTime.RealTime) Source #

from_val_eval :: Typecheck a => ScoreTime.ScoreTime -> DeriveT.Val -> Derive.Deriver (Maybe a) Source #

from_val, but evaluate if it's an Eval.

from_val_simple :: Typecheck a => DeriveT.Val -> Maybe a Source #

type TEnum a = (ShowVal.ShowVal a, Bounded a, Enum a) Source #

I can automatically derive a Typecheck for enum types. So a simple enum can get a Typecheck by "just" deriving these plus Typecheck.

class ToVal a where Source #

This is the inverse of Typecheck's from_val.

Minimal complete definition

Nothing

Methods

to_val :: a -> DeriveT.Val Source #

default to_val :: TEnum a => a -> DeriveT.Val Source #

Instances

Instances details

ToVal Attrs.Attributes Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Attrs.Attributes -> DeriveT.Val Source #
ToVal KotekanStyle Source #
Instance details Defined in Derive.C.Bali.Gangsa Methods to_val :: KotekanStyle -> DeriveT.Val Source #
ToVal NorotStyle Source #
Instance details Defined in Derive.C.Bali.Gangsa Methods to_val :: NorotStyle -> DeriveT.Val Source #
ToVal Adjust Source #
Instance details Defined in Derive.C.Prelude.Trill Methods to_val :: Adjust -> DeriveT.Val Source #
ToVal Direction Source #
Instance details Defined in Derive.C.Prelude.Trill Methods to_val :: Direction -> DeriveT.Val Source #
ToVal Hand Source #
Instance details Defined in Derive.Call Methods to_val :: Hand -> DeriveT.Val Source #
ToVal UpDown Source #
Instance details Defined in Derive.Call Methods to_val :: UpDown -> DeriveT.Val Source #
ToVal Speed Source #
Instance details Defined in Derive.Call.Speed Methods to_val :: Speed -> DeriveT.Val Source #
ToVal DeriveT.CFunction Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.CFunction -> DeriveT.Val Source #
ToVal DeriveT.ControlRef Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.ControlRef -> DeriveT.Val Source #
ToVal DeriveT.Duration Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.Duration -> DeriveT.Val Source #
ToVal DeriveT.PControlRef Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.PControlRef -> DeriveT.Val Source #
ToVal DeriveT.PFunction Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.PFunction -> DeriveT.Val Source #
ToVal DeriveT.PSignal Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.PSignal -> DeriveT.Val Source #
ToVal DeriveT.Pitch Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.Pitch -> DeriveT.Val Source #
ToVal DeriveT.Quoted Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.Quoted -> DeriveT.Val Source #
ToVal DeriveT.Val Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DeriveT.Val -> DeriveT.Val Source #
ToVal Expr.Str Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Expr.Str -> DeriveT.Val Source #
ToVal Expr.Symbol Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Expr.Symbol -> DeriveT.Val Source #
ToVal ScoreT.Control Source #
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreT.Control -> DeriveT.Val Source #
ToVal ScoreT.Instrument Source #
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreT.Instrument -> DeriveT.Val Source #
ToVal ScoreT.PControl Source #
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreT.PControl -> DeriveT.Val Source #
ToVal ScoreT.Type Source #
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreT.Type -> DeriveT.Val Source #
ToVal ScoreT.TypedSignal Source #	Signal.Control has ToVal but not Typecheck, because calls should be using Function.
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreT.TypedSignal -> DeriveT.Val Source #
ToVal Dummy Source #
Instance details Defined in Derive.Sig Methods to_val :: Dummy -> DeriveT.Val Source #
ToVal DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DefaultDiatonic -> DeriveT.Val Source #
ToVal DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DefaultReal -> DeriveT.Val Source #
ToVal DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods to_val :: DefaultScore -> DeriveT.Val Source #
ToVal Normalized Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Normalized -> DeriveT.Val Source #
ToVal NormalizedBipolar Source #
Instance details Defined in Derive.Typecheck Methods to_val :: NormalizedBipolar -> DeriveT.Val Source #
ToVal FreeCodePosition Source #
Instance details Defined in Perform.Lilypond.Constants Methods to_val :: FreeCodePosition -> DeriveT.Val Source #
ToVal Pitch.NoteNumber Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Pitch.NoteNumber -> DeriveT.Val Source #
ToVal Pitch.Pitch Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Pitch.Pitch -> DeriveT.Val Source #
ToVal Pitch.Transpose Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Pitch.Transpose -> DeriveT.Val Source #
ToVal RealTime.RealTime Source #
Instance details Defined in Derive.Typecheck Methods to_val :: RealTime.RealTime -> DeriveT.Val Source #
ToVal Meter.Rank Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Meter.Rank -> DeriveT.Val Source #
ToVal ScoreTime.ScoreTime Source #
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreTime.ScoreTime -> DeriveT.Val Source #
ToVal Text Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Text -> DeriveT.Val Source #
ToVal Integer Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Integer -> DeriveT.Val Source #
ToVal Bool Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Bool -> DeriveT.Val Source #
ToVal Double Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Double -> DeriveT.Val Source #
ToVal Int Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Int -> DeriveT.Val Source #
ToVal (Ratio.Ratio Int) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Ratio.Ratio Int -> DeriveT.Val Source #
ToVal a => ToVal (Set a) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Set a -> DeriveT.Val Source #
ToVal (Position CodePosition) Source #
Instance details Defined in Derive.Call.Ly Methods to_val :: Position CodePosition -> DeriveT.Val Source #
ToVal (ScoreT.Typed Signal.Y) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: ScoreT.Typed Signal.Y -> DeriveT.Val Source #
ToVal a => ToVal (NonNegative a) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: NonNegative a -> DeriveT.Val Source #
ToVal a => ToVal (Positive a) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Positive a -> DeriveT.Val Source #
ToVal a => ToVal (Maybe a) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Maybe a -> DeriveT.Val Source #
ToVal a => ToVal [a] Source #
Instance details Defined in Derive.Typecheck Methods to_val :: [a] -> DeriveT.Val Source #
(ToVal a, ToVal b) => ToVal (Either a b) Source #
Instance details Defined in Derive.Typecheck Methods to_val :: Either a b -> DeriveT.Val Source #

to_type_symbol :: ShowVal.ShowVal a => [a] -> ValType.Type Source #

from_val_symbol :: Map Text a -> DeriveT.Val -> Checked a Source #

num_to_type :: TypecheckNum a => Proxy a -> ValType.Type Source #

class Typecheck a => TypecheckNum a where Source #

Methods

num_type :: Proxy a -> ValType.NumType Source #

Instances

Instances details

TypecheckNum Speed Source #
Instance details Defined in Derive.Call.Speed Methods num_type :: Proxy Speed -> ValType.NumType Source #
TypecheckNum DeriveT.Duration Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DeriveT.Duration -> ValType.NumType Source #
TypecheckNum DefaultDiatonic Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DefaultDiatonic -> ValType.NumType Source #
TypecheckNum DefaultReal Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DefaultReal -> ValType.NumType Source #
TypecheckNum DefaultScore Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy DefaultScore -> ValType.NumType Source #
TypecheckNum Pitch.NoteNumber Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy Pitch.NoteNumber -> ValType.NumType Source #
TypecheckNum Pitch.Transpose Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy Pitch.Transpose -> ValType.NumType Source #
TypecheckNum RealTime.RealTime Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy RealTime.RealTime -> ValType.NumType Source #
TypecheckNum ScoreTime.ScoreTime Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy ScoreTime.ScoreTime -> ValType.NumType Source #
TypecheckNum Integer Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy Integer -> ValType.NumType Source #
TypecheckNum Double Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy Double -> ValType.NumType Source #
TypecheckNum Int Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy Int -> ValType.NumType Source #
TypecheckNum (Ratio.Ratio Int) Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy (Ratio.Ratio Int) -> ValType.NumType Source #
TypecheckNum (ScoreT.Typed Signal.Y) Source #
Instance details Defined in Derive.Typecheck Methods num_type :: Proxy (ScoreT.Typed Signal.Y) -> ValType.NumType Source #

util

to_transpose :: ScoreT.TransposeT -> Double -> Pitch.Transpose Source #

transpose_control :: ScoreT.TransposeT -> ScoreT.Control Source #

controls

coerce_to_scalar :: (ScoreT.Typed Signal.Y -> Maybe a) -> DeriveT.Val -> Checked a Source #

Coerce any numeric value to a ScoreT.Typed Signal.Y, and check it against the given function.

lookup_function :: DeriveT.ControlRef -> Derive.Deriver (Maybe ScoreT.TypedFunction) Source #

Resolve a ref to a function, applying a CFunction if there is one.

lookup_signal :: ScoreT.Control -> Derive.Deriver (Maybe ScoreT.TypedSignal) Source #

As with lookup_pitch_function, this should be in Deriver.Lib.

val_to_signal :: DeriveT.Val -> Maybe (Either (Derive.Deriver ScoreT.TypedSignal) ScoreT.TypedSignal) Source #

val_to_function :: DeriveT.Val -> Maybe (Either (Derive.Deriver ScoreT.TypedFunction) ScoreT.TypedFunction) Source #

val_to_function_dyn :: DeriveT.Dynamic -> DeriveT.Val -> Maybe (Either (Derive.Deriver ScoreT.TypedFunction) ScoreT.TypedFunction) Source #

Unfortunately Internal.get_control_function_dynamic is non-trivial, so it makes sense to do it only once when converting many.

TODO does it really? It seems like a bogus tradeoff to have to make. I could cache it, but is that not what this is? If it's cheap to call Internal.get_control_function_dynamic and only expensive to force it, then I should always pass it, and rely on laziness.

pitch signals

val_to_pitch_signal :: DeriveT.Val -> Maybe (Either (Derive.Deriver DeriveT.PSignal) DeriveT.PSignal) Source #

lookup_pitch_signal :: ScoreT.PControl -> Derive.Deriver (Maybe DeriveT.PSignal) Source #

This should be in Deriver.Lib, but has to be here so the instance Typecheck PitchFunction can be declared here and avoid circular import.

resolve_pitch_ref :: DeriveT.PControlRef -> Derive.Deriver DeriveT.PSignal Source #

This is the pitch version of resolve_control_ref, except simpler because there's no pitch equivalent of CFunction.

compatibility

resolve_function :: DeriveT.ControlRef -> Derive.Deriver ScoreT.TypedFunction Source #

Orphan instances

ShowVal.ShowVal Meter.Rank Source #
Instance details Methods show_val :: Meter.Rank -> Text Source #