vivid-0.2.0.5: Sound synthesis with SuperCollider

Safe HaskellNone
LanguageHaskell98
Extensions
  • UndecidableInstances
  • MonoLocalBinds
  • ScopedTypeVariables
  • TypeFamilies
  • GADTs
  • GADTSyntax
  • PolyKinds
  • DataKinds
  • InstanceSigs
  • TypeSynonymInstances
  • FlexibleContexts
  • FlexibleInstances
  • MultiParamTypeClasses
  • KindSignatures
  • TypeOperators
  • ExplicitNamespaces
  • ExplicitForAll

Vivid.SynthDef.FromUA

Synopsis

Documentation

class FromUA a where Source

Associated Types

type UAsArgs a :: [Symbol] Source

type SDBodyArgs a :: [Symbol] Source

Methods

fromUA :: a -> SDBody a [(String, Signal)] Source

Instances

FromUA (NoDefaults args0) Source 
((~) [Symbol] args0 args1, KnownSymbol a) => FromUA (UA a args0, UA b args1) Source 
FromUA (UA a args0) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ([] [Symbol])))), KnownSymbol a, KnownSymbol b) => FromUA (UA a as0, UA b as1, UA c as2) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ([] [Symbol])))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ([] Symbol))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ([] [Symbol])))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ([] Symbol)))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ([] [Symbol]))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ([] Symbol)))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ([] [Symbol])))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ([] Symbol))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ([] [Symbol]))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ([] Symbol)))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ([] [Symbol])))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ([] Symbol))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ([] [Symbol]))))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ([] Symbol)))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ([] [Symbol])))))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ([] Symbol))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ([] [Symbol]))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ([] [Symbol])))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ([] [Symbol]))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ([] [Symbol])))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ([] [Symbol]))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ([] [Symbol])))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ([] [Symbol]))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ([] [Symbol])))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ([] [Symbol]))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ([] [Symbol])))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ([] [Symbol]))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ([] [Symbol])))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ((:) [Symbol] as23 ([] [Symbol]))))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ((:) [Symbol] as23 ((:) [Symbol] as24 ([] [Symbol])))))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ((:) [Symbol] as23 ((:) [Symbol] as24 ((:) [Symbol] as25 ([] [Symbol]))))))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24, UA z as25) Source 

fromUAWithDefaults :: (FromUA a, FromUA b, SDBodyArgs a ~ SDBodyArgs b) => DefaultArgs a -> OverwritingArgs b -> SDBody a [(String, Signal)] Source

uaArgVal :: (FromUA as, Elem aToLookUp (UAsArgs as), KnownSymbol aToLookUp) => as -> proxy aToLookUp -> SDBody as Signal Source

uaArgValWDefault :: (FromUA as, KnownSymbol aToLookUp, ToSig defaultVal (SDBodyArgs as)) => defaultVal -> as -> proxy aToLookUp -> SDBody as Signal Source

newtype DefaultArgs a Source

Constructors

DefaultArgs a 

newtype OverwritingArgs a Source

Constructors

OverwritingArgs a 

data UA name args where Source

"UGen Arg"

Constructors

UA :: KnownSymbol name => SDBody' args Signal -> UA name args 

Instances

((~) [Symbol] args0 args1, KnownSymbol a) => FromUA (UA a args0, UA b args1) Source 
FromUA (UA a args0) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ([] [Symbol])))), KnownSymbol a, KnownSymbol b) => FromUA (UA a as0, UA b as1, UA c as2) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ([] [Symbol])))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ([] Symbol))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ([] [Symbol])))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ([] Symbol)))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ([] [Symbol]))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ([] Symbol)))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ([] [Symbol])))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ([] Symbol))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ([] [Symbol]))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ([] Symbol)))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ([] [Symbol])))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ([] Symbol))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ([] [Symbol]))))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ([] Symbol)))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ([] [Symbol])))))))))))), AllKnownSymbols Symbol ((:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ([] Symbol))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ([] [Symbol]))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ([] [Symbol])))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ([] [Symbol]))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ([] [Symbol])))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ([] [Symbol]))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ([] [Symbol])))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ([] [Symbol]))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ([] [Symbol])))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ([] [Symbol]))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ([] [Symbol])))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ([] [Symbol]))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ([] [Symbol])))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ((:) [Symbol] as23 ([] [Symbol]))))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ((:) [Symbol] as23 ((:) [Symbol] as24 ([] [Symbol])))))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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))))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24) Source 
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ((:) [Symbol] as3 ((:) [Symbol] as4 ((:) [Symbol] as5 ((:) [Symbol] as6 ((:) [Symbol] as7 ((:) [Symbol] as8 ((:) [Symbol] as9 ((:) [Symbol] as10 ((:) [Symbol] as11 ((:) [Symbol] as12 ((:) [Symbol] as13 ((:) [Symbol] as14 ((:) [Symbol] as15 ((:) [Symbol] as16 ((:) [Symbol] as17 ((:) [Symbol] as18 ((:) [Symbol] as19 ((:) [Symbol] as20 ((:) [Symbol] as21 ((:) [Symbol] as22 ((:) [Symbol] as23 ((:) [Symbol] as24 ((:) [Symbol] as25 ([] [Symbol]))))))))))))))))))))))))))), AllKnownSymbols Symbol ((:) 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)))))))))))))))))))))))))))) => FromUA (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24, UA z as25) Source 
type UAsArgs (UA a args0, UA b args1) = (:) Symbol a ((:) Symbol b ([] Symbol)) Source 
type UAsArgs (UA a sdArgs) = (:) Symbol a ([] Symbol) Source 
type SDBodyArgs (UA a args0, UA b args1) = args0 Source 
type SDBodyArgs (UA a args) = args Source 
type UAsArgs (UA a as0, UA b as1, UA c as2) = (:) Symbol a ((:) Symbol b ((:) Symbol c ([] Symbol))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ([] Symbol)))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ([] Symbol))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ([] Symbol)))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ([] Symbol))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ([] Symbol)))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ([] Symbol))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ([] Symbol)))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ((:) Symbol g ((:) Symbol h ((:) Symbol i ((:) Symbol j ((:) Symbol k ([] Symbol))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11) = (:) 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)))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12) = (:) 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))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13) = (:) 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)))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14) = (:) 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))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15) = (:) 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)))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16) = (:) 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))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17) = (:) 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)))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18) = (:) 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))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19) = (:) 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)))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20) = (:) 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))))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21) = (:) 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)))))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22) = (:) 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))))))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23) = (:) 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)))))))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24) = (:) 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))))))))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24) = as0 Source 
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24, UA z as25) = (:) 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)))))))))))))))))))))))))) Source 
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7, UA i as8, UA j as9, UA k as10, UA l as11, UA m as12, UA n as13, UA o as14, UA p as15, UA q as16, UA r as17, UA s as18, UA t as19, UA u as20, UA v as21, UA w as22, UA x as23, UA y as24, UA z as25) = as0 Source 

data NoDefaults args Source

Constructors

NoDefaults 

Instances

Eq (NoDefaults args) Source 
Ord (NoDefaults args) Source 
Read (NoDefaults args) Source 
Show (NoDefaults args) Source 
FromUA (NoDefaults args0) Source 
type UAsArgs (NoDefaults args0) = [] Symbol Source 
type SDBodyArgs (NoDefaults args0) = args0 Source 

none :: NoDefaults args Source

type family Args required optional args :: Constraint Source

Equations

Args required optional args = (Subset required (UAsArgs args), Subset (UAsArgs args) (SetUnion required optional), FromUA args) 

type SDBody a = SDBody' (SDBodyArgs a) Source

type family AllEqual a :: Constraint Source

Equations

AllEqual `[]` = () 
AllEqual (a : `[b]`) = a ~ b 
AllEqual (a : (b : cs)) = (a ~ b, AllEqual (a : cs))