Safe Haskell | None |
---|---|
Language | Haskell2010 |
TH helpers to build scaffolding from introspection data
- data DBusEndpointOptions = DBusEndpointOptions {
- methodNames :: SomeMethodDescription -> Maybe String
- propertyNames :: String -> String
- signalNames :: String -> String
- defaultDbusEndpointOptions :: DBusEndpointOptions
- makeDbusEndpoints :: DBusEndpointOptions -> ObjectPath -> FilePath -> Q [Dec]
- liftObjectPath :: ObjectPath -> ExpQ
- liftArgDesc :: ArgumentDescription n -> ExpQ
- toSomeMethodDescription :: Text -> IInterface -> IMethod -> SomeMethodDescription
- interfacMethodDescriptions :: Text -> IInterface -> [SomeMethodDescription]
- mapIInterfaces :: (Text -> IInterface -> [a]) -> Text -> INode -> [a]
- nodeMethodDescriptions :: Text -> INode -> [SomeMethodDescription]
- interfacPropertyDescriptions :: Text -> IInterface -> [PropertyDescription]
- data PropertyDescription = PD {
- pdObjectPath :: Text
- pdInterface :: Text
- pdName :: Text
- pdType :: DBusType
- nodePropertyDescriptions :: Text -> INode -> [PropertyDescription]
- liftText :: Text -> ExpQ
- promotedListT :: [TypeQ] -> TypeQ
- arrows :: [TypeQ] -> TypeQ -> TypeQ
- tupleType :: [TypeQ] -> TypeQ
- promoteSimpleType :: Show a => a -> TypeQ
- promoteDBusType :: DBusType -> TypeQ
- readIntrospectXml :: FilePath -> Q INode
- liftMethodDescription :: String -> SomeMethodDescription -> Q [Dec]
- propertyFromDescription :: (PropertyDescription -> String) -> Maybe Text -> PropertyDescription -> Q [Dec]
- nodeSignals :: Text -> INode -> [SomeSignalDescription]
- interfaceSignalDs :: Text -> IInterface -> [SomeSignalDescription]
- signalDs :: ObjectPath -> Text -> ISignal -> SomeSignalDescription
- data SomeArgumentDescription where
- SSAD :: Sing (ts :: [DBusType]) -> ArgumentDescription (ArgParity ts) -> SomeArgumentDescription
- toSings :: [IArgument] -> SomeArgumentDescription
- liftSignalDescription :: String -> SomeSignalDescription -> Q [Dec]
- def :: Default a => a
Documentation
data DBusEndpointOptions Source #
DBusEndpointOptions | |
|
makeDbusEndpoints :: DBusEndpointOptions -> ObjectPath -> FilePath -> Q [Dec] Source #
liftObjectPath :: ObjectPath -> ExpQ Source #
liftArgDesc :: ArgumentDescription n -> ExpQ Source #
toSomeMethodDescription :: Text -> IInterface -> IMethod -> SomeMethodDescription Source #
mapIInterfaces :: (Text -> IInterface -> [a]) -> Text -> INode -> [a] Source #
nodeMethodDescriptions :: Text -> INode -> [SomeMethodDescription] Source #
data PropertyDescription Source #
PD | |
|
nodePropertyDescriptions :: Text -> INode -> [PropertyDescription] Source #
promotedListT :: [TypeQ] -> TypeQ Source #
promoteSimpleType :: Show a => a -> TypeQ Source #
promoteDBusType :: DBusType -> TypeQ Source #
liftMethodDescription :: String -> SomeMethodDescription -> Q [Dec] Source #
propertyFromDescription :: (PropertyDescription -> String) -> Maybe Text -> PropertyDescription -> Q [Dec] Source #
nodeSignals :: Text -> INode -> [SomeSignalDescription] Source #
interfaceSignalDs :: Text -> IInterface -> [SomeSignalDescription] Source #
signalDs :: ObjectPath -> Text -> ISignal -> SomeSignalDescription Source #
data SomeArgumentDescription where Source #
SSAD :: Sing (ts :: [DBusType]) -> ArgumentDescription (ArgParity ts) -> SomeArgumentDescription |
toSings :: [IArgument] -> SomeArgumentDescription Source #
liftSignalDescription :: String -> SomeSignalDescription -> Q [Dec] Source #