aivi.gnome.onlineAccounts

Types for GNOME Online Accounts (GOA).

GNOME Online Accounts is the system service that keeps track of signed-in desktop accounts such as mail, calendar, contacts, cloud storage, and photo providers.

This module currently exports shared data types only. It does not itself fetch accounts or tokens, but it gives names to the values a GOA integration can return.

Import

use aivi.gnome.onlineAccounts (
    GoaAccountId
    GoaCapability
    GoaProvider
    GoaAccount
    AccessToken
    OAuthToken
    GoaError
    GoaAccountState
    GoaEvent
)

Overview

Type	Description
GoaAccountId	Text identifier for an account
GoaCapability	What an account can be used for
GoaProvider	Provider name as plain text
GoaAccount	Account record
AccessToken	Access token without refresh-token data
OAuthToken	OAuth token payload including optional refresh token
GoaError	Account and credential failures
GoaAccountState	Whether the account is active, disabled, or needs attention
GoaEvent	Account add/remove/change events

Types

GoaAccountId

type GoaAccountId = Text

Plain-text identifier for a GNOME Online Accounts entry.

GoaCapability

type GoaCapability =
  | Mail
  | Calendar
  | Contacts
  | Files
  | Photos

Broad feature areas an account may support.

• Mail — email
• Calendar — calendar data
• Contacts — address book data
• Files — file storage or sync
• Photos — photo access or sync

GoaProvider

type GoaProvider = Text

Provider name as plain text. This stays flexible, so the module does not hard-code provider names.

GoaAccount

type GoaAccount = {
    id: GoaAccountId
}

Account record.

Right now it is intentionally small: the only stored field is the account id.

use aivi.gnome.onlineAccounts (GoaAccount)

value account : GoaAccount = {
    id: "personal-mail"
}

AccessToken

type AccessToken = {
    token: Text,
    tokenType: Text,
    expiresAt: Option Int
}

Simple access-token payload.

• token — the token value
• tokenType — the token kind, such as "Bearer"
• expiresAt — optional expiry time as an Int; this module does not define the unit

OAuthToken

type OAuthToken = {
    accessToken: Text,
    refreshToken: Option Text,
    tokenType: Text,
    expiresAt: Option Int
}

OAuth token payload with optional refresh-token support.

GoaError

type GoaError =
  | AccountNotFound Text
  | CredentialUnavailable Text
  | AttentionRequired Text
  | GoaProtocolError Text

Common GOA failure cases.

• AccountNotFound — the requested account ID does not exist
• CredentialUnavailable — credentials could not be obtained
• AttentionRequired — the account needs user action before it can be used
• GoaProtocolError — another GOA/backend error reported as text

GoaAccountState

type GoaAccountState =
  | AccountActive
  | AccountNeedsAttention
  | AccountDisabled

High-level state of an account.

GoaEvent

type GoaEvent =
  | AccountAdded GoaAccountId
  | AccountRemoved GoaAccountId
  | AccountChanged GoaAccountId

Change notifications for account lists.

use aivi.gnome.onlineAccounts (
    GoaEvent
    AccountAdded
    AccountRemoved
    AccountChanged
)

type GoaEvent -> Text
func describeEvent = event => event
 ||> AccountAdded id   -> "Added: {id}"
 ||> AccountRemoved id -> "Removed: {id}"
 ||> AccountChanged id -> "Changed: {id}"