Skip to content

Verify units order for 'seriesF' function #51

@chshersh

Description

@chshersh

This call makes sense:

seriesF @'[Hour, Minute]

While this one doesn't:

seriesF @'[Minute, Hour]

It would be good to define some type-level predicate IsDescending using type families for ensuring more compiletime safety in seriesF function.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions