soidc-http4s-routes
API
Generated with
soidc-http4s-routes/soidc.http4s.routes

soidc.http4s.routes

package soidc.http4s.routes

Members list

Type members

Classlikes

trait AuthCodeFlow[F[_], H, C] extends Realm[F, H, C]

Attributes

Companion
object
Supertypes
trait Realm[F, H, C]
class Object
trait Matchable
class Any
object AuthCodeFlow

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
object GetToken

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
GetToken.type
trait GitHubFlow[F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object GitHubFlow

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
GitHubFlow.type
object JwtAuth

Functions to obtain an AuthedRequest (a valid token) to use with http4s AuthMiddleware.

Functions to obtain an AuthedRequest (a valid token) to use with http4s AuthMiddleware.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
JwtAuth.type
object JwtAuthMiddleware

Creates org.http4s.server.AuthMiddlewares

Creates org.http4s.server.AuthMiddlewares

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait JwtContext[H, C]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Authenticated[H, C]
object JwtContext

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
JwtContext.type
object JwtCookie

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
JwtCookie.type
object TokenRefreshMiddleware

Refreshes an existing token if it gets near expiry.

Refreshes an existing token if it gets near expiry.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Types

type GetToken[F[_]] = (Request[F]) => Option[String]

Obtain a token (string) from a request.

Obtain a token (string) from a request.

Attributes

type JwtAuth[F[_], T] = Kleisli[F, Request[F], Either[ValidateFailure, T]]
type JwtAuthOpt[F[_], T] = Kleisli[[_] =>> OptionT[F, _$3], Request[F], T]
type JwtAuthedRoutes[F[_], H, C] = Kleisli[[_] =>> OptionT[F, _$5], ContextRequest[F, Authenticated[H, C]], Response[F]]
type JwtAuthedRoutesMiddleware[F[_], H, C] = (JwtAuthedRoutes[F, H, C]) => JwtAuthedRoutes[F, H, C]
type JwtMaybeAuthedRoutes[F[_], H, C] = Kleisli[[_] =>> OptionT[F, _$8], ContextRequest[F, JwtContext[H, C]], Response[F]]

Extensions

Extensions

extension [F[_], T](self: JwtAuth[F, T])
def asJwtAuthOpt(using Functor[F]): JwtAuthOpt[F, T]
def asJwtAuthOpt(onError: ValidateFailure => F[Unit])(using Monad[F]): JwtAuthOpt[F, T]
extension (self: Uri)
def asJwtUri: Uri
extension [F[_], H, C](self: JwtMaybeAuthedRoutes[F, H, C])
extension [F[_], H, C](self: JwtAuthedRoutes[F, H, C])(using Applicative[F])
def toMaybeAuthedRoutes(onNotAuthed: HttpRoutes[F]): JwtMaybeAuthedRoutes[F, H, C]
Generated with