Vivid.SynthDef.TypesafeArgs

Type Set Operations

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

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

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

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

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

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

data Bool_IsSubsetOf

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

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

data Bool_IsElemOf

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

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