// /**
//  * Contract source: https://git.io/JOdz5
//  *
//  * Feel free to let us know via PR, if you find something broken in this
//  * file.
//  */

// import User from '#app/Models/User';

// declare module '@ioc:Adonis/Addons/Auth' {
//     /*
//     |
//     interface ProvidersList {
//         /*
//     |--------------------------------------------------------------------------
//     | User Provider
//     |--------------------------------------------------------------------------
//     |
//     | The following provider uses Lucid models as a driver for fetching user
//     | details from the database for authentication.
//     |
//     | You can create multiple providers using the same underlying driver with
//     | different Lucid models.
//     |
//     */
//         user: {
//             implementation: LucidProviderContract<typeof User>;
//             config: LucidProviderConfig<typeof User>;
//         };
//     }

//     /*
//   |--------------------------------------------------------------------------
//   | Guards
//   |--------------------------------------------------------------------------
//   |
//   | The guards are used for authenticating users using different drivers.
//   | The auth module comes with 3 different guards.
//   |
//   | - SessionGuardContract
//   | - BasicAuthGuardContract
//   | - OATGuardContract ( Opaque access token )
//   |
//   | Every guard needs a provider for looking up users from the database.
//   |
//   */
//     interface GuardsList {
//         /*
//     |--------------------------------------------------------------------------
//     | Web Guard
//     |--------------------------------------------------------------------------
//     |
//     | The web guard uses sessions for maintaining user login state. It uses
//     | the `user` provider for fetching user details.
//     |
//     */
//         web: {
//             implementation: SessionGuardContract<'user', 'web'>;
//             config: SessionGuardConfig<'user'>;
//             client: SessionClientContract<'user'>;
//         };
//     }
// }