schematic-0.5.0.0: JSON-biased spec and validation tool

Safe HaskellNone
LanguageHaskell2010

Data.Schematic.Helpers

Documentation

type UUIDRegex = TRegex "[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}" Source #

type IsUUID = '[UUIDRegex] Source #

type ISO8601Date = "[1-9][0-9]{3}-(0[1-9]|1[0-2])-([0-2][0-9]|3[0-1])" Source #

type ISO8601Time = "([0-1][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]" Source #

type ISO8601DateTime = AppendSymbol ISO8601Date (AppendSymbol "(T" (AppendSymbol ISO8601Time ")?")) Source #

type ISO8601UTC = "(Z|\\+00:00)" Source #

type ISO8601DateTimeUTC = AppendSymbol ISO8601Date (AppendSymbol "T" (AppendSymbol ISO8601Time ISO8601UTC)) Source #

type ISO8601TZ = "\\+[0-1][0-9]:[0-6][0-9]" Source #

type ISO8601DateTimeZoned = AppendSymbol ISO8601Date (AppendSymbol "T" (AppendSymbol ISO8601Time ISO8601TZ)) Source #

type ISO8601DateRegex = TRegex ISO8601Date Source #

type ISO8601TimeRegex = TRegex ISO8601Time Source #

type ISO8601DateTimeRegex = TRegex ISO8601DateTime Source #

type ISO8601DateTimeRegexUTC = TRegex ISO8601DateTimeUTC Source #

type ISO8601DateTimeRegexZoned = TRegex ISO8601DateTimeZoned Source #

type IsDate = '[ISO8601DateRegex] Source #

type IsTime = '[ISO8601TimeRegex] Source #

type IsDateTime = '[ISO8601DateTimeRegex] Source #

type IsZonedDateTime = '[ISO8601DateTimeRegexZoned] Source #

type IsUTCDateTime = '[ISO8601DateTimeRegexUTC] Source #