Resolve usage of `convertToSimple` and `convertToPetriNet`
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
Research direction
Start by locating all usages and definitions of convertToSimple, convertToPetriNet, fromPetriLike, and TypeApplication. Compare the type requirements described in the issue and choose one consistent conversion approach. Done means the selected API usage is applied consistently and the affected code still type-checks.
Written by the indexing model from the issue text.
Description
convertToPetriNet should be used when flexibility over the type is required. convertToSimple enforces type PetriLike SimpleNode PetriKey. convertToPetriNet is required when fromPetriLike is used on the result (which currently requires PetriLike Node a) or no specific type needs to be chosen. It would be possible to use TypeApplication together with convertToPetriNet and retire convertToSimple completely. Another view would be to use convertToSimple whenever possible.
Originally posted by @marcellussiegburg in https://github.com/jvoigtlaender/modelling-tasks-internal/issues/395#issuecomment-3302690590
- Dominant language
- Haskell
- Stars
- 0
- Forks
- 3
- Avg merge
- 19h 37m
- Merged PRs (30d)
- 5
Getting set up
- No Dockerfile or Docker Compose file
- Has a pull request template
- No contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from fmidue/modelling-tasks
-
bug cd-od testing
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
fmidue/modelling-tasks#508 · 4 comments ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
fmidue/modelling-tasks#706 ·
-
Are the "repaired CDs" printed as feedback in `SelectValidCd` guaranteed to be object-inhabited?Opencd-od check required low-priority research
Difficulty 4/5 3-5 days Newbie friendliness 45/100
fmidue/modelling-tasks#705 · 2 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
fmidue/modelling-tasks#692 ·
-
Find new configOpen
Difficulty 3/5 1-2 days Newbie friendliness 45/100
fmidue/modelling-tasks#688 · 1 comment ·
All issues in fmidue/modelling-tasks
Similar issues
-
Web.Scotty.Trans.Lazy.setHeader calls addHeader instead of setHeaderPossibly taken @tusharad claimed this 1 day ago. Open
Difficulty 1/5 Under an hour Newbie friendliness 85/100
scotty-web/scotty#436 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
input-output-hk/haskell.nix#2617 ·
-
easy first-contributor first-contributors good first issue haskell help wanted up-for-grabs
Difficulty 1/5 Under an hour Newbie friendliness 82/100
fork-commit-merge/fork-commit-merge#8455 ·
Maintainers usually reply within 1 day
-
new tool
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
dense-analysis/ale#5176 ·
-
infrastructure
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
alunduil/siren-json.hs#278 ·
Maintainers usually reply within 1 day