Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Include NeoType and Iron #5

Closed
wants to merge 42 commits into from
Closed

Include NeoType and Iron #5

wants to merge 42 commits into from

Conversation

dagmendez
Copy link
Collaborator

Goal

Include in the project the implementation of refined types using 2 Scala-3 only libraries:

Main Changes

  • Bump of Scala to LTS version
  • Update of libraries and plugins
  • Refactor of first module (merge of 5 modules)
  • Simplification of the build
  • Inclusion of 3 new modules:
    • Workshop
    • Neotype
    • Iron
  • Update of README.md to include the overview of the project with links to blogposts of XEBIA and to the libraries
  • Move the previous README.md content related to opaque types to its dedicated file.

david and others added 30 commits April 12, 2024 23:02
rename module to fit other module names
7fabf96
create new module for presentation
01400bc
move objects to presentation objects
41bec76
Update Raw Classes
4750bad
Update Value Classes
94653bb
Update Value Classes With Validation and add casses for all the valid…
e7a04a3 
…ations
Update Value Classes with Error Handling
be3d70b
Update type classes
306110b
Correct prefix for Raw Classes
b9ab01c
Fix Raw Classes and Value Classes. Make printing lambdas more explici…
1f360be 
…t to also explain them
Fix prefix Value Classes with Validation
400388e
Fix Value Classes with Error Handling
efe982e
Fix opaque types prefixes and compilation errors
c0903c3
Upgrade Scala, Sbt, scalafix, scalafmt and add iron library
0287028
Add basic Iron implementation
4f47cd9
Comment out the compiling error caused by Iron
6d822f8
Add Iron with unified input String
d01c6c3
Apply scalafmtAll and scalafix
d956ad5
Move the validation to a package object. Update the type aliases to s…
68237ff 
…implify the code.
Fix and simplify both Raw Classes and Type Aliases
91a567b
change the order of control character in Type Aliases and update Valu…
162d692 
…e Classes
Unify the prints for A, B, C and D so they can be compared
6f185a6
Update Value Classes with Error Handling
f1105a3
update opaque types
880384e
fix parameter names of DNI
33ea600
fix Opaque Types With Compile Errors
991945d
Delete I_Iron and update H_Iron
a3c1598
remove unused import
0e932d9
Add V in the Iron validation. Rename ControlChar to DniLetter. Organi…
d136a7e 
…ce order of elements in mains
@dagmendez
Update the whole presentation code to cover overflow of numbers (more…
37f90cf 
… than 8) and align the whole code and simplify it.
david and others added 12 commits May 15, 2024 01:14
Encapsulate the logic of toString for DNI class in the package.scala
a64f5b8
@dagmendez
Updates:
1606354 
- sbt
- scala
- scalafix
- scalafmt
- apply changes
@dagmendez
Merge pull request #1 from dagmendez/update_dependencies
a3b1cd0 
Update dependencies and apply formatting
@dagmendez
Rename module presentation to iron
559b8ea
@dagmendez
Create new module neotypes and implement the validation for DNIs
905c3f2
@dagmendez
Merge pull request #2 from dagmendez/newtypes
e084d43 
Newtypes
@dagmendez
Change the name of the module, improve the validation logic of the pa…
18d5647 
…rsing of DNI, change the initial message in the run, include more values to exit the program.
@dagmendez
Merge pull request #3 from dagmendez/newtypes
dddf875 
Fixes of validation
@dagmendez
Changes:
babb256 
- Revert to Scala LTS version `3.3.5`
- Simplify `scalafixAll` and `scalafmt`
- Merge modules `basic`, `standard`, `advanced` and `magic` into one module `language-feature`
- Merge `types`, `domain`, `errors` and `Main` under one object
- Upgrade `neotype` to version `0.3.11`
- Update README.md hyperlinks to source code.
@dagmendez
Changes:
9bc73cd 
- Move the map of valid chars to a package.
- Include a new type validation for a generalised ID for both NIE and DNI
- Include validation for NIE
- Print unwrapped either in the console
@dagmendez
Changes:
59d9263 
- Move the content of README.md regarding opaque types to its own file.
- Add more information in the main README.md regarding the other modules.
@dagmendez
Merge pull request #4 from dagmendez/newtypes
799722b 
Newtypes
@dagmendez
Copy link
Collaborator Author

New pr #6

@dagmendez dagmendez closed this Feb 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@dagmendez