Network.Pushbullet.Types

Documentation

type Title = Text

type Body = Text

type FileName = Text

type FileType = Text

type FileUrl = Text

newtype DeviceId

Constructors

DeviceId

Fields

• unDeviceId :: Text

Instances

Eq DeviceId

Methods

(==) :: DeviceId -> DeviceId -> Bool

(/=) :: DeviceId -> DeviceId -> Bool

Show DeviceId

Methods

showsPrec :: Int -> DeviceId -> ShowS

show :: DeviceId -> String

showList :: [DeviceId] -> ShowS

IsString DeviceId

Methods

fromString :: String -> DeviceId

data PushBullet

Constructors

PushNote Title Body

A note with a title and body

PushLink Title Body Text

A link with a message and title

PushFile Body FileName FileType FileUrl

A File with a message, name, type, and url

Instances

ToJSON PushBullet

Methods

toJSON :: PushBullet -> Value

toEncoding :: PushBullet -> Encoding

toJSONList :: [PushBullet] -> Value

toEncodingList :: [PushBullet] -> Encoding

pushSecret

Arguments

:: ByteString

Access Token found in Account Settings

-> PushSecret

Generate the PushSecret from a ByteString