Vivid.SynthDef.TypesafeArgs

Type Set Operations

type family SubsetBoolToBool a :: Bool

type family ElemBoolToBool a :: Bool

type family SetInsert s sSet :: [x]

type family SetEqual a b :: Bool

type family SetUnion a b :: [x]

type family IsSubsetOf a b :: Bool_IsSubsetOf

data Bool_IsSubsetOf

type family Subset as bs :: Constraint

type family IsElemOf a l :: Bool_IsElemOf

data Bool_IsElemOf

type family Elem a xs :: Constraint

Type arguments

class TagList from

class VarList from

type V

data Vs a

data Variable a

data I x

data VarSet s

type TypedVarList c

emptyVarSet

iToLiteralVar

iToVar

data AddParams a b

Other

toI

toF

class GetSymbolVals x