Vivid.SynthDef.TypesafeArgs

Type Set Operations

type family SubsetBoolToBool a :: Bool

Equations

SubsetBoolToBool True_IsSubsetOf = True

SubsetBoolToBool False_IsSubsetOf = False

type family ElemBoolToBool a :: Bool

Equations

ElemBoolToBool True_IsElemOf = True

ElemBoolToBool False_IsElemOf = False

type family SetInsert s sSet :: [x]

Equations

SetInsert e (e : xs) = e : xs

SetInsert e xs = e : xs

type family SetEqual a b :: Bool

>  >  :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 b :: [x]

Equations

SetUnion `[]` bs = bs

SetUnion (anA : as) bs = SetUnion as (SetInsert anA bs)

type family IsSubsetOf a b :: Bool_IsSubsetOf

Equations

IsSubsetOf a b = IsSubsetOfPrime a b b

data Bool_IsSubsetOf

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 bs :: Constraint

Equations

Subset `[]` bs = ()

Subset (a : as) bs = (Elem a bs, Subset as bs)

type family IsElemOf a l :: Bool_IsElemOf

Equations

IsElemOf a `[]` = False_IsElemOf

IsElemOf a (a : b) = True_IsElemOf

IsElemOf a (notA : b) = IsElemOf a b

data Bool_IsElemOf

Constructors

True_IsElemOf

False_IsElemOf

type family Elem a xs :: Constraint

Equations

Elem a (a : xs) = ()

Elem a (x : xs) = Elem a xs

Type arguments

class TagList from where

Associated Types

type AllTags from :: [Symbol]

Methods

tagStrings :: from -> [String]

Instances

TagList ()

KnownSymbol a => TagList (V a)

(KnownSymbol a, KnownSymbol b) => TagList (V a, V b)

(KnownSymbol a, KnownSymbol b, KnownSymbol c) => TagList (V a, V b, V c)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => TagList (V a, V b, V c, V d)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => TagList (V a, V b, V c, V d, V e)

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

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

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

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

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

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

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

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

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

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

class VarList from where

Associated Types

type InnerVars from :: [Symbol]

Methods

makeTypedVarList :: from -> TypedVarList (InnerVars from)

Instances

VarList ()

VarList (TypedVarList a)

Wheeeeeeeeeeeeeeee!

KnownSymbol a => VarList (I a)

(KnownSymbol a, KnownSymbol b) => VarList (I a, I b)

VarList (AddParams a b)

(KnownSymbol a, KnownSymbol b, KnownSymbol c) => VarList (I a, I b, I c)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => VarList (I a, I b, I c, I d)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => VarList (I a, I b, I c, I d, I e)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type V = Variable

data Vs a

Constructors

Vs

This is aliased as V:

data Variable a where

Constructors

V :: KnownSymbol a => Variable a

Instances

Show (Variable a)

KnownSymbol a => TagList (V a)

(KnownSymbol a, Subset ((:) Symbol a ([] Symbol)) args) => ToSig (Variable a) args

(KnownSymbol a, KnownSymbol b) => TagList (V a, V b)

(KnownSymbol a, KnownSymbol b, KnownSymbol c) => TagList (V a, V b, V c)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => TagList (V a, V b, V c, V d)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => TagList (V a, V b, V c, V d, V e)

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

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

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

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

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

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

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

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

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

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

type AllTags (V a) = (:) Symbol a ([] Symbol)

type AllTags (V a, V b) = (:) Symbol a ((:) Symbol b ([] Symbol))

type AllTags (V a, V b, V c) = (:) Symbol a ((:) Symbol b ((:) Symbol c ([] Symbol)))

type AllTags (V a, V b, V c, V d) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ([] Symbol))))

type AllTags (V a, V b, V c, V d, V e) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ([] Symbol)))))

type AllTags (V a, V b, V c, V d, V e, V f) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ([] Symbol))))))

type AllTags (V a, V b, V c, V d, V e, V f, V g) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ([] Symbol)))))))

type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ([] Symbol))))))))

type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ([] Symbol)))))))))

type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ([] Symbol)))))))))))))))

data I x where

Constructors

I :: KnownSymbol x => Float -> I x

Instances

KnownSymbol s => Enum (I s)

KnownSymbol s => Eq (I s)

KnownSymbol s => Floating (I s)

KnownSymbol s => Fractional (I s)

KnownSymbol s => Num (I s)

KnownSymbol s => Ord (I s)

KnownSymbol s => Read (I s)

KnownSymbol s => Real (I s)

KnownSymbol s => RealFloat (I s)

KnownSymbol s => RealFrac (I s)

KnownSymbol s => Show (I s)

KnownSymbol s => Random (I s)

KnownSymbol a => VarList (I a)

(KnownSymbol a, KnownSymbol b) => VarList (I a, I b)

(KnownSymbol a, KnownSymbol b, KnownSymbol c) => VarList (I a, I b, I c)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => VarList (I a, I b, I c, I d)

(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => VarList (I a, I b, I c, I d, I e)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type InnerVars (I a) = (:) Symbol a ([] Symbol)

type InnerVars (I a, I b) = (:) Symbol a ((:) Symbol b ([] Symbol))

type InnerVars (I a, I b, I c) = (:) Symbol a ((:) Symbol b ((:) Symbol c ([] Symbol)))

type InnerVars (I a, I b, I c, I d) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ([] Symbol))))

type InnerVars (I a, I b, I c, I d, I e) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ([] Symbol)))))

type InnerVars (I a, I b, I c, I d, I e, I f) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ([] Symbol))))))

type InnerVars (I a, I b, I c, I d, I e, I f, I g) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ([] Symbol)))))))

type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ([] Symbol))))))))

type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ([] Symbol)))))))))

type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i, I j) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol t ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol t ((:) Symbol u ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol t ((:) Symbol u ((:) Symbol v ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol t ((:) Symbol u ((:) Symbol v ((:) Symbol w ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol t ((:) Symbol u ((:) Symbol v ((:) Symbol w ((:) Symbol x ((:) Symbol 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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ((:) Symbol l ((:) Symbol m ((:) Symbol n ((:) Symbol o ((:) Symbol p ((:) Symbol q ((:) Symbol r ((:) Symbol s ((:) Symbol t ((:) Symbol u ((:) Symbol v ((:) Symbol w ((:) Symbol x ((:) Symbol y ((:) Symbol z ([] Symbol))))))))))))))))))))))))))

data VarSet s

Constructors

VarSet

Instances

GetSymbolVals (VarSet xs) => Show (VarSet xs)

VarList (TypedVarList a)

Wheeeeeeeeeeeeeeee!

(~) [Symbol] a args => ToSig (SDBody' a Signal) args

type InnerVars (TypedVarList a) = a

type TypedVarList c = ([(String, Float)], VarSet c)

emptyVarSet :: VarSet `[]`

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

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

data AddParams a b infixl 9

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)

VarList (AddParams a b)

type InnerVars (AddParams a b) = SetUnion Symbol (InnerVars a) (InnerVars b)

Other

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

toF :: Real n => n -> Float

class GetSymbolVals x where

Methods

getSymbolVals :: x -> [String]

Instances

(KnownSymbol x, GetSymbolVals (Proxy [Symbol] xs)) => GetSymbolVals (proxy ((:) Symbol x xs))

GetSymbolVals (proxy ([] k))