DBus.Representable

Documentation

flattenRep :: Representable a => a -> DBusArguments (FlattenRepType (RepType a))

type family FromSimpleType (t :: DBusType) :: DBusSimpleType where ...

Equations

FromSimpleType (DBusSimpleType k) = k

Orphan instances

Representable Bool

Associated Types

type RepType Bool :: DBusType

Methods

toRep :: Bool -> DBusValue (RepType Bool)

fromRep :: DBusValue (RepType Bool) -> Maybe Bool

Representable Double

Associated Types

type RepType Double :: DBusType

Methods

toRep :: Double -> DBusValue (RepType Double)

fromRep :: DBusValue (RepType Double) -> Maybe Double

Representable Int16

Associated Types

type RepType Int16 :: DBusType

Methods

toRep :: Int16 -> DBusValue (RepType Int16)

fromRep :: DBusValue (RepType Int16) -> Maybe Int16

Representable Int32

Associated Types

type RepType Int32 :: DBusType

Methods

toRep :: Int32 -> DBusValue (RepType Int32)

fromRep :: DBusValue (RepType Int32) -> Maybe Int32

Representable Int64

Associated Types

type RepType Int64 :: DBusType

Methods

toRep :: Int64 -> DBusValue (RepType Int64)

fromRep :: DBusValue (RepType Int64) -> Maybe Int64

Representable Word8

Associated Types

type RepType Word8 :: DBusType

Methods

toRep :: Word8 -> DBusValue (RepType Word8)

fromRep :: DBusValue (RepType Word8) -> Maybe Word8

Representable Word16

Associated Types

type RepType Word16 :: DBusType

Methods

toRep :: Word16 -> DBusValue (RepType Word16)

fromRep :: DBusValue (RepType Word16) -> Maybe Word16

Representable Word32

Associated Types

type RepType Word32 :: DBusType

Methods

toRep :: Word32 -> DBusValue (RepType Word32)

fromRep :: DBusValue (RepType Word32) -> Maybe Word32

Representable Word64

Associated Types

type RepType Word64 :: DBusType

Methods

toRep :: Word64 -> DBusValue (RepType Word64)

fromRep :: DBusValue (RepType Word64) -> Maybe Word64

Representable ()

Associated Types

type RepType () :: DBusType

Methods

toRep :: () -> DBusValue (RepType ())

fromRep :: DBusValue (RepType ()) -> Maybe ()

Representable ByteString

Associated Types

type RepType ByteString :: DBusType

Methods

toRep :: ByteString -> DBusValue (RepType ByteString)

fromRep :: DBusValue (RepType ByteString) -> Maybe ByteString

Representable Text

Associated Types

type RepType Text :: DBusType

Methods

toRep :: Text -> DBusValue (RepType Text)

fromRep :: DBusValue (RepType Text) -> Maybe Text

Representable ObjectPath

Associated Types

type RepType ObjectPath :: DBusType

Methods

toRep :: ObjectPath -> DBusValue (RepType ObjectPath)

fromRep :: DBusValue (RepType ObjectPath) -> Maybe ObjectPath

(Representable a, SingI DBusType (RepType a)) => Representable [a]

Associated Types

type RepType [a] :: DBusType

Methods

toRep :: [a] -> DBusValue (RepType [a])

fromRep :: DBusValue (RepType [a]) -> Maybe [a]

SingI DBusType t => Representable (DBusValue t)

Associated Types

type RepType (DBusValue t) :: DBusType

Methods

toRep :: DBusValue t -> DBusValue (RepType (DBusValue t))

fromRep :: DBusValue (RepType (DBusValue t)) -> Maybe (DBusValue t)

(Representable a, Representable b) => Representable (a, b)

Associated Types

type RepType (a, b) :: DBusType

Methods

toRep :: (a, b) -> DBusValue (RepType (a, b))

fromRep :: DBusValue (RepType (a, b)) -> Maybe (a, b)

(Ord k, Representable k, (~) DBusType (RepType k) (DBusSimpleType r), SingI DBusSimpleType r, Representable v) => Representable (Map k v)

Associated Types

type RepType (Map k v) :: DBusType

Methods

toRep :: Map k v -> DBusValue (RepType (Map k v))

fromRep :: DBusValue (RepType (Map k v)) -> Maybe (Map k v)

(Representable a, Representable b, Representable c) => Representable (a, b, c)

Associated Types

type RepType (a, b, c) :: DBusType

Methods

toRep :: (a, b, c) -> DBusValue (RepType (a, b, c))

fromRep :: DBusValue (RepType (a, b, c)) -> Maybe (a, b, c)

(Representable a, Representable b, Representable c, Representable d) => Representable (a, b, c, d)

Associated Types

type RepType (a, b, c, d) :: DBusType

Methods

toRep :: (a, b, c, d) -> DBusValue (RepType (a, b, c, d))

fromRep :: DBusValue (RepType (a, b, c, d)) -> Maybe (a, b, c, d)

(Representable a, Representable b, Representable c, Representable d, Representable e) => Representable (a, b, c, d, e)

Associated Types

type RepType (a, b, c, d, e) :: DBusType

Methods

toRep :: (a, b, c, d, e) -> DBusValue (RepType (a, b, c, d, e))

fromRep :: DBusValue (RepType (a, b, c, d, e)) -> Maybe (a, b, c, d, e)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f) => Representable (a, b, c, d, e, f)

Associated Types

type RepType (a, b, c, d, e, f) :: DBusType

Methods

toRep :: (a, b, c, d, e, f) -> DBusValue (RepType (a, b, c, d, e, f))

fromRep :: DBusValue (RepType (a, b, c, d, e, f)) -> Maybe (a, b, c, d, e, f)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g) => Representable (a, b, c, d, e, f, g)

Associated Types

type RepType (a, b, c, d, e, f, g) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g) -> DBusValue (RepType (a, b, c, d, e, f, g))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g)) -> Maybe (a, b, c, d, e, f, g)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h) => Representable (a, b, c, d, e, f, g, h)

Associated Types

type RepType (a, b, c, d, e, f, g, h) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h) -> DBusValue (RepType (a, b, c, d, e, f, g, h))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h)) -> Maybe (a, b, c, d, e, f, g, h)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i) => Representable (a, b, c, d, e, f, g, h, i)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i)) -> Maybe (a, b, c, d, e, f, g, h, i)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j) => Representable (a, b, c, d, e, f, g, h, i, j)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j)) -> Maybe (a, b, c, d, e, f, g, h, i, j)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k) => Representable (a, b, c, d, e, f, g, h, i, j, k)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l) => Representable (a, b, c, d, e, f, g, h, i, j, k, l)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r, Representable s) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)

(Representable a, Representable b, Representable c, Representable d, Representable e, Representable f, Representable g, Representable h, Representable i, Representable j, Representable k, Representable l, Representable m, Representable n, Representable o, Representable p, Representable q, Representable r, Representable s, Representable t) => Representable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)

Associated Types

type RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) :: DBusType

Methods

toRep :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) -> DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t))

fromRep :: DBusValue (RepType (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)) -> Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)