GitHub.Endpoints.Users.PublicSSHKeys

The public keys API, as described at https://developer.github.com/v3/users/keys/

Querying public SSH keys

publicSSHKeys' :: Auth -> IO (Either Error (Vector PublicSSHKey))

Querying the authenticated users' public SSH keys

publicSSHKeysR :: Request RA (Vector PublicSSHKey)

Querying the authenticated users' public SSH keys See https://developer.github.com/v3/users/keys/#list-your-public-keys

publicSSHKeysFor' :: Name Owner -> IO (Either Error (Vector PublicSSHKeyBasic))

Querying public SSH keys.

publicSSHKeysForR :: Name Owner -> FetchCount -> Request RO (Vector PublicSSHKeyBasic)

Querying public SSH keys. See https://developer.github.com/v3/users/keys/#list-public-keys-for-a-user

publicSSHKey' :: Auth -> Id PublicSSHKey -> IO (Either Error PublicSSHKey)

Querying a public SSH key

publicSSHKeyR :: Id PublicSSHKey -> Request RA PublicSSHKey

Querying a public SSH key. See https://developer.github.com/v3/users/keys/#get-a-single-public-key

Create

createUserPublicSSHKey' :: Auth -> NewPublicSSHKey -> IO (Either Error PublicSSHKey)

Create a public SSH key

createUserPublicSSHKeyR :: NewPublicSSHKey -> Request RW PublicSSHKey

Create a public SSH key. See https://developer.github.com/v3/users/keys/#create-a-public-key.

Delete

deleteUserPublicSSHKey' :: Auth -> Id PublicSSHKey -> IO (Either Error ())

deleteUserPublicSSHKeyR :: Id PublicSSHKey -> GenRequest MtUnit RW ()

Delete a public SSH key. See https://developer.github.com/v3/users/keys/#delete-a-public-key