Safe Haskell	Safe-Inferred

Derive.ValType

Description

Type descriptions of the Val.

This is in its own module so Derive.Deriver.Monad can import it without importing Derive.Typecheck.

Synopsis

Documentation

Constructors

TVal	This is the "any" type.
TSignal NumType NumValue
TPSignal
TAttributes
TControlRef
TPControlRef
TPitch
TNotePitch
TStr (Maybe [Text])	Text string, with enum values if it's an enum.
TControl
TPControl
TNotGiven
TSeparator
TMaybe Type
TEither Type Type
TPair Type Type	Two types in sequence. This has no corresponding Typecheck instance since it doesn't correspond to a single Val, but is used by Derive.Sig for documentation.
TQuoted	A `VQuoted`. This has no Typecheck instance so it should never show up as a call argument.
TCFunction
TPFunction
TList Type
TDeriver Text
TOther Text	Typecheck instances that don't correspond directly to a Val type get this, as a plain description.

Instances details

Semigroup Type Source #	Get the intersection of the types. If there's no intersection, it winds up at TVal. This is for `infer_type_of`
Instance details Defined in Derive.ValType Methods (<>) :: Type -> Type -> Type # sconcat :: NonEmpty Type -> Type # stimes :: Integral b => b -> Type -> Type #
Show Type Source #
Instance details Defined in Derive.ValType Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Eq Type Source #
Instance details Defined in Derive.ValType Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in Derive.ValType Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Pretty Type Source #
Instance details Defined in Derive.ValType Methods pretty :: Type -> Text Source # format :: Type -> Doc Source # formatList :: [Type] -> Doc Source #

Some of these are subtypes of others (TTranspose includes TDefaultDiatonic), but since they're just documentation, it shouldn't matter.

Constructors

Instances details

Semigroup NumType Source #
Instance details Defined in Derive.ValType Methods (<>) :: NumType -> NumType -> NumType # sconcat :: NonEmpty NumType -> NumType # stimes :: Integral b => b -> NumType -> NumType #
Show NumType Source #
Instance details Defined in Derive.ValType Methods showsPrec :: Int -> NumType -> ShowS # show :: NumType -> String # showList :: [NumType] -> ShowS #
Eq NumType Source #
Instance details Defined in Derive.ValType Methods (==) :: NumType -> NumType -> Bool # (/=) :: NumType -> NumType -> Bool #
Ord NumType Source #
Instance details Defined in Derive.ValType Methods compare :: NumType -> NumType -> Ordering # (<) :: NumType -> NumType -> Bool # (<=) :: NumType -> NumType -> Bool # (>) :: NumType -> NumType -> Bool # (>=) :: NumType -> NumType -> Bool # max :: NumType -> NumType -> NumType # min :: NumType -> NumType -> NumType #
Pretty NumType Source #
Instance details Defined in Derive.ValType Methods pretty :: NumType -> Text Source # format :: NumType -> Doc Source # formatList :: [NumType] -> Doc Source #

Numeric subtypes.

Constructors

Instances details

Semigroup NumValue Source #
Instance details Defined in Derive.ValType Methods (<>) :: NumValue -> NumValue -> NumValue # sconcat :: NonEmpty NumValue -> NumValue # stimes :: Integral b => b -> NumValue -> NumValue #
Show NumValue Source #
Instance details Defined in Derive.ValType Methods showsPrec :: Int -> NumValue -> ShowS # show :: NumValue -> String # showList :: [NumValue] -> ShowS #
Eq NumValue Source #
Instance details Defined in Derive.ValType Methods (==) :: NumValue -> NumValue -> Bool # (/=) :: NumValue -> NumValue -> Bool #
Ord NumValue Source #
Instance details Defined in Derive.ValType Methods compare :: NumValue -> NumValue -> Ordering # (<) :: NumValue -> NumValue -> Bool # (<=) :: NumValue -> NumValue -> Bool # (>) :: NumValue -> NumValue -> Bool # (>=) :: NumValue -> NumValue -> Bool # max :: NumValue -> NumValue -> NumValue # min :: NumValue -> NumValue -> NumValue #
Pretty NumValue Source #
Instance details Defined in Derive.ValType Methods pretty :: NumValue -> Text Source # format :: NumValue -> Doc Source # formatList :: [NumValue] -> Doc Source #

Infer a general type. This is also for type errors, but for env type check errors, which use types_equal, which doesn't check the value.

Infer the most specific type possible, looking at the value inside. This is for documentation (e.g. type error messages) for values.