Copyright | (c) 2013-2023 Brendan Hay |
---|---|
License | Mozilla Public License, v. 2.0. |
Maintainer | Brendan Hay |
Stability | auto-generated |
Portability | non-portable (GHC extensions) |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- data Connection = Connection' {}
- newConnection :: Connection
- connection_created :: Lens' Connection (Maybe UTCTime)
- connection_id :: Lens' Connection (Maybe Text)
Documentation
data Connection Source #
Details about a WebSocket connection.
See: newConnection
smart constructor.
Instances
newConnection :: Connection Source #
Create a value of Connection
with all optional fields omitted.
Use generic-lens or optics to modify other optional fields.
The following record fields are available, with the corresponding lenses provided for backwards compatibility:
$sel:created:Connection'
, connection_created
- The date and time when the connection was created.
$sel:id:Connection'
, connection_id
- The identifier used to indicate a specific WebSocket connection.
connection_created :: Lens' Connection (Maybe UTCTime) Source #
The date and time when the connection was created.
connection_id :: Lens' Connection (Maybe Text) Source #
The identifier used to indicate a specific WebSocket connection.