Skip to content

Commit

Permalink
fixed type names
Browse files Browse the repository at this point in the history
  • Loading branch information
Szer committed Sep 28, 2023
1 parent 25e36f9 commit 9e6bbc0
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions src/VahterBanBot/Types.fs
Original file line number Diff line number Diff line change
Expand Up @@ -17,17 +17,17 @@ type BotConfiguration =
type User =
{ Id: int64
Username: string option
BannedBy: int64 option
BannedAt: DateTime option
BanReason: string option
UpdatedAt: DateTime
CreatedAt: DateTime }
Banned_By: int64 option
Banned_At: DateTime option
Ban_Reason: string option
Updated_At: DateTime
Created_At: DateTime }

static member newUser(id, ?username: string) =
{ Id = id
Username = username
BannedBy = None
BannedAt = None
BanReason = None
UpdatedAt = DateTime.UtcNow
CreatedAt = DateTime.UtcNow }
Banned_By = None
Banned_At = None
Ban_Reason = None
Updated_At = DateTime.UtcNow
Created_At = DateTime.UtcNow }

0 comments on commit 9e6bbc0

Please sign in to comment.