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

Vivid.SynthDef.FromUA

Synopsis

Documentation

class FromUA a where Source #

Minimal complete definition

fromUA

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 #
Associated Types type UAsArgs (NoDefaults args0) :: [Symbol] Source # type SDBodyArgs (NoDefaults args0) :: [Symbol] Source # Methods fromUA :: NoDefaults args0 -> SDBody (NoDefaults args0) [(String, Signal)] Source #
((~) [Symbol] args0 args1, KnownSymbol a) => FromUA (UA a args0, UA b args1) Source #
Associated Types type UAsArgs (UA a args0, UA b args1) :: [Symbol] Source # type SDBodyArgs (UA a args0, UA b args1) :: [Symbol] Source # Methods fromUA :: (UA a args0, UA b args1) -> SDBody (UA a args0, UA b args1) [(String, Signal)] Source #
FromUA (UA a args) Source #
Associated Types type UAsArgs (UA a args) :: [Symbol] Source # type SDBodyArgs (UA a args) :: [Symbol] Source # Methods fromUA :: UA a args -> SDBody (UA a args) [(String, Signal)] Source #
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ([] [Symbol])))), KnownSymbol a, KnownSymbol b) => FromUA (UA a as0, UA b as1, UA c as2) Source #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2) -> SDBody (UA a as0, UA b as1, UA c as2) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) :: [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) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 Source #

"UGen Arg"

Constructors

KnownSymbol name => UA (SDBody' args Signal)

Instances

((~) [Symbol] args0 args1, KnownSymbol a) => FromUA (UA a args0, UA b args1) Source #
Associated Types type UAsArgs (UA a args0, UA b args1) :: [Symbol] Source # type SDBodyArgs (UA a args0, UA b args1) :: [Symbol] Source # Methods fromUA :: (UA a args0, UA b args1) -> SDBody (UA a args0, UA b args1) [(String, Signal)] Source #
FromUA (UA a args) Source #
Associated Types type UAsArgs (UA a args) :: [Symbol] Source # type SDBodyArgs (UA a args) :: [Symbol] Source # Methods fromUA :: UA a args -> SDBody (UA a args) [(String, Signal)] Source #
(AllEqual ((:) [Symbol] as0 ((:) [Symbol] as1 ((:) [Symbol] as2 ([] [Symbol])))), KnownSymbol a, KnownSymbol b) => FromUA (UA a as0, UA b as1, UA c as2) Source #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2) -> SDBody (UA a as0, UA b as1, UA c as2) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) :: [Symbol] Source # type SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5) [(String, Signal)] 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 #
Associated Types type UAsArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) :: [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) :: [Symbol] Source # Methods fromUA :: (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6, UA h as7) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] 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 #
Associated Types 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] 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) :: [Symbol] Source # Methods 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) -> SDBody (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) [(String, Signal)] Source #
type UAsArgs (UA a args0, UA b args1) Source #
type UAsArgs (UA a args0, UA b args1) = (:) Symbol a ((:) Symbol b ([] Symbol))
type UAsArgs (UA a args) Source #
type UAsArgs (UA a args) = (:) Symbol a ([] Symbol)
type SDBodyArgs (UA a args0, UA b args1) Source #
type SDBodyArgs (UA a args0, UA b args1) = args0
type SDBodyArgs (UA a args) Source #
type SDBodyArgs (UA a args) = args
type UAsArgs (UA a as0, UA b as1, UA c as2) Source #
type UAsArgs (UA a as0, UA b as1, UA c as2) = (:) Symbol a ((:) Symbol b ((:) Symbol c ([] Symbol)))
type SDBodyArgs (UA a as0, UA b as1, UA c as2) Source #
type SDBodyArgs (UA a as0, UA b as1, UA c as2) = as0
type UAsArgs (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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ([] Symbol))))
type SDBodyArgs (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) = as0
type UAsArgs (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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ([] Symbol)))))
type SDBodyArgs (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) = as0
type UAsArgs (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) = (:) Symbol a ((:) Symbol b ((:) Symbol c ((:) Symbol d ((:) Symbol e ((:) Symbol f ([] Symbol))))))
type SDBodyArgs (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) = as0
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 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)))))))
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 SDBodyArgs (UA a as0, UA b as1, UA c as2, UA d as3, UA e as4, UA f as5, UA g as6) = as0
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 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))))))))
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 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
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 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)))))))))
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 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
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 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))))))))))
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 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
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 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)))))))))))
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 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
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 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))))))))))))
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 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
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 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)))))))))))))
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 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
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 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))))))))))))))
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 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
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 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)))))))))))))))
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 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
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 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))))))))))))))))
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 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
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 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)))))))))))))))))
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 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
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 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))))))))))))))))))
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 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
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 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)))))))))))))))))))
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 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
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 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))))))))))))))))))))
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 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
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 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)))))))))))))))))))))
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 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
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 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))))))))))))))))))))))
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 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
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 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)))))))))))))))))))))))
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 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
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 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))))))))))))))))))))))))
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 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
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 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)))))))))))))))))))))))))
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 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
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 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))))))))))))))))))))))))))
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 #
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

data NoDefaults args Source #

Constructors

NoDefaults

Instances

Eq (NoDefaults args) Source #
Methods (==) :: NoDefaults args -> NoDefaults args -> Bool # (/=) :: NoDefaults args -> NoDefaults args -> Bool #
Ord (NoDefaults args) Source #
Methods compare :: NoDefaults args -> NoDefaults args -> Ordering # (<) :: NoDefaults args -> NoDefaults args -> Bool # (<=) :: NoDefaults args -> NoDefaults args -> Bool # (>) :: NoDefaults args -> NoDefaults args -> Bool # (>=) :: NoDefaults args -> NoDefaults args -> Bool # max :: NoDefaults args -> NoDefaults args -> NoDefaults args # min :: NoDefaults args -> NoDefaults args -> NoDefaults args #
Read (NoDefaults args) Source #
Methods readsPrec :: Int -> ReadS (NoDefaults args) # readList :: ReadS [NoDefaults args] # readPrec :: ReadPrec (NoDefaults args) # readListPrec :: ReadPrec [NoDefaults args] #
Show (NoDefaults args) Source #
Methods showsPrec :: Int -> NoDefaults args -> ShowS # show :: NoDefaults args -> String # showList :: [NoDefaults args] -> ShowS #
FromUA (NoDefaults args0) Source #
Associated Types type UAsArgs (NoDefaults args0) :: [Symbol] Source # type SDBodyArgs (NoDefaults args0) :: [Symbol] Source # Methods fromUA :: NoDefaults args0 -> SDBody (NoDefaults args0) [(String, Signal)] Source #
type UAsArgs (NoDefaults args0) Source #
type UAsArgs (NoDefaults args0) = [] Symbol
type SDBodyArgs (NoDefaults args0) Source #
type SDBodyArgs (NoDefaults args0) = args0

none :: NoDefaults args Source #

type family Args (required :: [Symbol]) (optional :: [Symbol]) args :: Constraint where ... 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 :: [[Symbol]]) :: Constraint where ... Source #

Equations

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