b1d0b81 · schematic · git.iko.soy

88 | DTGe Integer

89 | DTRegex Text

90 | DTEnum [Text]

91− deriving (Generic)

91+ deriving (Generic, Eq, Show)

92

93data instance Sing (tc :: TextConstraint) where

94 STEq :: Sing n -> Sing ('TEq n)

129 | DNGt Integer

130 | DNGe Integer

131 | DNEq Integer

132− deriving (Generic)

132+ deriving (Generic, Eq, Show)

133

134data instance Sing (nc :: NumberConstraint) where

135 SNEq :: Sing n -> Sing ('NEq n)

181

182data DemotedArrayConstraint

183 = DAEq Integer

184− deriving (Generic)

184+ deriving (Generic, Eq, Show)

185

186data instance Sing (ac :: ArrayConstraint) where

187 SAEq :: Sing n -> Sing ('AEq n)

219 | DSchemaNull

220 | DSchemaOptional DemotedSchema

221 | DSchemaUnion [DemotedSchema]

222− deriving (Generic)

222+ deriving (Generic, Eq, Show)

223

224data instance Sing (schema :: Schema) where

225 SSchemaText :: Sing tcs -> Sing ('SchemaText tcs)