danabra.mov
An experimental TypeSpec syntax for Lexicon
chore: Reindent community.lexicon tsp files
authored by
Tangled
6ca4da3a
e9dc14c6
+15
-15
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/bookmarks/getActorBookmarks.tsp
+15
-15
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/bookmarks/getActorBookmarks.tsp
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.bookmarks.getActorBookmarks {
4
-
/** Get a list of bookmarks by actor. Optionally add a list of tags to include, default will be all bookmarks. Requires auth, actor must be the requesting account. */
5
-
@query
6
-
op main(
7
-
tags?: string[],
8
9
-
@minValue(1)
10
-
@maxValue(100)
11
-
limit?: int32 = 50,
12
13
-
cursor?: string
14
-
): {
15
-
@required
16
-
bookmarks: community.lexicon.bookmarks.bookmark.Main[];
17
18
-
cursor?: string;
19
-
};
20
}
21
22
// --- Externals ---
23
24
@external
25
namespace community.lexicon.bookmarks.bookmark {
26
-
model Main { }
27
-
}
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.bookmarks.getActorBookmarks {
4
+
/** Get a list of bookmarks by actor. Optionally add a list of tags to include, default will be all bookmarks. Requires auth, actor must be the requesting account. */
5
+
@query
6
+
op main(
7
+
tags?: string[],
8
9
+
@minValue(1)
10
+
@maxValue(100)
11
+
limit?: int32 = 50,
12
13
+
cursor?: string,
14
+
): {
15
+
@required
16
+
bookmarks: community.lexicon.bookmarks.bookmark.Main[];
17
18
+
cursor?: string;
19
+
};
20
}
21
22
// --- Externals ---
23
24
@external
25
namespace community.lexicon.bookmarks.bookmark {
26
+
model Main {}
27
+
}
+10
-10
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/interaction/like.tsp
+10
-10
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/interaction/like.tsp
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.interaction.like {
4
-
/** A 'like' interaction with another AT Protocol record. */
5
-
@rec("tid")
6
-
model Main {
7
-
@required
8
-
subject: `com`.atproto.repo.strongRef.Main;
9
10
-
@required
11
-
createdAt: datetime;
12
-
}
13
}
14
15
// --- Externals ---
16
17
@external
18
-
namespace `com`.atproto.repo.strongRef {
19
-
model Main { }
20
}
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.interaction.like {
4
+
/** A 'like' interaction with another AT Protocol record. */
5
+
@rec("tid")
6
+
model Main {
7
+
@required
8
+
subject: com.atproto.repo.strongRef.Main;
9
10
+
@required
11
+
createdAt: datetime;
12
+
}
13
}
14
15
// --- Externals ---
16
17
@external
18
+
namespace com.atproto.repo.strongRef {
19
+
model Main {}
20
}
+18
-18
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/address.tsp
+18
-18
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/address.tsp
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.address {
4
-
/** A physical location in the form of a street address. */
5
-
model Main {
6
-
/** The ISO 3166 country code. Preferably the 2-letter code. */
7
-
@required
8
-
@minLength(2)
9
-
@maxLength(10)
10
-
country: string;
11
12
-
/** The postal code of the location. */
13
-
postalCode?: string;
14
15
-
/** The administrative region of the country. For example, a state in the USA. */
16
-
region?: string;
17
18
-
/** The locality of the region. For example, a city in the USA. */
19
-
locality?: string;
20
21
-
/** The street address. */
22
-
street?: string;
23
24
-
/** The name of the location. */
25
-
name?: string;
26
-
}
27
}
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.address {
4
+
/** A physical location in the form of a street address. */
5
+
model Main {
6
+
/** The ISO 3166 country code. Preferably the 2-letter code. */
7
+
@required
8
+
@minLength(2)
9
+
@maxLength(10)
10
+
country: string;
11
12
+
/** The postal code of the location. */
13
+
postalCode?: string;
14
15
+
/** The administrative region of the country. For example, a state in the USA. */
16
+
region?: string;
17
18
+
/** The locality of the region. For example, a city in the USA. */
19
+
locality?: string;
20
21
+
/** The street address. */
22
+
street?: string;
23
24
+
/** The name of the location. */
25
+
name?: string;
26
+
}
27
}
+9
-9
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/fsq.tsp
+9
-9
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/fsq.tsp
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.fsq {
4
-
/** A physical location contained in the Foursquare Open Source Places dataset. */
5
-
model Main {
6
-
/** The unique identifier of a Foursquare POI. */
7
-
@required fsq_place_id: string;
8
9
-
latitude?: string;
10
-
longitude?: string;
11
12
-
/** The name of the location. */
13
-
name?: string;
14
-
}
15
}
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.fsq {
4
+
/** A physical location contained in the Foursquare Open Source Places dataset. */
5
+
model Main {
6
+
/** The unique identifier of a Foursquare POI. */
7
+
@required fsq_place_id: string;
8
9
+
latitude?: string;
10
+
longitude?: string;
11
12
+
/** The name of the location. */
13
+
name?: string;
14
+
}
15
}
+10
-9
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/geo.tsp
+10
-9
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/geo.tsp
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.geo {
4
-
/** A physical location in the form of a WGS84 coordinate. */
5
-
model Main {
6
-
@required latitude: string;
7
-
@required longitude: string;
8
-
altitude?: string;
9
-
/** The name of the location. */
10
-
name?: string;
11
-
}
12
-
}
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.geo {
4
+
/** A physical location in the form of a WGS84 coordinate. */
5
+
model Main {
6
+
@required latitude: string;
7
+
@required longitude: string;
8
+
altitude?: string;
9
+
10
+
/** The name of the location. */
11
+
name?: string;
12
+
}
13
+
}
+8
-8
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/hthree.tsp
+8
-8
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/location/hthree.tsp
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.hthree {
4
-
/** A physical location in the form of a H3 encoded location. */
5
-
model Main {
6
-
/** The h3 encoded location. */
7
-
@required value: string;
8
9
-
/** The name of the location. */
10
-
name?: string;
11
-
}
12
-
}
···
1
import "@typelex/emitter";
2
3
namespace community.lexicon.location.hthree {
4
+
/** A physical location in the form of a H3 encoded location. */
5
+
model Main {
6
+
/** The h3 encoded location. */
7
+
@required value: string;
8
9
+
/** The name of the location. */
10
+
name?: string;
11
+
}
12
+
}
+9
-9
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/payments/webMonetization.tsp
+9
-9
packages/emitter/test/integration/lexicon-examples/input/community/lexicon/payments/webMonetization.tsp
···
2
3
/** Web Monetization integration: https://webmonetization.org/ */
4
namespace community.lexicon.payments.webMonetization {
5
-
@rec("any")
6
-
/** Web Monetization wallet. */
7
-
model Main {
8
-
/** Wallet address. */
9
-
@required address: uri;
10
11
-
/** Short, human-readable description of how this wallet is related to this account. */
12
-
note?: string;
13
-
}
14
-
}
···
2
3
/** Web Monetization integration: https://webmonetization.org/ */
4
namespace community.lexicon.payments.webMonetization {
5
+
/** Web Monetization wallet. */
6
+
@rec("any")
7
+
model Main {
8
+
/** Wallet address. */
9
+
@required address: uri;
10
11
+
/** Short, human-readable description of how this wallet is related to this account. */
12
+
note?: string;
13
+
}
14
+
}