vivid-0.4.2.4: Sound synthesis with SuperCollider

Safe HaskellNone
LanguageHaskell2010
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

Synopsis

Type Set Operations

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

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!!!"))’
  

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 

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 #

Instances
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 #

class VarList from where Source #

Associated Types

type InnerVars from :: [Symbol] Source #

Instances
VarList () Source # 
Instance details

Defined in Vivid.SynthDef.TypesafeArgs

Associated Types

type InnerVars () :: [Symbol] Source #

VarList (TypedVarList a) Source #

Wheeeeeeeeeeeeeeee!

Instance details

Defined in Vivid.SynthDef.TypesafeArgs

Associated Types

type InnerVars (TypedVarList a) :: [Symbol] Source #

KnownSymbol a => VarList (I a) Source # 
Instance details

Defined in Vivid.SynthDef.TypesafeArgs

Associated Types

type InnerVars (I a) :: [Symbol] 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 #

(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 #

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] #

KnownSymbol a => VarList (I a) Source # 
Instance details

Defined in Vivid.SynthDef.TypesafeArgs

Associated Types

type InnerVars (I a) :: [Symbol] 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 #

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 #

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 #

type InnerVars (AddParams a b) Source # 
Instance details

Defined in Vivid.SynthDef.TypesafeArgs

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 #