Safe Haskell	None
Language	Haskell98
Extensions	UndecidableInstances ScopedTypeVariables TypeFamilies ViewPatterns PolyKinds DataKinds InstanceSigs StandaloneDeriving DefaultSignatures TypeSynonymInstances FlexibleContexts FlexibleInstances ConstrainedClassMethods MultiParamTypeClasses FunctionalDependencies ExistentialQuantification KindSignatures TypeOperators ExplicitNamespaces ExplicitForAll LambdaCase

Vivid.SynthDef.TypesafeArgs

Contents

Type Set Operations
Type arguments
Other

Synopsis

type family SubsetBoolToBool (a :: Bool_IsSubsetOf) :: Bool where ...
type family ElemBoolToBool (a :: Bool_IsElemOf) :: Bool where ...
type family SetInsert (s :: x) (sSet :: [x]) :: [x] where ...
type family SetEqual (a :: [x]) (b :: [x]) :: Bool where ...
type family SetUnion (a :: [x]) (b :: [x]) :: [x] where ...
type family IsSubsetOf (a :: [x]) (b :: [x]) :: Bool_IsSubsetOf where ...
data Bool_IsSubsetOf
- = True_IsSubsetOf
- | False_IsSubsetOf
type family Subset (as :: [Symbol]) (bs :: [Symbol]) :: Constraint where ...
type family IsElemOf (a :: x) (l :: [x]) :: Bool_IsElemOf where ...
data Bool_IsElemOf
- = True_IsElemOf
- | False_IsElemOf
type family Elem (a :: Symbol) (xs :: [Symbol]) :: Constraint where ...
class TagList from where
- type AllTags from :: [Symbol]
- tagStrings :: from -> [String]
class VarList from where
- type InnerVars from :: [Symbol]
- makeTypedVarList :: from -> TypedVarList (InnerVars from)
type V = Variable
data Vs (a :: [Symbol]) = Vs
data Variable (a :: Symbol) = KnownSymbol a => V
data I (x :: Symbol) = KnownSymbol x => I Float
data VarSet (s :: [Symbol]) = VarSet
type TypedVarList (c :: [Symbol]) = ([(String, Float)], VarSet c)
emptyVarSet :: VarSet '[]
iToLiteralVar :: KnownSymbol s => I s -> (String, Float)
iToVar :: KnownSymbol s => I s -> V s
data AddParams a b = (VarList a, VarList b) => AddParams a b
toI :: (Real n, KnownSymbol a) => n -> I a
toF :: Real n => n -> Float
class GetSymbolVals x where
- getSymbolVals :: x -> [String]

Type Set Operations

type family SubsetBoolToBool (a :: Bool_IsSubsetOf) :: Bool where ... Source #

Equations

SubsetBoolToBool True_IsSubsetOf = True
SubsetBoolToBool False_IsSubsetOf = False

type family ElemBoolToBool (a :: Bool_IsElemOf) :: Bool where ... Source #

Equations

ElemBoolToBool True_IsElemOf = True
ElemBoolToBool False_IsElemOf = False

type family SetInsert (s :: x) (sSet :: [x]) :: [x] where ... Source #

Equations

SetInsert e (e ': xs) = e ': xs
SetInsert e xs = e ': xs

type family SetEqual (a :: [x]) (b :: [x]) :: Bool where ... Source #

>  >  :kind! SetEqual '["bye", "hi","bye","bye"] '["bye","hi","hi"]
> SetEqual '["bye","hi","bye","bye"] '["bye","hi","hi"] :: Bool
> = 'True

Equations

SetEqual a b = SubsetBoolToBool (IsSubsetOf a b) && SubsetBoolToBool (IsSubsetOf b a)

type family SetUnion (a :: [x]) (b :: [x]) :: [x] where ... Source #

Equations

SetUnion '[] bs = bs
SetUnion (anA ': as) bs = SetUnion as (SetInsert anA bs)

type family IsSubsetOf (a :: [x]) (b :: [x]) :: Bool_IsSubsetOf where ... Source #

Equations

IsSubsetOf a b = IsSubsetOfPrime a b b

data Bool_IsSubsetOf Source #

So for example if you have:

  foo = sd (440 ::I "freq") $ do
     s <- sinOsc (freq_ (A::A "freq!!!"))
     out 0 [s,s]

It'll tell you that you have an invalid synthdef with the error:

    Couldn't match type ‘'False_IsSubsetOf’ with ‘'True_IsSubsetOf’
                            In the first argument of ‘sinOsc’, namely
      ‘(freq_ (V :: A "freq!!!"))’

Constructors

True_IsSubsetOf
False_IsSubsetOf

type family Subset (as :: [Symbol]) (bs :: [Symbol]) :: Constraint where ... Source #

Equations

Subset '[] bs = ()
Subset (a ': as) bs = (Elem a bs, Subset as bs)

type family IsElemOf (a :: x) (l :: [x]) :: Bool_IsElemOf where ... Source #

Equations

IsElemOf a '[] = False_IsElemOf
IsElemOf a (a ': b) = True_IsElemOf
IsElemOf a (notA ': b) = IsElemOf a b

data Bool_IsElemOf Source #

Constructors

True_IsElemOf
False_IsElemOf

type family Elem (a :: Symbol) (xs :: [Symbol]) :: Constraint where ... Source #

Equations

Elem a (a ': xs) = ()
Elem a (x ': xs) = Elem a xs

Type arguments

class TagList from where Source #

Associated Types

type AllTags from :: [Symbol] Source #

Methods

tagStrings :: from -> [String] Source #

class VarList from where Source #

Associated Types

type InnerVars from :: [Symbol] Source #

Methods

makeTypedVarList :: from -> TypedVarList (InnerVars from) Source #

Instances

VarList () Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars () :: [Symbol] Source # Methods makeTypedVarList :: () -> TypedVarList (InnerVars ()) Source #
VarList (TypedVarList a) Source #	Wheeeeeeeeeeeeeeee!
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (TypedVarList a) :: [Symbol] Source # Methods makeTypedVarList :: TypedVarList a -> TypedVarList (InnerVars (TypedVarList a)) Source #
KnownSymbol a => VarList (I a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a) :: [Symbol] Source # Methods makeTypedVarList :: I a -> TypedVarList (InnerVars (I a)) Source #
(KnownSymbol a, KnownSymbol b) => VarList (I a, I b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b) -> TypedVarList (InnerVars (I a, I b)) Source #
VarList (AddParams a b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (AddParams a b) :: [Symbol] Source # Methods makeTypedVarList :: AddParams a b -> TypedVarList (InnerVars (AddParams a b)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => VarList (I a, I b, I c) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c) -> TypedVarList (InnerVars (I a, I b, I c)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => VarList (I a, I b, I c, I d) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d) -> TypedVarList (InnerVars (I a, I b, I c, I d)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => VarList (I a, I b, I c, I d, I e) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f) => VarList (I a, I b, I c, I d, I e, I f) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g) => VarList (I a, I b, I c, I d, I e, I f, I g) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h) => VarList (I a, I b, I c, I d, I e, I f, I g, I h) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w, KnownSymbol x) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w, KnownSymbol x, KnownSymbol y) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w, KnownSymbol x, KnownSymbol y, KnownSymbol z) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z)) Source #

type V = Variable Source #

data Vs (a :: [Symbol]) Source #

Constructors

Vs

This is aliased as Variable:

data Variable (a :: Symbol) Source #

Constructors

KnownSymbol a => V

Instances

Show (Variable a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods showsPrec :: Int -> Variable a -> ShowS # show :: Variable a -> String # showList :: [Variable a] -> ShowS #
KnownSymbol a => TagList (V a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a) :: [Symbol] Source # Methods tagStrings :: V a -> [String] Source #
(KnownSymbol a, Subset (a ': ([] :: [Symbol])) args) => ToSig (Variable a) args Source #
Instance details Defined in Vivid.SynthDef.ToSig Methods toSig :: Variable a -> SDBody' args Signal Source #
(KnownSymbol a, KnownSymbol b) => TagList (V a, V b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b) :: [Symbol] Source # Methods tagStrings :: (V a, V b) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => TagList (V a, V b, V c) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => TagList (V a, V b, V c, V d) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => TagList (V a, V b, V c, V d, V e) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f) => TagList (V a, V b, V c, V d, V e, V f) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g) => TagList (V a, V b, V c, V d, V e, V f, V g) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h) => TagList (V a, V b, V c, V d, V e, V f, V g, V h) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) -> [String] Source #
type AllTags (V a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a) = a ': ([] :: [Symbol])
type AllTags (V a, V b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b) = a ': (b ': ([] :: [Symbol]))
type AllTags (V a, V b, V c) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c) = a ': (b ': (c ': ([] :: [Symbol])))
type AllTags (V a, V b, V c, V d) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d) = a ': (b ': (c ': (d ': ([] :: [Symbol]))))
type AllTags (V a, V b, V c, V d, V e) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e) = a ': (b ': (c ': (d ': (e ': ([] :: [Symbol])))))
type AllTags (V a, V b, V c, V d, V e, V f) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f) = a ': (b ': (c ': (d ': (e ': (f ': ([] :: [Symbol]))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g) = a ': (b ': (c ': (d ': (e ': (f ': (g ': ([] :: [Symbol])))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': ([] :: [Symbol]))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': ([] :: [Symbol])))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': ([] :: [Symbol]))))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': ([] :: [Symbol])))))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': ([] :: [Symbol]))))))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': ([] :: [Symbol])))))))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': ([] :: [Symbol]))))))))))))))
type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': ([] :: [Symbol])))))))))))))))

data I (x :: Symbol) Source #

Constructors

KnownSymbol x => I Float

Instances

KnownSymbol s => Enum (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods succ :: I s -> I s # pred :: I s -> I s # toEnum :: Int -> I s # fromEnum :: I s -> Int # enumFrom :: I s -> [I s] # enumFromThen :: I s -> I s -> [I s] # enumFromTo :: I s -> I s -> [I s] # enumFromThenTo :: I s -> I s -> I s -> [I s] #
KnownSymbol s => Eq (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods (==) :: I s -> I s -> Bool # (/=) :: I s -> I s -> Bool #
KnownSymbol s => Floating (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods pi :: I s # exp :: I s -> I s # log :: I s -> I s # sqrt :: I s -> I s # (**) :: I s -> I s -> I s # logBase :: I s -> I s -> I s # sin :: I s -> I s # cos :: I s -> I s # tan :: I s -> I s # asin :: I s -> I s # acos :: I s -> I s # atan :: I s -> I s # sinh :: I s -> I s # cosh :: I s -> I s # tanh :: I s -> I s # asinh :: I s -> I s # acosh :: I s -> I s # atanh :: I s -> I s # log1p :: I s -> I s # expm1 :: I s -> I s # log1pexp :: I s -> I s # log1mexp :: I s -> I s #
KnownSymbol s => Fractional (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods (/) :: I s -> I s -> I s # recip :: I s -> I s # fromRational :: Rational -> I s #
KnownSymbol s => Num (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods (+) :: I s -> I s -> I s # (-) :: I s -> I s -> I s # (*) :: I s -> I s -> I s # negate :: I s -> I s # abs :: I s -> I s # signum :: I s -> I s # fromInteger :: Integer -> I s #
KnownSymbol s => Ord (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods compare :: I s -> I s -> Ordering # (<) :: I s -> I s -> Bool # (<=) :: I s -> I s -> Bool # (>) :: I s -> I s -> Bool # (>=) :: I s -> I s -> Bool # max :: I s -> I s -> I s # min :: I s -> I s -> I s #
KnownSymbol s => Read (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods readsPrec :: Int -> ReadS (I s) # readList :: ReadS [I s] # readPrec :: ReadPrec (I s) # readListPrec :: ReadPrec [I s] #
KnownSymbol s => Real (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods toRational :: I s -> Rational #
KnownSymbol s => RealFloat (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods floatRadix :: I s -> Integer # floatDigits :: I s -> Int # floatRange :: I s -> (Int, Int) # decodeFloat :: I s -> (Integer, Int) # encodeFloat :: Integer -> Int -> I s # exponent :: I s -> Int # significand :: I s -> I s # scaleFloat :: Int -> I s -> I s # isNaN :: I s -> Bool # isInfinite :: I s -> Bool # isDenormalized :: I s -> Bool # isNegativeZero :: I s -> Bool # isIEEE :: I s -> Bool # atan2 :: I s -> I s -> I s #
KnownSymbol s => RealFrac (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods properFraction :: Integral b => I s -> (b, I s) # truncate :: Integral b => I s -> b # round :: Integral b => I s -> b # ceiling :: Integral b => I s -> b # floor :: Integral b => I s -> b #
KnownSymbol s => Show (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods showsPrec :: Int -> I s -> ShowS # show :: I s -> String # showList :: [I s] -> ShowS #
KnownSymbol s => Random (I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods randomR :: RandomGen g => (I s, I s) -> g -> (I s, g) # random :: RandomGen g => g -> (I s, g) # randomRs :: RandomGen g => (I s, I s) -> g -> [I s] # randoms :: RandomGen g => g -> [I s] # randomRIO :: (I s, I s) -> IO (I s) # randomIO :: IO (I s) #
KnownSymbol a => VarList (I a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a) :: [Symbol] Source # Methods makeTypedVarList :: I a -> TypedVarList (InnerVars (I a)) Source #
(KnownSymbol a, KnownSymbol b) => VarList (I a, I b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b) -> TypedVarList (InnerVars (I a, I b)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => VarList (I a, I b, I c) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c) -> TypedVarList (InnerVars (I a, I b, I c)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => VarList (I a, I b, I c, I d) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d) -> TypedVarList (InnerVars (I a, I b, I c, I d)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => VarList (I a, I b, I c, I d, I e) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f) => VarList (I a, I b, I c, I d, I e, I f) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g) => VarList (I a, I b, I c, I d, I e, I f, I g) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h) => VarList (I a, I b, I c, I d, I e, I f, I g, I h) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w, KnownSymbol x) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w, KnownSymbol x, KnownSymbol y) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y)) Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o, KnownSymbol p, KnownSymbol q, KnownSymbol r, KnownSymbol s, KnownSymbol t, KnownSymbol u, KnownSymbol v, KnownSymbol w, KnownSymbol x, KnownSymbol y, KnownSymbol z) => VarList (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) :: [Symbol] Source # Methods makeTypedVarList :: (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) -> TypedVarList (InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z)) Source #
type InnerVars (I a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a) = a ': ([] :: [Symbol])
type InnerVars (I a, I b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b) = a ': (b ': ([] :: [Symbol]))
type InnerVars (I a, I b, I c) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c) = a ': (b ': (c ': ([] :: [Symbol])))
type InnerVars (I a, I b, I c, I d) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d) = a ': (b ': (c ': (d ': ([] :: [Symbol]))))
type InnerVars (I a, I b, I c, I d, I e) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e) = a ': (b ': (c ': (d ': (e ': ([] :: [Symbol])))))
type InnerVars (I a, I b, I c, I d, I e, I f) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f) = a ': (b ': (c ': (d ': (e ': (f ': ([] :: [Symbol]))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g) = a ': (b ': (c ': (d ': (e ': (f ': (g ': ([] :: [Symbol])))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': ([] :: [Symbol]))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': ([] :: [Symbol])))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': ([] :: [Symbol]))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': ([] :: [Symbol])))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': ([] :: [Symbol]))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': ([] :: [Symbol])))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': ([] :: [Symbol]))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': ([] :: [Symbol])))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': ([] :: [Symbol]))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': ([] :: [Symbol])))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': ([] :: [Symbol]))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': ([] :: [Symbol])))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': ([] :: [Symbol]))))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': (u ': ([] :: [Symbol])))))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': (u ': (v ': ([] :: [Symbol]))))))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': (u ': (v ': (w ': ([] :: [Symbol])))))))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': (u ': (v ': (w ': (x ': ([] :: [Symbol]))))))))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': (u ': (v ': (w ': (x ': (y ': ([] :: [Symbol])))))))))))))))))))))))))
type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j, I k, I l, I m, I n, I o, I p, I q, I r, I s, I t, I u, I v, I w, I x, I y, I z) = a ': (b ': (c ': (d ': (e ': (f ': (g ': (h ': (i ': (j ': (k ': (l ': (m ': (n ': (o ': (p ': (q ': (r ': (s ': (t ': (u ': (v ': (w ': (x ': (y ': (z ': ([] :: [Symbol]))))))))))))))))))))))))))

data VarSet (s :: [Symbol]) Source #

Constructors

VarSet

Instances

GetSymbolVals (VarSet xs) => Show (VarSet xs) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods showsPrec :: Int -> VarSet xs -> ShowS # show :: VarSet xs -> String # showList :: [VarSet xs] -> ShowS #
VarList (TypedVarList a) Source #	Wheeeeeeeeeeeeeeee!
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (TypedVarList a) :: [Symbol] Source # Methods makeTypedVarList :: TypedVarList a -> TypedVarList (InnerVars (TypedVarList a)) Source #
a ~ args => ToSig (SDBody' a Signal) args Source #
Instance details Defined in Vivid.SynthDef.ToSig Methods toSig :: SDBody' a Signal -> SDBody' args Signal Source #
type InnerVars (TypedVarList a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (TypedVarList a) = a

type TypedVarList (c :: [Symbol]) = ([(String, Float)], VarSet c) Source #

emptyVarSet :: VarSet '[] Source #

iToLiteralVar :: KnownSymbol s => I s -> (String, Float) Source #

iToVar :: KnownSymbol s => I s -> V s Source #

data AddParams a b infixl 9 Source #

Lets you combine sets of arguments. e.g.

(1 ::I "foo", 2 ::I "bar") `AddParams` (3 ::I "baz")

means the same thing as

(1 ::I "foo", 2 ::I "bar", 3 ::I "baz")

This is left-biased, just like union

i.e. if you say:

(99 ::I "same") `AddParams` (0 ::I "same")

It'll mean the same as

(99 ::I "same")

Constructors

(VarList a, VarList b) => AddParams a b infixl 9

Instances

(Show a, Show b) => Show (AddParams a b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods showsPrec :: Int -> AddParams a b -> ShowS # show :: AddParams a b -> String # showList :: [AddParams a b] -> ShowS #
VarList (AddParams a b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type InnerVars (AddParams a b) :: [Symbol] Source # Methods makeTypedVarList :: AddParams a b -> TypedVarList (InnerVars (AddParams a b)) Source #
type InnerVars (AddParams a b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs type InnerVars (AddParams a b) = SetUnion (InnerVars a) (InnerVars b)

Other

toI :: (Real n, KnownSymbol a) => n -> I a Source #

toF :: Real n => n -> Float Source #

class GetSymbolVals x where Source #

Methods

getSymbolVals :: x -> [String] Source #

Instances

(KnownSymbol x, GetSymbolVals (Proxy xs)) => GetSymbolVals (proxy (x ': xs)) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods getSymbolVals :: proxy (x ': xs) -> [String] Source #
GetSymbolVals (proxy ([] :: [k])) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Methods getSymbolVals :: proxy [] -> [String] Source #

TagList () Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags () :: [Symbol] Source # Methods tagStrings :: () -> [String] Source #
KnownSymbol a => TagList (V a) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a) :: [Symbol] Source # Methods tagStrings :: V a -> [String] Source #
(KnownSymbol a, KnownSymbol b) => TagList (V a, V b) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b) :: [Symbol] Source # Methods tagStrings :: (V a, V b) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => TagList (V a, V b, V c) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => TagList (V a, V b, V c, V d) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => TagList (V a, V b, V c, V d, V e) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f) => TagList (V a, V b, V c, V d, V e, V f) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g) => TagList (V a, V b, V c, V d, V e, V f, V g) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h) => TagList (V a, V b, V c, V d, V e, V f, V g, V h) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n) -> [String] Source #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e, KnownSymbol f, KnownSymbol g, KnownSymbol h, KnownSymbol i, KnownSymbol j, KnownSymbol k, KnownSymbol l, KnownSymbol m, KnownSymbol n, KnownSymbol o) => TagList (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) Source #
Instance details Defined in Vivid.SynthDef.TypesafeArgs Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) :: [Symbol] Source # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j, V k, V l, V m, V n, V o) -> [String] Source #