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)