Safe Haskell | None |
---|---|
Language | Haskell98 |
Extensions |
|
- class FromUA a where
- type UAsArgs a :: [Symbol]
- type SDBodyArgs a :: [Symbol]
- fromUAWithDefaults :: (FromUA a, FromUA b, SDBodyArgs a ~ SDBodyArgs b) => DefaultArgs a -> OverwritingArgs b -> SDBody a [(String, Signal)]
- uaArgVal :: (FromUA as, Elem aToLookUp (UAsArgs as), KnownSymbol aToLookUp) => as -> proxy aToLookUp -> SDBody as Signal
- uaArgValWDefault :: (FromUA as, KnownSymbol aToLookUp, ToSig defaultVal (SDBodyArgs as)) => defaultVal -> as -> proxy aToLookUp -> SDBody as Signal
- newtype DefaultArgs a = DefaultArgs a
- newtype OverwritingArgs a = OverwritingArgs a
- data UA name args = KnownSymbol name => UA (SDBody' args Signal)
- data NoDefaults args = NoDefaults
- none :: NoDefaults args
- type family Args (required :: [Symbol]) (optional :: [Symbol]) args :: Constraint where ...
- type SDBody a = SDBody' (SDBodyArgs a)
- type family AllEqual (a :: [[Symbol]]) :: Constraint where ...
Documentation
FromUA (NoDefaults args0) Source # | |
((~) [Symbol] args0 args1, KnownSymbol a) => FromUA (UA a args0, UA b args1) Source # | |
FromUA (UA a args) 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 #
newtype OverwritingArgs a Source #
"UGen Arg"
KnownSymbol name => UA (SDBody' args Signal) |
((~) [Symbol] args0 args1, KnownSymbol a) => FromUA (UA a args0, UA b args1) Source # | |
FromUA (UA a args) 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) Source # | |
type UAsArgs (UA a args) Source # | |
type SDBodyArgs (UA a args0, UA b args1) Source # | |
type SDBodyArgs (UA a args) Source # | |
type UAsArgs (UA a as0, UA b as1, UA c as2) Source # | |
type SDBodyArgs (UA a as0, UA b as1, UA c as2) Source # | |
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3) Source # | |
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3) Source # | |
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) Source # | |
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) Source # | |
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) Source # | |
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) Source # | |
type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) Source # | |
type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) 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) Source # | |
data NoDefaults args Source #
Eq (NoDefaults args) Source # | |
Ord (NoDefaults args) Source # | |
Read (NoDefaults args) Source # | |
Show (NoDefaults args) Source # | |
FromUA (NoDefaults args0) Source # | |
type UAsArgs (NoDefaults args0) Source # | |
type SDBodyArgs (NoDefaults args0) Source # | |
none :: NoDefaults args Source #
type family Args (required :: [Symbol]) (optional :: [Symbol]) args :: Constraint where ... Source #
type SDBody a = SDBody' (SDBodyArgs a) Source #