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

Vivid.SynthDef.TypesafeArgs

Contents

Type Set Operations
Type arguments
Other

Synopsis

Type Set Operations

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

Equations

SubsetBoolToBool True_IsSubsetOf = True
SubsetBoolToBool False_IsSubsetOf = False

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

Equations

ElemBoolToBool True_IsElemOf = True
ElemBoolToBool False_IsElemOf = False

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

Equations

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

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

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

Equations

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

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

Equations

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

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

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 :: [Symbol]) (bs :: [Symbol]) :: Constraint where ... #

Equations

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

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

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 :: Symbol) (xs :: [Symbol]) :: Constraint where ... #

Equations

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

Type arguments

class TagList from where #

Minimal complete definition

tagStrings

Associated Types

type AllTags from :: [Symbol] #

Methods

tagStrings :: from -> [String] #

class VarList from where #

Minimal complete definition

makeTypedVarList

Associated Types

type InnerVars from :: [Symbol] #

Methods

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

Instances

VarList () #
Associated Types type InnerVars () :: [Symbol] # Methods makeTypedVarList :: () -> TypedVarList (InnerVars ()) #
VarList (TypedVarList a) #	Wheeeeeeeeeeeeeeee!
Associated Types type InnerVars (TypedVarList a) :: [Symbol] # Methods makeTypedVarList :: TypedVarList a -> TypedVarList (InnerVars (TypedVarList a)) #
KnownSymbol a => VarList (I a) #
Associated Types type InnerVars (I a) :: [Symbol] # Methods makeTypedVarList :: I a -> TypedVarList (InnerVars (I a)) #
(KnownSymbol a, KnownSymbol b) => VarList (I a, I b) #
Associated Types type InnerVars (I a, I b) :: [Symbol] # Methods makeTypedVarList :: (I a, I b) -> TypedVarList (InnerVars (I a, I b)) #
VarList (AddParams a b) #
Associated Types type InnerVars (AddParams a b) :: [Symbol] # Methods makeTypedVarList :: AddParams a b -> TypedVarList (InnerVars (AddParams a b)) #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => VarList (I a, I b, I c) #
Associated Types type InnerVars (I a, I b, I c) :: [Symbol] # Methods makeTypedVarList :: (I a, I b, I c) -> TypedVarList (InnerVars (I a, I b, I c)) #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => VarList (I a, I b, I c, I d) #
Associated Types type InnerVars (I a, I b, I c, I d) :: [Symbol] # Methods makeTypedVarList :: (I a, I b, I c, I d) -> TypedVarList (InnerVars (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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e) :: [Symbol] # Methods makeTypedVarList :: (I a, I b, I c, I d, I e) -> TypedVarList (InnerVars (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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f) :: [Symbol] # 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)) #
(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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g) :: [Symbol] # 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)) #
(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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) :: [Symbol] # 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)) #
(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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) :: [Symbol] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #

type V = Variable #

data Vs (a :: [Symbol]) #

Constructors

Vs

This is aliased as V:

data Variable (a :: Symbol) #

Constructors

KnownSymbol a => V

Instances

Show (Variable a) #
Methods showsPrec :: Int -> Variable a -> ShowS # show :: Variable a -> String # showList :: [Variable a] -> ShowS #
KnownSymbol a => TagList (V a) #
Associated Types type AllTags (V a) :: [Symbol] # Methods tagStrings :: V a -> [String] #
(KnownSymbol a, Subset ((:) Symbol a ([] Symbol)) args) => ToSig (Variable a) args #
Methods toSig :: Variable a -> SDBody' args Signal #
(KnownSymbol a, KnownSymbol b) => TagList (V a, V b) #
Associated Types type AllTags (V a, V b) :: [Symbol] # Methods tagStrings :: (V a, V b) -> [String] #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => TagList (V a, V b, V c) #
Associated Types type AllTags (V a, V b, V c) :: [Symbol] # Methods tagStrings :: (V a, V b, V c) -> [String] #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => TagList (V a, V b, V c, V d) #
Associated Types type AllTags (V a, V b, V c, V d) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d) -> [String] #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => TagList (V a, V b, V c, V d, V e) #
Associated Types type AllTags (V a, V b, V c, V d, V e) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i) -> [String] #
(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) #
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] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) -> [String] #
(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) #
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] # 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] #
(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) #
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] # 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] #
(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) #
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] # 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] #
(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) #
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] # 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] #
(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) #
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] # 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] #
type AllTags (V a) #
type AllTags (V a) = (:) Symbol a ([] Symbol)
type AllTags (V a, V b) #
type AllTags (V a, V b) = (:) Symbol a ((:) Symbol b ([] Symbol))
type AllTags (V a, V b, V c) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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 :: Symbol) #

Constructors

KnownSymbol x => I Float

Instances

KnownSymbol s => Enum (I s) #
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) #
Methods (==) :: I s -> I s -> Bool # (/=) :: I s -> I s -> Bool #
KnownSymbol s => Floating (I s) #
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) #
Methods (/) :: I s -> I s -> I s # recip :: I s -> I s # fromRational :: Rational -> I s #
KnownSymbol s => Num (I s) #
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) #
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) #
Methods readsPrec :: Int -> ReadS (I s) # readList :: ReadS [I s] # readPrec :: ReadPrec (I s) # readListPrec :: ReadPrec [I s] #
KnownSymbol s => Real (I s) #
Methods toRational :: I s -> Rational #
KnownSymbol s => RealFloat (I s) #
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) #
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) #
Methods showsPrec :: Int -> I s -> ShowS # show :: I s -> String # showList :: [I s] -> ShowS #
KnownSymbol s => Random (I s) #
Methods randomR :: RandomGen g => (I s, I s) -> g -> (I s, g) # random :: RandomGen g => g -> (I s, g) # randomRs :: RandomGen g => (I s, I s) -> g -> [I s] # randoms :: RandomGen g => g -> [I s] # randomRIO :: (I s, I s) -> IO (I s) # randomIO :: IO (I s) #
KnownSymbol a => VarList (I a) #
Associated Types type InnerVars (I a) :: [Symbol] # Methods makeTypedVarList :: I a -> TypedVarList (InnerVars (I a)) #
(KnownSymbol a, KnownSymbol b) => VarList (I a, I b) #
Associated Types type InnerVars (I a, I b) :: [Symbol] # Methods makeTypedVarList :: (I a, I b) -> TypedVarList (InnerVars (I a, I b)) #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => VarList (I a, I b, I c) #
Associated Types type InnerVars (I a, I b, I c) :: [Symbol] # Methods makeTypedVarList :: (I a, I b, I c) -> TypedVarList (InnerVars (I a, I b, I c)) #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => VarList (I a, I b, I c, I d) #
Associated Types type InnerVars (I a, I b, I c, I d) :: [Symbol] # Methods makeTypedVarList :: (I a, I b, I c, I d) -> TypedVarList (InnerVars (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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e) :: [Symbol] # Methods makeTypedVarList :: (I a, I b, I c, I d, I e) -> TypedVarList (InnerVars (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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f) :: [Symbol] # 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)) #
(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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g) :: [Symbol] # 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)) #
(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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h) :: [Symbol] # 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)) #
(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) #
Associated Types type InnerVars (I a, I b, I c, I d, I e, I f, I g, I h, I i) :: [Symbol] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
(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) #
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] # 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)) #
type InnerVars (I a) #
type InnerVars (I a) = (:) Symbol a ([] Symbol)
type InnerVars (I a, I b) #
type InnerVars (I a, I b) = (:) Symbol a ((:) Symbol b ([] Symbol))
type InnerVars (I a, I b, I c) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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) #
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 :: [Symbol]) #

Constructors

VarSet

Instances

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

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

emptyVarSet :: VarSet '[] #

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

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

data AddParams a b 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) #
Methods showsPrec :: Int -> AddParams a b -> ShowS # show :: AddParams a b -> String # showList :: [AddParams a b] -> ShowS #
VarList (AddParams a b) #
Associated Types type InnerVars (AddParams a b) :: [Symbol] # Methods makeTypedVarList :: AddParams a b -> TypedVarList (InnerVars (AddParams a b)) #
type InnerVars (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 #

Minimal complete definition

getSymbolVals

Methods

getSymbolVals :: x -> [String] #

Instances

(KnownSymbol x, GetSymbolVals (Proxy [Symbol] xs)) => GetSymbolVals (proxy ((:) Symbol x xs)) #
Methods getSymbolVals :: proxy ((Symbol ': x) xs) -> [String] #
GetSymbolVals (proxy ([] k)) #
Methods getSymbolVals :: proxy [k] -> [String] #

TagList () #
Associated Types type AllTags () :: [Symbol] # Methods tagStrings :: () -> [String] #
KnownSymbol a => TagList (V a) #
Associated Types type AllTags (V a) :: [Symbol] # Methods tagStrings :: V a -> [String] #
(KnownSymbol a, KnownSymbol b) => TagList (V a, V b) #
Associated Types type AllTags (V a, V b) :: [Symbol] # Methods tagStrings :: (V a, V b) -> [String] #
(KnownSymbol a, KnownSymbol b, KnownSymbol c) => TagList (V a, V b, V c) #
Associated Types type AllTags (V a, V b, V c) :: [Symbol] # Methods tagStrings :: (V a, V b, V c) -> [String] #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d) => TagList (V a, V b, V c, V d) #
Associated Types type AllTags (V a, V b, V c, V d) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d) -> [String] #
(KnownSymbol a, KnownSymbol b, KnownSymbol c, KnownSymbol d, KnownSymbol e) => TagList (V a, V b, V c, V d, V e) #
Associated Types type AllTags (V a, V b, V c, V d, V e) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h) -> [String] #
(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) #
Associated Types type AllTags (V a, V b, V c, V d, V e, V f, V g, V h, V i) :: [Symbol] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i) -> [String] #
(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) #
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] # Methods tagStrings :: (V a, V b, V c, V d, V e, V f, V g, V h, V i, V j) -> [String] #
(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) #
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] # 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] #
(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) #
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] # 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] #
(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) #
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] # 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] #
(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) #
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] # 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] #
(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) #
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] # 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] #