{-# LANGUAGE OverloadedStrings #-}
module DBus.Notify
(
notify
, replace
, Notification
, mkSessionClient
, connectSession
, Client
, blankNote
, Note (..)
, Body (..)
, URL
, Timeout (..)
, Action (..)
, Image
, Icon (..)
, Category (..)
, UrgencyLevel (..)
, Hint (..)
, getCapabilities
, Capability (..)
) where
import DBus
import DBus.Client
import Control.Applicative
import Data.Maybe (fromMaybe, fromJust)
import Data.Int
import Data.Word
import Data.Char (isLower, toLower)
import Control.Arrow (first, second, (***))
import qualified Data.Map as M
{-# DEPRECATED mkSessionClient "Use DBus.Client.connectSession" #-}
mkSessionClient :: IO Client
mkSessionClient :: IO Client
mkSessionClient = IO Client
connectSession
blankNote :: Note
blankNote :: Note
blankNote = Note :: String
-> Maybe Icon
-> String
-> Maybe Body
-> [(Action, String)]
-> [Hint]
-> Timeout
-> Note
Note { appName :: String
appName=""
, appImage :: Maybe Icon
appImage=Maybe Icon
forall a. Maybe a
Nothing
, summary :: String
summary=""
, body :: Maybe Body
body=Maybe Body
forall a. Maybe a
Nothing
, actions :: [(Action, String)]
actions=[]
, hints :: [Hint]
hints=[]
, expiry :: Timeout
expiry=Timeout
Dependent
}
data Note = Note { Note -> String
appName :: String
, Note -> Maybe Icon
appImage :: Maybe Icon
, Note -> String
summary :: String
, Note -> Maybe Body
body :: Maybe Body
, Note -> [(Action, String)]
actions :: [(Action, String)]
, Note -> [Hint]
hints :: [Hint]
, Note -> Timeout
expiry :: Timeout
}
deriving (Note -> Note -> Bool
(Note -> Note -> Bool) -> (Note -> Note -> Bool) -> Eq Note
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Note -> Note -> Bool
$c/= :: Note -> Note -> Bool
== :: Note -> Note -> Bool
$c== :: Note -> Note -> Bool
Eq, Int -> Note -> ShowS
[Note] -> ShowS
Note -> String
(Int -> Note -> ShowS)
-> (Note -> String) -> ([Note] -> ShowS) -> Show Note
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Note] -> ShowS
$cshowList :: [Note] -> ShowS
show :: Note -> String
$cshow :: Note -> String
showsPrec :: Int -> Note -> ShowS
$cshowsPrec :: Int -> Note -> ShowS
Show)
data Body = Text String
| Bold Body
| Italic Body
| Underline Body
| Hyperlink URL Body
| Img URL String
| Concat Body Body
deriving (Body -> Body -> Bool
(Body -> Body -> Bool) -> (Body -> Body -> Bool) -> Eq Body
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Body -> Body -> Bool
$c/= :: Body -> Body -> Bool
== :: Body -> Body -> Bool
$c== :: Body -> Body -> Bool
Eq, Int -> Body -> ShowS
[Body] -> ShowS
Body -> String
(Int -> Body -> ShowS)
-> (Body -> String) -> ([Body] -> ShowS) -> Show Body
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Body] -> ShowS
$cshowList :: [Body] -> ShowS
show :: Body -> String
$cshow :: Body -> String
showsPrec :: Int -> Body -> ShowS
$cshowsPrec :: Int -> Body -> ShowS
Show)
type URL = String
data Timeout = Never
| Dependent
| Milliseconds Int32
deriving (Timeout -> Timeout -> Bool
(Timeout -> Timeout -> Bool)
-> (Timeout -> Timeout -> Bool) -> Eq Timeout
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Timeout -> Timeout -> Bool
$c/= :: Timeout -> Timeout -> Bool
== :: Timeout -> Timeout -> Bool
$c== :: Timeout -> Timeout -> Bool
Eq, Int -> Timeout -> ShowS
[Timeout] -> ShowS
Timeout -> String
(Int -> Timeout -> ShowS)
-> (Timeout -> String) -> ([Timeout] -> ShowS) -> Show Timeout
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Timeout] -> ShowS
$cshowList :: [Timeout] -> ShowS
show :: Timeout -> String
$cshow :: Timeout -> String
showsPrec :: Int -> Timeout -> ShowS
$cshowsPrec :: Int -> Timeout -> ShowS
Show)
newtype Action = Action { Action -> String
actionName :: String }
deriving (Action -> Action -> Bool
(Action -> Action -> Bool)
-> (Action -> Action -> Bool) -> Eq Action
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Action -> Action -> Bool
$c/= :: Action -> Action -> Bool
== :: Action -> Action -> Bool
$c== :: Action -> Action -> Bool
Eq, Int -> Action -> ShowS
[Action] -> ShowS
Action -> String
(Int -> Action -> ShowS)
-> (Action -> String) -> ([Action] -> ShowS) -> Show Action
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Action] -> ShowS
$cshowList :: [Action] -> ShowS
show :: Action -> String
$cshow :: Action -> String
showsPrec :: Int -> Action -> ShowS
$cshowsPrec :: Int -> Action -> ShowS
Show)
newtype Image = Image { Image -> String
bitmap :: String }
deriving (Image -> Image -> Bool
(Image -> Image -> Bool) -> (Image -> Image -> Bool) -> Eq Image
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Image -> Image -> Bool
$c/= :: Image -> Image -> Bool
== :: Image -> Image -> Bool
$c== :: Image -> Image -> Bool
Eq, Int -> Image -> ShowS
[Image] -> ShowS
Image -> String
(Int -> Image -> ShowS)
-> (Image -> String) -> ([Image] -> ShowS) -> Show Image
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Image] -> ShowS
$cshowList :: [Image] -> ShowS
show :: Image -> String
$cshow :: Image -> String
showsPrec :: Int -> Image -> ShowS
$cshowsPrec :: Int -> Image -> ShowS
Show)
data Icon = File FilePath | Icon String
deriving (Icon -> Icon -> Bool
(Icon -> Icon -> Bool) -> (Icon -> Icon -> Bool) -> Eq Icon
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Icon -> Icon -> Bool
$c/= :: Icon -> Icon -> Bool
== :: Icon -> Icon -> Bool
$c== :: Icon -> Icon -> Bool
Eq, Int -> Icon -> ShowS
[Icon] -> ShowS
Icon -> String
(Int -> Icon -> ShowS)
-> (Icon -> String) -> ([Icon] -> ShowS) -> Show Icon
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Icon] -> ShowS
$cshowList :: [Icon] -> ShowS
show :: Icon -> String
$cshow :: Icon -> String
showsPrec :: Int -> Icon -> ShowS
$cshowsPrec :: Int -> Icon -> ShowS
Show)
iconString :: Icon -> String
iconString (File fp :: String
fp) = "file://" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
fp
iconString (Icon name :: String
name) = String
name
data UrgencyLevel = Low
| Normal
| Critical
deriving (UrgencyLevel -> UrgencyLevel -> Bool
(UrgencyLevel -> UrgencyLevel -> Bool)
-> (UrgencyLevel -> UrgencyLevel -> Bool) -> Eq UrgencyLevel
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: UrgencyLevel -> UrgencyLevel -> Bool
$c/= :: UrgencyLevel -> UrgencyLevel -> Bool
== :: UrgencyLevel -> UrgencyLevel -> Bool
$c== :: UrgencyLevel -> UrgencyLevel -> Bool
Eq, Eq UrgencyLevel
Eq UrgencyLevel =>
(UrgencyLevel -> UrgencyLevel -> Ordering)
-> (UrgencyLevel -> UrgencyLevel -> Bool)
-> (UrgencyLevel -> UrgencyLevel -> Bool)
-> (UrgencyLevel -> UrgencyLevel -> Bool)
-> (UrgencyLevel -> UrgencyLevel -> Bool)
-> (UrgencyLevel -> UrgencyLevel -> UrgencyLevel)
-> (UrgencyLevel -> UrgencyLevel -> UrgencyLevel)
-> Ord UrgencyLevel
UrgencyLevel -> UrgencyLevel -> Bool
UrgencyLevel -> UrgencyLevel -> Ordering
UrgencyLevel -> UrgencyLevel -> UrgencyLevel
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: UrgencyLevel -> UrgencyLevel -> UrgencyLevel
$cmin :: UrgencyLevel -> UrgencyLevel -> UrgencyLevel
max :: UrgencyLevel -> UrgencyLevel -> UrgencyLevel
$cmax :: UrgencyLevel -> UrgencyLevel -> UrgencyLevel
>= :: UrgencyLevel -> UrgencyLevel -> Bool
$c>= :: UrgencyLevel -> UrgencyLevel -> Bool
> :: UrgencyLevel -> UrgencyLevel -> Bool
$c> :: UrgencyLevel -> UrgencyLevel -> Bool
<= :: UrgencyLevel -> UrgencyLevel -> Bool
$c<= :: UrgencyLevel -> UrgencyLevel -> Bool
< :: UrgencyLevel -> UrgencyLevel -> Bool
$c< :: UrgencyLevel -> UrgencyLevel -> Bool
compare :: UrgencyLevel -> UrgencyLevel -> Ordering
$ccompare :: UrgencyLevel -> UrgencyLevel -> Ordering
$cp1Ord :: Eq UrgencyLevel
Ord, Int -> UrgencyLevel
UrgencyLevel -> Int
UrgencyLevel -> [UrgencyLevel]
UrgencyLevel -> UrgencyLevel
UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
UrgencyLevel -> UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
(UrgencyLevel -> UrgencyLevel)
-> (UrgencyLevel -> UrgencyLevel)
-> (Int -> UrgencyLevel)
-> (UrgencyLevel -> Int)
-> (UrgencyLevel -> [UrgencyLevel])
-> (UrgencyLevel -> UrgencyLevel -> [UrgencyLevel])
-> (UrgencyLevel -> UrgencyLevel -> [UrgencyLevel])
-> (UrgencyLevel -> UrgencyLevel -> UrgencyLevel -> [UrgencyLevel])
-> Enum UrgencyLevel
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: UrgencyLevel -> UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
$cenumFromThenTo :: UrgencyLevel -> UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
enumFromTo :: UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
$cenumFromTo :: UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
enumFromThen :: UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
$cenumFromThen :: UrgencyLevel -> UrgencyLevel -> [UrgencyLevel]
enumFrom :: UrgencyLevel -> [UrgencyLevel]
$cenumFrom :: UrgencyLevel -> [UrgencyLevel]
fromEnum :: UrgencyLevel -> Int
$cfromEnum :: UrgencyLevel -> Int
toEnum :: Int -> UrgencyLevel
$ctoEnum :: Int -> UrgencyLevel
pred :: UrgencyLevel -> UrgencyLevel
$cpred :: UrgencyLevel -> UrgencyLevel
succ :: UrgencyLevel -> UrgencyLevel
$csucc :: UrgencyLevel -> UrgencyLevel
Enum, Int -> UrgencyLevel -> ShowS
[UrgencyLevel] -> ShowS
UrgencyLevel -> String
(Int -> UrgencyLevel -> ShowS)
-> (UrgencyLevel -> String)
-> ([UrgencyLevel] -> ShowS)
-> Show UrgencyLevel
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [UrgencyLevel] -> ShowS
$cshowList :: [UrgencyLevel] -> ShowS
show :: UrgencyLevel -> String
$cshow :: UrgencyLevel -> String
showsPrec :: Int -> UrgencyLevel -> ShowS
$cshowsPrec :: Int -> UrgencyLevel -> ShowS
Show)
data Hint = Urgency UrgencyLevel
| Category Category
| ImageData Image
| ImagePath Icon
| SoundFile FilePath
| SuppressSound Bool
| X Int32
| Y Int32
deriving (Hint -> Hint -> Bool
(Hint -> Hint -> Bool) -> (Hint -> Hint -> Bool) -> Eq Hint
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Hint -> Hint -> Bool
$c/= :: Hint -> Hint -> Bool
== :: Hint -> Hint -> Bool
$c== :: Hint -> Hint -> Bool
Eq, Int -> Hint -> ShowS
[Hint] -> ShowS
Hint -> String
(Int -> Hint -> ShowS)
-> (Hint -> String) -> ([Hint] -> ShowS) -> Show Hint
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Hint] -> ShowS
$cshowList :: [Hint] -> ShowS
show :: Hint -> String
$cshow :: Hint -> String
showsPrec :: Int -> Hint -> ShowS
$cshowsPrec :: Int -> Hint -> ShowS
Show)
data Category = Device | DeviceAdded | DeviceError | DeviceRemoved
| Email | EmailArrived | EmailBounced
| Im | ImError | ImReceived
| Network | NetworkConnected | NetworkDisconnected | NetworkError
| Presence | PresenceOffline | PresenceOnline
| Transfer | TransferComplete | TransferError
deriving (Category -> Category -> Bool
(Category -> Category -> Bool)
-> (Category -> Category -> Bool) -> Eq Category
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Category -> Category -> Bool
$c/= :: Category -> Category -> Bool
== :: Category -> Category -> Bool
$c== :: Category -> Category -> Bool
Eq, Int -> Category -> ShowS
[Category] -> ShowS
Category -> String
(Int -> Category -> ShowS)
-> (Category -> String) -> ([Category] -> ShowS) -> Show Category
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Category] -> ShowS
$cshowList :: [Category] -> ShowS
show :: Category -> String
$cshow :: Category -> String
showsPrec :: Int -> Category -> ShowS
$cshowsPrec :: Int -> Category -> ShowS
Show)
data ClosedReason = Expired | Dismissed | CloseNotificationCalled
data NotificationEvent = ActionInvoked Action | Closed ClosedReason
data Notification = Notification { Notification -> Word32
notificationId :: Word32 }
notify :: Client -> Note -> IO Notification
notify :: Client -> Note -> IO Notification
notify cl :: Client
cl = Client -> Notification -> Note -> IO Notification
replace Client
cl (Notification :: Word32 -> Notification
Notification { notificationId :: Word32
notificationId=0 })
callNotificationMethod :: Client -> MemberName -> [Variant] -> IO MethodReturn
callNotificationMethod client :: Client
client methodName :: MemberName
methodName args :: [Variant]
args =
Client -> MethodCall -> IO MethodReturn
call_ Client
client (MethodCall -> IO MethodReturn) -> MethodCall -> IO MethodReturn
forall a b. (a -> b) -> a -> b
$ (ObjectPath -> InterfaceName -> MemberName -> MethodCall
methodCall ObjectPath
path InterfaceName
iface MemberName
methodName)
{ methodCallDestination :: Maybe BusName
methodCallDestination=BusName -> Maybe BusName
forall a. a -> Maybe a
Just BusName
busname
, methodCallBody :: [Variant]
methodCallBody=[Variant]
args
}
where
busname :: BusName
busname = "org.freedesktop.Notifications"
path :: ObjectPath
path = "/org/freedesktop/Notifications"
iface :: InterfaceName
iface = "org.freedesktop.Notifications"
replace :: Client -> Notification -> Note -> IO Notification
replace :: Client -> Notification -> Note -> IO Notification
replace cl :: Client
cl (Notification { notificationId :: Notification -> Word32
notificationId=Word32
replaceId }) note :: Note
note =
Word32 -> Notification
Notification (Word32 -> Notification)
-> (MethodReturn -> Word32) -> MethodReturn -> Notification
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Word32 -> Word32
forall a. HasCallStack => Maybe a -> a
fromJust (Maybe Word32 -> Word32)
-> (MethodReturn -> Maybe Word32) -> MethodReturn -> Word32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Variant -> Maybe Word32
forall a. IsVariant a => Variant -> Maybe a
fromVariant (Variant -> Maybe Word32)
-> (MethodReturn -> Variant) -> MethodReturn -> Maybe Word32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Variant] -> Variant
forall a. [a] -> a
head ([Variant] -> Variant)
-> (MethodReturn -> [Variant]) -> MethodReturn -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MethodReturn -> [Variant]
methodReturnBody (MethodReturn -> Notification)
-> IO MethodReturn -> IO Notification
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$>
Client -> MemberName -> [Variant] -> IO MethodReturn
callNotificationMethod Client
cl "Notify" [Variant]
args
where
args :: [Variant]
args = ((Note -> Variant) -> Variant) -> [Note -> Variant] -> [Variant]
forall a b. (a -> b) -> [a] -> [b]
map ((Note -> Variant) -> Note -> Variant
forall a b. (a -> b) -> a -> b
$ Note
note)
[ String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> (Note -> String) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> String
appName
, Variant -> Note -> Variant
forall a b. a -> b -> a
const (Variant -> Note -> Variant) -> Variant -> Note -> Variant
forall a b. (a -> b) -> a -> b
$ Word32 -> Variant
forall a. IsVariant a => a -> Variant
toVariant (Word32
replaceId::Word32)
, String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> (Note -> String) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Maybe String -> String
forall a. a -> Maybe a -> a
fromMaybe "" (Maybe String -> String)
-> (Note -> Maybe String) -> Note -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Icon -> String) -> Maybe Icon -> Maybe String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Icon -> String
iconString (Maybe Icon -> Maybe String)
-> (Note -> Maybe Icon) -> Note -> Maybe String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> Maybe Icon
appImage
, String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> (Note -> String) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> String
summary
, String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> (Note -> String) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Maybe String -> String
forall a. a -> Maybe a -> a
fromMaybe "" (Maybe String -> String)
-> (Note -> Maybe String) -> Note -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Body -> String) -> Maybe Body -> Maybe String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Body -> String
flattenBody (Maybe Body -> Maybe String)
-> (Note -> Maybe Body) -> Note -> Maybe String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> Maybe Body
body
, [String] -> Variant
forall a. IsVariant a => a -> Variant
toVariant ([String] -> Variant) -> (Note -> [String]) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Action, String)] -> [String]
actionsArray ([(Action, String)] -> [String])
-> (Note -> [(Action, String)]) -> Note -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> [(Action, String)]
actions
, Map String Variant -> Variant
forall a. IsVariant a => a -> Variant
toVariant (Map String Variant -> Variant)
-> (Note -> Map String Variant) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Hint] -> Map String Variant
hintsDict ([Hint] -> Map String Variant)
-> (Note -> [Hint]) -> Note -> Map String Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> [Hint]
hints
, Int32 -> Variant
forall a. IsVariant a => a -> Variant
toVariant (Int32 -> Variant) -> (Note -> Int32) -> Note -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Timeout -> Int32
timeoutInt (Timeout -> Int32) -> (Note -> Timeout) -> Note -> Int32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Note -> Timeout
expiry
]
data Capability = ActionsCap | BodyCap | BodyHyperlinksCap | BodyImagesCap
| BodyMarkupCap | IconMultiCap | IconStaticCap | SoundCap
| UnknownCap String
deriving (Capability -> Capability -> Bool
(Capability -> Capability -> Bool)
-> (Capability -> Capability -> Bool) -> Eq Capability
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Capability -> Capability -> Bool
$c/= :: Capability -> Capability -> Bool
== :: Capability -> Capability -> Bool
$c== :: Capability -> Capability -> Bool
Eq, ReadPrec [Capability]
ReadPrec Capability
Int -> ReadS Capability
ReadS [Capability]
(Int -> ReadS Capability)
-> ReadS [Capability]
-> ReadPrec Capability
-> ReadPrec [Capability]
-> Read Capability
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Capability]
$creadListPrec :: ReadPrec [Capability]
readPrec :: ReadPrec Capability
$creadPrec :: ReadPrec Capability
readList :: ReadS [Capability]
$creadList :: ReadS [Capability]
readsPrec :: Int -> ReadS Capability
$creadsPrec :: Int -> ReadS Capability
Read, Int -> Capability -> ShowS
[Capability] -> ShowS
Capability -> String
(Int -> Capability -> ShowS)
-> (Capability -> String)
-> ([Capability] -> ShowS)
-> Show Capability
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Capability] -> ShowS
$cshowList :: [Capability] -> ShowS
show :: Capability -> String
$cshow :: Capability -> String
showsPrec :: Int -> Capability -> ShowS
$cshowsPrec :: Int -> Capability -> ShowS
Show)
getCapabilities :: Client -> IO [Capability]
getCapabilities :: Client -> IO [Capability]
getCapabilities cl :: Client
cl = (String -> Capability) -> [String] -> [Capability]
forall a b. (a -> b) -> [a] -> [b]
map String -> Capability
readCapability ([String] -> [Capability])
-> (MethodReturn -> [String]) -> MethodReturn -> [Capability]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe [String] -> [String]
forall a. HasCallStack => Maybe a -> a
fromJust
(Maybe [String] -> [String])
-> (MethodReturn -> Maybe [String]) -> MethodReturn -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Variant -> Maybe [String]
forall a. IsVariant a => Variant -> Maybe a
fromVariant (Variant -> Maybe [String])
-> (MethodReturn -> Variant) -> MethodReturn -> Maybe [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Variant] -> Variant
forall a. [a] -> a
head ([Variant] -> Variant)
-> (MethodReturn -> [Variant]) -> MethodReturn -> Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MethodReturn -> [Variant]
methodReturnBody
(MethodReturn -> [Capability])
-> IO MethodReturn -> IO [Capability]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Client -> MemberName -> [Variant] -> IO MethodReturn
callNotificationMethod Client
cl "GetCapabilities" []
readCapability :: String -> Capability
readCapability :: String -> Capability
readCapability s :: String
s = case String
s of
"actions" -> Capability
ActionsCap
"body" -> Capability
BodyCap
"body-hyperlinks" -> Capability
BodyHyperlinksCap
"body-images" -> Capability
BodyImagesCap
"body-markup" -> Capability
BodyMarkupCap
"icon-multi" -> Capability
IconMultiCap
"icon-static" -> Capability
IconStaticCap
"sound" -> Capability
SoundCap
s :: String
s -> String -> Capability
UnknownCap String
s
timeoutInt :: Timeout -> Int32
timeoutInt :: Timeout -> Int32
timeoutInt Never = 0
timeoutInt Dependent = -1
timeoutInt (Milliseconds n :: Int32
n)
| Int32
n Int32 -> Int32 -> Bool
forall a. Ord a => a -> a -> Bool
> 0 = Int32
n
| Bool
otherwise = String -> Int32
forall a. HasCallStack => String -> a
error "notification timeout not positive"
flattenBody :: Body -> String
flattenBody :: Body -> String
flattenBody (Text s :: String
s) = (Char -> String) -> ShowS
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap Char -> String
escape String
s
where
escape :: Char -> String
escape '>' = ">"
escape '<' = "<"
escape '&' = "&"
escape x :: Char
x = [Char
x]
flattenBody (Bold b :: Body
b) = "<b>" String -> ShowS
forall a. [a] -> [a] -> [a]
++ Body -> String
flattenBody Body
b String -> ShowS
forall a. [a] -> [a] -> [a]
++ "</b>"
flattenBody (Italic b :: Body
b) = "<i>" String -> ShowS
forall a. [a] -> [a] -> [a]
++ Body -> String
flattenBody Body
b String -> ShowS
forall a. [a] -> [a] -> [a]
++ "</i>"
flattenBody (Underline b :: Body
b) = "<u>" String -> ShowS
forall a. [a] -> [a] -> [a]
++ Body -> String
flattenBody Body
b String -> ShowS
forall a. [a] -> [a] -> [a]
++ "</u>"
flattenBody (Hyperlink h :: String
h b :: Body
b) = "<a href=\"" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
h String -> ShowS
forall a. [a] -> [a] -> [a]
++ "\">" String -> ShowS
forall a. [a] -> [a] -> [a]
++ Body -> String
flattenBody Body
b String -> ShowS
forall a. [a] -> [a] -> [a]
++ "</a>"
flattenBody (Img h :: String
h alt :: String
alt) = "<img src=\"" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
h String -> ShowS
forall a. [a] -> [a] -> [a]
++ "\" alt=\"" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
alt String -> ShowS
forall a. [a] -> [a] -> [a]
++ "\"/>"
flattenBody (Concat b1 :: Body
b1 b2 :: Body
b2) = Body -> String
flattenBody Body
b1 String -> ShowS
forall a. [a] -> [a] -> [a]
++ Body -> String
flattenBody Body
b2
actionsArray :: [(Action, String)] -> [String]
actionsArray = ((Action, String) -> [String]) -> [(Action, String)] -> [String]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (Action, String) -> [String]
pairList
where
pairList :: (Action, String) -> [String]
pairList (a :: Action
a, b :: String
b) = [Action -> String
actionName Action
a, String
b]
hintsDict :: [Hint] -> M.Map String Variant
hintsDict :: [Hint] -> Map String Variant
hintsDict = [(String, Variant)] -> Map String Variant
forall k a. Ord k => [(k, a)] -> Map k a
M.fromList ([(String, Variant)] -> Map String Variant)
-> ([Hint] -> [(String, Variant)]) -> [Hint] -> Map String Variant
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Hint -> (String, Variant)) -> [Hint] -> [(String, Variant)]
forall a b. (a -> b) -> [a] -> [b]
map Hint -> (String, Variant)
hint
where
hint :: Hint -> (String, Variant)
hint :: Hint -> (String, Variant)
hint (Urgency u :: UrgencyLevel
u) = ("urgency", Word8 -> Variant
forall a. IsVariant a => a -> Variant
toVariant (Int -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Word8) -> Int -> Word8
forall a b. (a -> b) -> a -> b
$ UrgencyLevel -> Int
forall a. Enum a => a -> Int
fromEnum UrgencyLevel
u :: Word8))
hint (Category c :: Category
c) = ("category", String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> String -> Variant
forall a b. (a -> b) -> a -> b
$ Category -> String
catName Category
c)
hint (ImagePath p :: Icon
p) = ("image-path", String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> String -> Variant
forall a b. (a -> b) -> a -> b
$ Icon -> String
iconString Icon
p)
hint (ImageData i :: Image
i) = ("image-data", String -> Variant
forall a. IsVariant a => a -> Variant
toVariant (String -> Variant) -> String -> Variant
forall a b. (a -> b) -> a -> b
$ Image -> String
bitmap Image
i)
hint (SoundFile s :: String
s) = ("sound-file", String -> Variant
forall a. IsVariant a => a -> Variant
toVariant String
s)
hint (SuppressSound b :: Bool
b) = ("suppress-sound", Bool -> Variant
forall a. IsVariant a => a -> Variant
toVariant Bool
b)
hint (X x :: Int32
x) = ("x", Int32 -> Variant
forall a. IsVariant a => a -> Variant
toVariant Int32
x)
hint (Y y :: Int32
y) = ("x", Int32 -> Variant
forall a. IsVariant a => a -> Variant
toVariant Int32
y)
catName :: Category -> String
catName :: Category -> String
catName c :: Category
c = ShowS
catName' (Category -> String
forall a. Show a => a -> String
show Category
c)
where
catName' :: ShowS
catName' (c :: Char
c:cs :: String
cs) = (Char -> Char) -> ShowS
forall a b. (a -> b) -> [a] -> [b]
map Char -> Char
toLower ShowS -> ShowS
forall a b. (a -> b) -> a -> b
$ Char
cChar -> ShowS
forall a. a -> [a] -> [a]
: ((String -> ShowS) -> (String, String) -> String
forall a b c. (a -> b -> c) -> (a, b) -> c
uncurry String -> ShowS
forall a. [a] -> [a] -> [a]
(++) ((String, String) -> String)
-> (String -> (String, String)) -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShowS -> (String, String) -> (String, String)
forall (a :: * -> * -> *) b c d.
Arrow a =>
a b c -> a (d, b) (d, c)
second ('.'Char -> ShowS
forall a. a -> [a] -> [a]
:) ((String, String) -> (String, String))
-> (String -> (String, String)) -> String -> (String, String)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Char -> Bool) -> String -> (String, String)
forall a. (a -> Bool) -> [a] -> ([a], [a])
span Char -> Bool
isLower ShowS -> ShowS
forall a b. (a -> b) -> a -> b
$ String
cs)