gauth/user/deletion

Types

pub type UserDeletionError(identifier) {
  NoSuchUser(id: identifier)
  Generic(message: String)
}

Constructors

  • NoSuchUser(id: identifier)
  • Generic(message: String)
pub type UserDeletionService(identifier) {
  UserDeletionService(
    delete_user: fn(identifier) ->
      Result(Nil, UserDeletionError(identifier)),
    middleware: List(
      fn(identifier) ->
        Result(identifier, UserDeletionError(identifier)),
    ),
    errorware: List(
      fn(UserDeletionError(identifier)) ->
        UserDeletionError(identifier),
    ),
  )
}

Constructors

  • UserDeletionService(
      delete_user: fn(identifier) ->
        Result(Nil, UserDeletionError(identifier)),
      middleware: List(
        fn(identifier) ->
          Result(identifier, UserDeletionError(identifier)),
      ),
      errorware: List(
        fn(UserDeletionError(identifier)) ->
          UserDeletionError(identifier),
      ),
    )

Functions

pub fn delete_user(
  user: a,
  service: UserDeletionService(a),
) -> Result(Nil, UserDeletionError(a))
pub fn with_errorware(
  service: UserDeletionService(a),
  errorware: fn(UserDeletionError(a)) -> UserDeletionError(a),
) -> UserDeletionService(a)
pub fn with_middleware(
  service: UserDeletionService(a),
  middleware: fn(a) -> Result(a, UserDeletionError(a)),
) -> UserDeletionService(a)
Search Document