FSharp.ATProto.Syntax Namespace
| Type/Module | Description |
|
Functions for creating, validating, and extracting data from AtDateTime values. |
|
|
An AT Protocol datetime string, a strict subset of RFC 3339 / ISO 8601.
Format: |
|
|
JSON converter for AtDateTime values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from AtIdentifier values. |
|
|
Functions for creating, validating, and extracting data from AtUri values. |
|
|
An AT-URI that identifies a resource in the AT Protocol network.
AT-URIs use the scheme |
|
|
JSON converter for AtUri values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from Cid values. |
|
|
A Content Identifier (CID) used to reference content-addressed data in the AT Protocol.
CIDs are self-describing content hashes that uniquely identify a piece of data.
Only CIDv1 is supported; CIDv0 (starting with |
|
|
JSON converter for Cid values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from Did values. |
|
|
A decentralized identifier (DID) as defined by the AT Protocol.
DIDs are the primary stable identifier for accounts. Two methods are currently supported:
|
|
|
JSON converter for Did values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from Handle values. |
|
|
A handle (domain name) used as a human-readable identifier in the AT Protocol.
Handles are DNS-based names (e.g. |
|
|
JSON converter for Handle values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from Language values. |
|
|
A BCP 47 language tag used to identify the language of content in the AT Protocol.
Examples include |
|
|
JSON converter for Language values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from Nsid values. |
|
|
A Namespaced Identifier (NSID) used to reference Lexicon schemas in the AT Protocol.
NSIDs follow the pattern |
|
|
JSON converter for Nsid values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from RecordKey values. |
|
|
A record key (rkey) used to identify individual records within a collection in the AT Protocol.
Record keys are strings of 1-512 characters from the set |
|
|
JSON converter for RecordKey values. Reads/writes as a JSON string. |
|
|
JSON converter for Uri values. Reads/writes as a JSON string.
Named |
|
|
Functions for creating, validating, and extracting data from Tid values. |
|
|
A timestamp-based identifier (TID) used as record keys in the AT Protocol. TIDs are 13-character strings encoded in a base32-sortable format that embeds a microsecond timestamp and a clock identifier. They are lexicographically sortable by creation time. |
|
|
JSON converter for Tid values. Reads/writes as a JSON string. |
|
|
Functions for creating, validating, and extracting data from Uri values. |
|
|
A general URI as defined by RFC 3986, used in the AT Protocol for links and references.
Must have a valid scheme (starting with a letter, followed by letters, digits, |