Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance. Project price only 1 $
You can buy this project and download/modify it how often you want.
package camundala.domain
import io.github.iltotore.iron.*
import io.github.iltotore.iron.constraint.all.*
// Date Time
type Iso8601Day = String :| DescribedAs[
Match["""^([0-9]{4})-?(1[0-2]|0[1-9])-?(3[01]|0[1-9]|[12][0-9])$"""],
"Day in ISO Format, like `yyyy-MM-dd` for example `2003-12-23`"
]
val iso8601DayDescr = "Day in ISO Format, like `yyyy-MM-dd` for example `2003-12-23`"
type Iso8601DateTime = String :| DescribedAs[
Match[
"""^([\+-]?\d{4}(?!\d{2}\b))((-?)((0[1-9]|1[0-2])(\3([12]\d|0[1-9]|3[01]))?|W([0-4]\d|5[0-2])(-?[1-7])?|(00[1-9]|0[1-9]\d|[12]\d{2}|3([0-5]\d|6[1-6])))([T\s]((([01]\d|2[0-3])((:?)[0-5]\d)?|24\:?00)([\.,]\d+(?!:))?)?(\17[0-5]\d([\.,]\d+)?)?([zZ]|([\+-])([01]\d|2[0-3]):?([0-5]\d)?)?)?)?$"""
],
"This must be a valid Iso8601 Date Time, like `2011-03-11T12:13:14Z`"
]
val iso8601DateTimeDescr = "This must be a valid Iso8601 Date Time, like `2011-03-11T12:13:14Z`"
type Iso8601Duration = String :| DescribedAs[
Match[
"""^P(?!$)(?:(?\d+(?:\.\d+)?)Y)?(?:(?\d+(?:\.\d+)?)M)?(?:(?\d+(?:\.\d+)?)W)?(?:(?\d+(?:\.\d+)?)D)?(T(?=\d)(?:(?\d+(?:\.\d+)?)H)?(?:(?\d+(?:\.\d+)?)M)?(?:(?\d+(?:\.\d+)?)S)?)?$"""
],
"This must be a valid Iso8601 Duration Expression, like `PT3S`"
]
val iso8601DurationDescr = "This must be a valid Iso8601 Duration Expression, like `PT3S`"
type Iso8601Interval = String :| DescribedAs[
Match[
"""^(R\d*\/)P(\d+([\.,]\d+)?Y)?(\d+([\.,]\d+)?M)?(\d+([\.,]\d+)?W)?(\d+([\.,]\d+)?D)?((?!.$)T(\d+([\.,]\d+)?H)?(\d+([\.,]\d+)?M)?(\d+(\.\d+)?S)?)?$"""
],
"This must be a valid Iso8601 Repeating Interval Expression, like `R2/PT3S`"
]
val iso8601IntervalDescr =
"This must be a valid Iso8601 Repeating Interval Expression, like `R2/PT3S`"
type CronExpr = String :| DescribedAs[
Match[
"""^\s*($|#|\w+\s*=|(\?|\*|(?:[0-5]?\d)(?:(?:-|\/|\,)(?:[0-5]?\d))?(?:,(?:[0-5]?\d)(?:(?:-|\/|\,)(?:[0-5]?\d))?)*)\s+(\?|\*|(?:[0-5]?\d)(?:(?:-|\/|\,)(?:[0-5]?\d))?(?:,(?:[0-5]?\d)(?:(?:-|\/|\,)(?:[0-5]?\d))?)*)\s+(\?|\*|(?:[01]?\d|2[0-3])(?:(?:-|\/|\,)(?:[01]?\d|2[0-3]))?(?:,(?:[01]?\d|2[0-3])(?:(?:-|\/|\,)(?:[01]?\d|2[0-3]))?)*)\s+(\?|\*|(?:0?[1-9]|[12]\d|3[01])(?:(?:-|\/|\,)(?:0?[1-9]|[12]\d|3[01]))?(?:,(?:0?[1-9]|[12]\d|3[01])(?:(?:-|\/|\,)(?:0?[1-9]|[12]\d|3[01]))?)*)\s+(\?|\*|(?:[1-9]|1[012])(?:(?:-|\/|\,)(?:[1-9]|1[012]))?(?:L|W)?(?:,(?:[1-9]|1[012])(?:(?:-|\/|\,)(?:[1-9]|1[012]))?(?:L|W)?)*|\?|\*|(?:JAN|FEB|MAR|APR|MAY|JUN|JUL|AUG|SEP|OCT|NOV|DEC)(?:(?:-)(?:JAN|FEB|MAR|APR|MAY|JUN|JUL|AUG|SEP|OCT|NOV|DEC))?(?:,(?:JAN|FEB|MAR|APR|MAY|JUN|JUL|AUG|SEP|OCT|NOV|DEC)(?:(?:-)(?:JAN|FEB|MAR|APR|MAY|JUN|JUL|AUG|SEP|OCT|NOV|DEC))?)*)\s+(\?|\*|(?:[0-6])(?:(?:-|\/|\,|#)(?:[0-6]))?(?:L)?(?:,(?:[0-6])(?:(?:-|\/|\,|#)(?:[0-6]))?(?:L)?)*|\?|\*|(?:MON|TUE|WED|THU|FRI|SAT|SUN)(?:(?:-)(?:MON|TUE|WED|THU|FRI|SAT|SUN))?(?:,(?:MON|TUE|WED|THU|FRI|SAT|SUN)(?:(?:-)(?:MON|TUE|WED|THU|FRI|SAT|SUN))?)*)(|\s)+(\?|\*|(?:|\d{4})(?:(?:-|\/|\,)(?:|\d{4}))?(?:,(?:|\d{4})(?:(?:-|\/|\,)(?:|\d{4}))?)*))$"""
],
"This must be a valid Cron Expression, like `0 0 7,11,15 ? * MON-FRI`"
]
val cronExprDescr = "This must be a valid Cron Expression, like `0 0 7,11,15 ? * MON-FRI`"
// other
type Iban = String :| DescribedAs[
Match[
"""\b[A-Z]{2}[0-9]{2}(?:[ ]?[0-9]{4}){4}(?!(?:[ ]?[0-9]){3})(?:[ ]?[0-9]{1,2})?\b"""
],
"This must be a valid IBAN"
]
val ibanDescr = "This must be a valid IBAN"
type PostcodeStr = String :| DescribedAs[
Match["""(?i)^[a-z0-9][a-z0-9\- ]{0,10}[a-z0-9]$"""],
"This must be a valid Postcode"
]
val postcodeDescr = "This must be a valid Postcode"
type Percentage = Int :| DescribedAs[
(GreaterEqual[0] & LessEqual[100]),
"This must be a valid Percentage 0-100 as an integer."
]
val percentageDescr = "This must be a valid Percentage 0-100 as an integer."
