@@ -191,25 +191,17 @@ obj = iso (\(ReprObject r) -> r) ReprObject
191191arr :: Iso' (JsonRepr ('SchemaArray cs schema)) (V.Vector (JsonRepr schema))
192192arr = iso (\(ReprArray r) -> r) ReprArray
193193
194−uni
195− :: SingI (h ': tl)
196− => Iso' (JsonRepr ('SchemaUnion (h ': tl))) (Union JsonRepr (h ': tl))
194+uni :: Iso' (JsonRepr ('SchemaUnion (h ': tl))) (Union JsonRepr (h ': tl))
197195uni = iso (\(ReprUnion u) -> u) ReprUnion
198196
199−txt
200− :: SingI cs
201− => Iso' (JsonRepr ('SchemaText cs)) Text
197+txt :: Iso' (JsonRepr ('SchemaText cs)) Text
202198txt = iso (\(ReprText t) -> t) ReprText
203199
204−num
205− :: SingI cs
206− => Iso' (JsonRepr ('SchemaNumber cs)) Scientific
200+num :: Iso' (JsonRepr ('SchemaNumber cs)) Scientific
207201num = iso (\(ReprNumber t) -> t) ReprNumber
208202
209203bln :: Iso' (JsonRepr 'SchemaBoolean) Bool
210204bln = iso (\(ReprBoolean b) -> b) ReprBoolean
211205
212−opt
213− :: SingI schema
214− => Iso' (JsonRepr ('SchemaOptional schema)) (Maybe (JsonRepr schema))
206+opt :: Iso' (JsonRepr ('SchemaOptional schema)) (Maybe (JsonRepr schema))
215207opt = iso (\(ReprOptional o) -> o) ReprOptional