me/fedi
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

outbox should be ordered apparently

Browse source
This commit is contained in:
me 2024-12-17 10:46:59 +02:00
parent e5fc1258ee
commit 054b6ff49f
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/Fedi/Activity.hs
View file

@ -43,7 +43,7 @@ type Followers = [Actor]
type Following = [Actor]
type Inbox = Collection Ordered Activity
type Outbox = Collection Unordered Activity
type Outbox = Collection Ordered Activity
type OutboxPage = OrderedCollectionPage Activity
data Ordered
@ -88,8 +88,8 @@ instance A.ToJSON Activity where
create@Create{} ->
A.object
[ "@context" A..=
[ "https://www.w3.org/ns/activitystreams" :: String
]
( "https://www.w3.org/ns/activitystreams" :: String
)
, "type" A..= ("Create" :: String)
, "id" A..= create.id
, "actor" A..= create.actor
@ -100,8 +100,8 @@ instance A.ToJSON a => A.ToJSON (Collection Ordered a) where
toJSON collection =
A.object
[ "@context" A..=
[ "https://www.w3.org/ns/activitystreams" :: String
]
( "https://www.w3.org/ns/activitystreams" :: String
)
, "id" A..= collection.id
, "type" A..= ("OrderedCollection" :: String)
, "summary" A..= collection.summary
@ -115,8 +115,8 @@ instance A.ToJSON a => A.ToJSON (Collection Unordered a) where
toJSON collection =
A.object
[ "@context" A..=
[ "https://www.w3.org/ns/activitystreams" :: String
]
( "https://www.w3.org/ns/activitystreams" :: String
)
, "id" A..= collection.id
, "type" A..= ("Collection" :: String)
, "summary" A..= collection.summary