Skip to content

phase out concrete priority type classes in main Prosa

As discussed in !403 (merged) and previously on Mattermost, the concrete priority type classes should be moved to the implementation module and the main Prosa modules should instead rely on hypotheses to characterize particular priority policies (such as FIFO, EDF, FP, etc.).

  • @bbb started a discussion: (+2 comments)

    Can you elaborate on why this isn't using the FIFO typeclass instance?