generated from Release-Candidate/FSharp_Template
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
a31cdc3
commit b908b67
Showing
15 changed files
with
454 additions
and
122 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,177 @@ | ||
| // SPDX-License-Identifier: MIT | ||
| // Copyright (C) 2021 Roland Csaszar | ||
| // | ||
| // Project: TestTzolkin | ||
| // File: Generic.fs | ||
| // Date: 4/24/2021 1:11:17 PM | ||
| //============================================================================== | ||
|
|
||
|
|
||
| namespace TestTzolkin | ||
|
|
||
| open Expecto | ||
| open Swensen.Unquote | ||
| open System | ||
| open FsCheck | ||
| open Expecto.Logging | ||
|
|
||
| [<AutoOpen>] | ||
| module Generic= | ||
|
|
||
| let logger = Log.create "Tzolkin" | ||
|
|
||
| let config = { FsCheckConfig.defaultConfig with | ||
| maxTest = 100000 | ||
| endSize = 1000000 | ||
| receivedArgs = fun _ name no args -> | ||
| logger.infoWithBP ( | ||
| Message.eventX "For {test} {no}, generated {args}" | ||
| >> Message.setField "test" name | ||
| >> Message.setField "no" no | ||
| >> Message.setField "args" args)} | ||
|
|
||
| let configList = { config with | ||
| maxTest = 25 | ||
| endSize = 10000 } | ||
|
|
||
| // Rules to calculate with `TzolkinNumber` and `TzolkinGlyph`. ================================= | ||
|
|
||
| let inline testCommutativity constructor i days = | ||
| let tzolkin = constructor i | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 @> | ||
| | Some tz1 -> test <@ tz1 + days = days + tz1 @> | ||
|
|
||
| let inline testCommutativityDate constructor i j days = | ||
| let tzolkin = constructor i j | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 || j < 1 @> | ||
| | Some tz1 -> test <@ tz1 + days = days + tz1 @> | ||
|
|
||
| let inline testNeutralElement constructor i neutral = | ||
| let tzolkin = constructor i | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 @> | ||
| | Some tz1 -> test <@ tz1 + neutral = tz1 @> | ||
|
|
||
| let inline testNeutralElementDate constructor i j neutral = | ||
| let tzolkin = constructor i j | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 || j < 1 @> | ||
| | Some tz1 -> test <@ tz1 + neutral = tz1 @> | ||
|
|
||
| let inline testAssociativity constructor i days1 days2 = | ||
| let tzolkin = constructor i | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 @> | ||
| | Some tz1 -> test <@ (tz1 + days1) + days2 = tz1 + (days1 + days2) @> | ||
|
|
||
| let inline testAssociativityDate constructor i j days1 days2 = | ||
| let tzolkin = constructor i j | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 || j < 1 @> | ||
| | Some tz1 -> test <@ (tz1 + days1) + days2 = tz1 + (days1 + days2) @> | ||
|
|
||
| let inline testIntTimeSpanSame constructor i daysI daysTS = | ||
| let tzolkin = constructor i | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 @> | ||
| | Some tz1 -> test <@ tz1 + daysI = tz1 + daysTS @> | ||
|
|
||
| let inline testIntTimeSpanSameDate constructor i j daysI daysTS = | ||
| let tzolkin = constructor i j | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 || j < 1 @> | ||
| | Some tz1 -> test <@ tz1 + daysI = tz1 + daysTS @> | ||
|
|
||
| let inline testSubtraction constructor i days modulo = | ||
| let tzolkin = constructor i | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 @> | ||
| | Some tz1 -> | ||
| let modDays = modulo days | ||
| let tz2 = tz1 + modDays | ||
| test <@ tz2 - tz1 = modDays @> | ||
|
|
||
| let inline testSubtractionDate constructor i j days modulo = | ||
| let tzolkin = constructor i j | ||
| match tzolkin with | ||
| | None -> test <@ i < 1 || j < 1 @> | ||
| | Some tz1 -> | ||
| let modDays = modulo days | ||
| let tz2 = tz1 + modDays | ||
| test <@ tz2 - tz1 = modDays @> | ||
|
|
||
| let inline addTimespan (tzolkin:^T) days = | ||
| (^T: (static member ( + ) : ^T * TimeSpan -> ^T) tzolkin, (TimeSpan.FromDays (float days)) ) | ||
|
|
||
| let inline addToTimespan days (tzolkin: ^T) = | ||
| (^T: (static member ( + ) : TimeSpan * ^T -> ^T) (TimeSpan.FromDays (float days)), tzolkin) | ||
|
|
||
| // date calculations =========================================================================== | ||
|
|
||
| let inline stringToDate refString = | ||
| let formatProvider = System.Globalization.DateTimeFormatInfo.InvariantInfo | ||
| System.DateTime.ParseExact (refString, "dd.MM.yyyy", formatProvider) | ||
|
|
||
| let inline stringList2DateList constructor list = | ||
| List.map (fun (date, tzolkin) -> stringToDate date, constructor tzolkin) list | ||
|
|
||
| let inline testFromDate fromDate referenceDates = | ||
| let testFromDateHelper (fromDate: DateTime -> 'T) referenceDate date = | ||
| test <@ fromDate date = referenceDate @> | ||
|
|
||
| List.iter (fun elem -> | ||
| let date, tzolkin = elem | ||
| testFromDateHelper fromDate tzolkin date) referenceDates | ||
|
|
||
| let inline testNextDate nextDate cycleLength referenceDates isLast = | ||
| let testNextDateHelper2 nextDate cycleLength referenceDate days isLast = | ||
| let (date:DateTime), tzolkin = referenceDate | ||
| let start = date + TimeSpan.FromDays (float days) | ||
| if isLast then | ||
| test <@ nextDate tzolkin start = date @> | ||
| else | ||
| test <@ nextDate tzolkin start = date + TimeSpan.FromDays (float cycleLength) @> | ||
|
|
||
| let testNextDateHelper1 nextDate cycleLength referenceDate isLast= | ||
| if isLast then | ||
| Gen.choose (1, cycleLength) |> Gen.sample 0 100 | ||
| else | ||
| Gen.choose (0, cycleLength - 1) |> Gen.sample 0 100 | ||
| |> List.iter (fun i -> testNextDateHelper2 nextDate cycleLength referenceDate i isLast) | ||
|
|
||
| referenceDates | ||
| |> List.iter (fun elem -> testNextDateHelper1 nextDate cycleLength elem isLast) | ||
|
|
||
|
|
||
| let inline testNextList nextDateList numDates cycleLength referenceDates isLast = | ||
| let rec testList list difference = | ||
| match list with | ||
| | head :: (head2 :: tail) -> | ||
| test <@ head2 - head = TimeSpan.FromDays difference @> | ||
| testList (head2 :: tail) difference | ||
| | [_] -> () | ||
| | [] -> () | ||
|
|
||
| let testNextListHelper2 numDates nextDateList cycleLength referenceDate days isLast = | ||
| let (date:DateTime), tzolkin = referenceDate | ||
| let start = date + TimeSpan.FromDays (float days) | ||
| let listToTest: DateTime list = nextDateList numDates tzolkin start | ||
| if isLast then | ||
| test <@ listToTest.Head = date @> | ||
| testList listToTest (float -cycleLength) | ||
| else | ||
| test <@ listToTest.Head = date + TimeSpan.FromDays (float cycleLength) @> | ||
| testList listToTest (float cycleLength) | ||
|
|
||
|
|
||
| let testNextListHelper1 numDates nextDateList cycleLength referenceDate isLast = | ||
| Gen.choose (0, cycleLength - 1) |> Gen.sample 0 10 | ||
| |> List.iter (fun i -> testNextListHelper2 numDates nextDateList cycleLength referenceDate i isLast) | ||
|
|
||
| referenceDates | ||
| |> List.iter (fun elem -> testNextListHelper1 numDates nextDateList cycleLength elem isLast) | ||
|
|
||
|
|
||
|
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.