Helic.Data.Event

Event Data Type

Documentation

data Event

The central data type representing a clipboard event.

Constructors

Event

Fields

• sender :: InstanceName

  The host from which the event originated.

• source :: AgentId

  The entity that caused the event.

• time :: Time

  Timestamp.

• content :: Text

  Payload.

Instances

Eq Event

Defined in Helic.Data.Event

Methods

(==) :: Event -> Event -> Bool

(/=) :: Event -> Event -> Bool

Show Event

Defined in Helic.Data.Event

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

ToJSON Event

Defined in Helic.Data.Event

Methods

toJSON :: Event -> Value

toEncoding :: Event -> Encoding

toJSONList :: [Event] -> Value

toEncodingList :: [Event] -> Encoding

FromJSON Event

Defined in Helic.Data.Event

Methods

parseJSON :: Value -> Parser Event

parseJSONList :: Value -> Parser [Event]

now :: Members [ChronosTime, Reader InstanceName] r => AgentId -> Text -> Sem r Event

Construct an event for the current host and time.