-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | ActivityPub Haskell Library
--   
--   ActivityPub Haskell library with vocabulary to spec.
@package activitypub
@version 0.1.0.0

module Network.ActivityPub.Vocabulary.Properties
data Unit
Cm :: Unit
Feed :: Unit
Inches :: Unit
Km :: Unit
M :: Unit
Miles :: Unit
type Accuracy = Float
type Altitude = Float
type Content = Text
type Name = Text
type Duration = NominalDiffTime
type Height = Word
type Href = URI
type HrefLang = Text
type Latitude = Float
type Longitude = Float
type MediaType = Text
type EndTime = UTCTime
type Published = UTCTime
type StartTime = UTCTime
type Radius = Float
type Rel = [Text]
type StartIndex = Word
type Summary = Text
type TotalItems = Word
type Updated = UTCTime
type Width = Word
type Deleted = UTCTime
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Properties.Unit
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Properties.Unit

module Network.ActivityPub.Vocabulary.Core
data Object
Object :: URI -> ObjectProperties -> Object
[oid] :: Object -> URI
[oObjectProperties] :: Object -> ObjectProperties
type Document = Object
type Image = Document
data Link
Link :: URI -> LinkProperties -> Link
[lid] :: Link -> URI
[lLinkProperties] :: Link -> LinkProperties
data Activity
Activity :: URI -> ObjectProperties -> ActivityProperties -> Activity
[aid] :: Activity -> URI
[aObjectProperties] :: Activity -> ObjectProperties
[aActivityProperties] :: Activity -> ActivityProperties
data Collection
Collection :: URI -> ObjectProperties -> CollectionProperties -> Collection
[cid] :: Collection -> URI
[cObjectProperties] :: Collection -> ObjectProperties
[cCollectionProperties] :: Collection -> CollectionProperties
type OrderedCollection = Collection
data CollectionPage
CollectionPage :: URI -> ObjectProperties -> CollectionProperties -> CollectionPageProperties -> CollectionPage
[cpid] :: CollectionPage -> URI
[cpObjectProperties] :: CollectionPage -> ObjectProperties
[cpCollectionProperties] :: CollectionPage -> CollectionProperties
[cpCollectionPageProperties] :: CollectionPage -> CollectionPageProperties
data OrderedCollectionPage
OrderedCollectionPage :: URI -> ObjectProperties -> CollectionProperties -> CollectionPageProperties -> Maybe StartIndex -> OrderedCollectionPage
[ocpid] :: OrderedCollectionPage -> URI
[ocpObjectProperties] :: OrderedCollectionPage -> ObjectProperties
[ocpCollectionProperties] :: OrderedCollectionPage -> CollectionProperties
[ocpCollectionPageProperties] :: OrderedCollectionPage -> CollectionPageProperties
[startIndex] :: OrderedCollectionPage -> Maybe StartIndex
data CollectionPageProperties
CollectionPageProperties :: Maybe PartOf -> Maybe Next -> Maybe Prev -> CollectionPageProperties
[partOf] :: CollectionPageProperties -> Maybe PartOf
[next] :: CollectionPageProperties -> Maybe Next
[prev] :: CollectionPageProperties -> Maybe Prev
data CollectionProperties
CollectionProperties :: Maybe TotalItems -> Maybe Current -> Maybe First -> Maybe Last -> Maybe Items -> CollectionProperties
[totalItems] :: CollectionProperties -> Maybe TotalItems
[current] :: CollectionProperties -> Maybe Current
[first] :: CollectionProperties -> Maybe First
[last] :: CollectionProperties -> Maybe Last
[items] :: CollectionProperties -> Maybe Items
data LinkProperties
LinkProperties :: Maybe Href -> Maybe Rel -> Maybe MediaType -> Maybe Name -> Maybe HrefLang -> Maybe Height -> Maybe Width -> Maybe Preview -> LinkProperties
[href] :: LinkProperties -> Maybe Href
[rel] :: LinkProperties -> Maybe Rel
[mediaType] :: LinkProperties -> Maybe MediaType
[name] :: LinkProperties -> Maybe Name
[hreflang] :: LinkProperties -> Maybe HrefLang
[height] :: LinkProperties -> Maybe Height
[width] :: LinkProperties -> Maybe Width
[preview] :: LinkProperties -> Maybe Preview
data ActivityProperties
ActivityProperties :: Maybe Actor -> Maybe ObjectRef -> Maybe Target -> Maybe Result -> Maybe Origin -> Maybe Instrument -> ActivityProperties
[actor] :: ActivityProperties -> Maybe Actor
[object] :: ActivityProperties -> Maybe ObjectRef
[target] :: ActivityProperties -> Maybe Target
[result] :: ActivityProperties -> Maybe Result
[origin] :: ActivityProperties -> Maybe Origin
[instrument] :: ActivityProperties -> Maybe Instrument
data ObjectProperties
ObjectProperties :: Maybe Attachment -> Maybe AttributedTo -> Maybe Audience -> Maybe Content -> Maybe Context -> Maybe Name -> Maybe EndTime -> Maybe Generator -> Maybe Icon -> Maybe ImageRef -> Maybe InReplyTo -> Maybe Location -> Maybe Preview -> Maybe Published -> Maybe Replies -> Maybe StartTime -> Maybe Summary -> Maybe Tag -> Maybe Updated -> Maybe URL -> Maybe To -> Maybe Bto -> Maybe Cc -> Maybe Bcc -> Maybe MediaType -> Maybe Duration -> ObjectProperties
[attachment] :: ObjectProperties -> Maybe Attachment
[attributedTo] :: ObjectProperties -> Maybe AttributedTo
[audience] :: ObjectProperties -> Maybe Audience
[content] :: ObjectProperties -> Maybe Content
[context] :: ObjectProperties -> Maybe Context
[objName] :: ObjectProperties -> Maybe Name
[endTime] :: ObjectProperties -> Maybe EndTime
[generator] :: ObjectProperties -> Maybe Generator
[icon] :: ObjectProperties -> Maybe Icon
[image] :: ObjectProperties -> Maybe ImageRef
[inReplyTo] :: ObjectProperties -> Maybe InReplyTo
[location] :: ObjectProperties -> Maybe Location
[objPreview] :: ObjectProperties -> Maybe Preview
[published] :: ObjectProperties -> Maybe Published
[replies] :: ObjectProperties -> Maybe Replies
[startTime] :: ObjectProperties -> Maybe StartTime
[summary] :: ObjectProperties -> Maybe Summary
[tag] :: ObjectProperties -> Maybe Tag
[updated] :: ObjectProperties -> Maybe Updated
[url] :: ObjectProperties -> Maybe URL
[to] :: ObjectProperties -> Maybe To
[bto] :: ObjectProperties -> Maybe Bto
[cc] :: ObjectProperties -> Maybe Cc
[bcc] :: ObjectProperties -> Maybe Bcc
[objMediaType] :: ObjectProperties -> Maybe MediaType
[duration] :: ObjectProperties -> Maybe Duration
data Items
Item :: Object -> Items
ItemRef :: Link -> Items
Items :: [Either Object Link] -> Items
data Closed
ClosedObject :: Object -> Closed
ClosedLink :: Link -> Closed
ClosedTime :: UTCTime -> Closed
ClosedState :: Bool -> Closed
type Actor = Either Object Link
type Attachment = Either Object Link
type AttributedTo = Either Object Link
type Audience = Either Object Link
type Bcc = Either Object Link
type Bto = Either Object Link
type Cc = Either Object Link
type Context = Either Object Link
type Current = Either CollectionPage Link
type First = Either CollectionPage Link
type Generator = Either Object Link
type Icon = Either Image Link
type ImageRef = Either Image Link
type InReplyTo = Either Object Link
type Instrument = Either Object Link
type Last = Either CollectionPage Link
type Location = Either Object Link
type OneOf = Either Object Link
type AnyOf = Either Object Link
type Origin = Either Object Link
type Next = Either CollectionPage Link
type ObjectRef = Either Object Link
type Prev = Either CollectionPage Link
type Preview = Either Object Link
type Result = Either Object Link
type Replies = Collection
type Tag = Either Object Link
type Target = Either Object Link
type To = Either Object Link
type URL = Either URI Link
type PartOf = Either Link Collection
type Units = Either Unit URI
type Subject = Either Object Link
type Describes = Object
type FormerType = Object
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.Closed
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.Closed
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.Activity
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.Activity
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.ActivityProperties
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.ActivityProperties
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.OrderedCollectionPage
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.OrderedCollectionPage
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.Items
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.Items
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.CollectionPageProperties
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.CollectionPageProperties
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.CollectionPage
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.CollectionPage
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.CollectionProperties
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.CollectionProperties
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.Object
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.Object
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.LinkProperties
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.LinkProperties
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.Link
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.Link
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.ObjectProperties
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.ObjectProperties
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Core.Collection
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Core.Collection

module Network.ActivityPub.Vocabulary.Object
type Article = Object
type Event = Object
type Note = Object
type Audio = Document
type Page = Document
type Video = Document
data Tombstone
Tombstone :: URI -> ObjectProperties -> Maybe FormerType -> Maybe Deleted -> Tombstone
[tid] :: Tombstone -> URI
[tObjectProperties] :: Tombstone -> ObjectProperties
[formerType] :: Tombstone -> Maybe FormerType
[deleted] :: Tombstone -> Maybe Deleted
data Profile
Profile :: URI -> ObjectProperties -> Maybe Describes -> Profile
[prid] :: Profile -> URI
[prObjectProperties] :: Profile -> ObjectProperties
[describes] :: Profile -> Maybe Describes
data Place
Place :: URI -> ObjectProperties -> Maybe Accuracy -> Maybe Altitude -> Maybe Latitude -> Maybe Longitude -> Maybe Radius -> Maybe Units -> Place
[pid] :: Place -> URI
[pObjectProperties] :: Place -> ObjectProperties
[accuracy] :: Place -> Maybe Accuracy
[altitude] :: Place -> Maybe Altitude
[latitude] :: Place -> Maybe Latitude
[longitude] :: Place -> Maybe Longitude
[radius] :: Place -> Maybe Radius
[units] :: Place -> Maybe Units
data Relationship
Relationship :: URI -> ObjectProperties -> Maybe Subject -> Maybe ObjectRef -> Maybe Relationship -> Relationship
[rid] :: Relationship -> URI
[rObjectProperties] :: Relationship -> ObjectProperties
[subject] :: Relationship -> Maybe Subject
[object] :: Relationship -> Maybe ObjectRef
[relationship] :: Relationship -> Maybe Relationship
type Mention = Link
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Object.Relationship
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Object.Relationship
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Object.Place
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Object.Place
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Object.Profile
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Object.Profile
instance GHC.Classes.Eq Network.ActivityPub.Vocabulary.Object.Tombstone
instance GHC.Show.Show Network.ActivityPub.Vocabulary.Object.Tombstone

module Network.ActivityPub.Vocabulary.Actor
type Application = Object
type Group = Object
type Organization = Object
type Person = Object
type Service = Object

module Network.ActivityPub.Vocabulary.Activity
type Accept = Activity
type Add = Activity
type Announce = Activity
type Arrive = Activity
type Block = Activity
type Create = Activity
type Delete = Activity
type Dislike = Activity
type Flag = Activity
type Follow = Activity
type Ignore = Activity
type Invite = Activity
type Join = Activity
type Leave = Activity
type Like = Activity
type Listen = Activity
type Move = Activity
type Offer = Activity
type Question = Activity
type Reject = Activity
type Read = Activity
type Remove = Activity
type TentativeReject = Activity
type TentativeAccept = Activity
type Travel = Activity
type Undo = Activity
type Update = Activity
type View = Activity