- unpackVariantList :: Name -> Name -> ExpQ
- signalArgsTemplate :: String
- checkSignalArgs :: Name -> Name -> ExpQ
- packVariantList :: String -> Name -> Q [Dec]
- packStringList :: String -> Name -> Q [Dec]
- packListTemplate :: (Name -> ExpQ) -> String -> Name -> Q [Dec]
- mkDec :: String -> ExpQ -> DecQ
- mkFunDec :: String -> ExpQ -> Q [Dec]
Documentation
unpackVariantList :: Name -> Name -> ExpQSource
Unpack variant with corresponding type.
signalArgsTemplate :: StringSource
This string is append in SignalArgs with MemberName.
Example dbus member named Foo
, and SignalArgs should be FooArgs
.
Otherwise, function checkSignalArgs
will failed.
checkSignalArgs :: Name -> Name -> ExpQSource
Unpack variant with corresponding type.
packListTemplate :: (Name -> ExpQ) -> String -> Name -> Q [Dec]Source
This is template code for transform typ to [a]
mkDec :: String -> ExpQ -> DecQSource
Build declaration.
If this function got unbound variable, try use packVariantList
style to build [PatQ] explicitly.