This file contains hidden or 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
open System | |
// this is our basis to define values over time. | |
// It will be the basis for our data. | |
// we define a Period with a start and en Time | |
// start is included, end is excluded (closed on the left, open on the right) | |
// this way, of consecutive periods px and py we known that px.End = py.Start | |
type Period = { Start: DateTime; End: DateTime } |