git.iko.soy/schematic
on 1190166 help sign in
schematic/src/Data/Schematic/Helpers.hs
59 lines 1.4 kB history raw
1module Data.Schematic.Helpers where
3import Data.Schematic.Schema
4import GHC.TypeLits
7type UUIDRegex =
8 'TRegex "[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}"
10type IsUUID = '[UUIDRegex]
12-- [ "1985-04-12T23:20:50.52Z"
13-- , "1996-12-19T16:39:57-08:00"
14-- , "1990-12-31T23:59:60Z"
15-- , "1990-12-31T15:59:60-08:00"
16-- , "1937-01-01T12:00:27.87+00:20"
17-- ]
19-- components
20type ISO8601Date = "[1-9][0-9]{3}-(0[1-9]|1[0-2])-([0-2][0-9]|3[0-1])"
22type ISO8601Time = "([0-1][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]"
24type ISO8601DateTime =
25 AppendSymbol
26 ISO8601Date
27 (AppendSymbol "(T" (AppendSymbol ISO8601Time ")?"))
29type ISO8601UTC = "(Z|\\+00:00)"
31type ISO8601DateTimeUTC =
32 AppendSymbol ISO8601Date (AppendSymbol "T" (AppendSymbol ISO8601Time ISO8601UTC))
34type ISO8601TZ = "\\+[0-1][0-9]:[0-6][0-9]"
36type ISO8601DateTimeZoned =
37 AppendSymbol ISO8601Date (AppendSymbol "T" (AppendSymbol ISO8601Time ISO8601TZ))
39-- regexes
40type ISO8601DateRegex = 'TRegex ISO8601Date
42type ISO8601TimeRegex = 'TRegex ISO8601Time
44type ISO8601DateTimeRegex = 'TRegex ISO8601DateTime
46type ISO8601DateTimeRegexUTC = 'TRegex ISO8601DateTimeUTC
48type ISO8601DateTimeRegexZoned = 'TRegex ISO8601DateTimeZoned
50-- constraints
51type IsDate = '[ISO8601DateRegex]
53type IsTime = '[ISO8601TimeRegex]
55type IsDateTime = '[ISO8601DateTimeRegex]
57type IsZonedDateTime = '[ISO8601DateTimeRegexZoned]
59type IsUTCDateTime = '[ISO8601DateTimeRegexUTC]