import Data.Jsondata Jsondata JsonError = JsonError String Natencode : Json -> Stringdata EWorkdata PS = PS (List Char) Natparse : String -> Result JsonError Jsondata Framedata PModelookup : String -> Json -> Maybe JsonasString : Json -> Maybe StringasInt : Json -> Maybe IntasDouble : Json -> Maybe DoubleasBool : Json -> Maybe BoolasArray : Json -> Maybe (List Json)asObject : Json -> Maybe (List (String, Json))data Json
= JNull
| JBool Bool
| JInt Int
| JDouble Double
| JString String
| JArray (List Json)
| JObject (List (String, Json))
deriving (Eq, Show)Une valeur JSON. Les nombres distinguent entier exact (JInt, l'Int d'oppi est exact) et réel (JDouble). Un objet est une LISTE de paires : l'ordre d'insertion est préservé, les clés dupliquées conservées (lookup = dernière).
JNullJBoolJIntJDoubleJStringJArrayJObjectdata JsonError = JsonError String Nat
deriving (Eq, Show)Une erreur de parse : un message et la position (index de caractère 0-basé).
encode : Json -> Stringdata EWork
= EJson Json
| EArr (List Json)
| EObj (List (String, Json))
| ERaw StringEJsonEArrEObjERawdata PS = PS (List Char) Natparse : String -> Result JsonError JsonAnalyse un texte JSON complet (une valeur, entourée d'espaces optionnels, puis fin d'entrée). Pile d'appels CONSTANTE sur les deux backends, à imbrication ET largeur arbitraires. Les erreurs portent la position 0-basée du caractère fautif.
data Frame
= FArr (List Json)
| FObj (List (String, Json)) StringFArrFObjdata PMode
= PValue
| PAfter JsonPValuePAfterlookup : String -> Json -> Maybe JsonCherche une clé dans un objet JSON. Sur clés DUPLIQUÉES : la DERNIÈRE gagne (cohérent avec la plupart des parseurs ; cf. RFC 8259 §4 « comportement imprévisible » — on fixe : last-wins).
asString : Json -> Maybe StringasInt : Json -> Maybe IntasDouble : Json -> Maybe DoubleasBool : Json -> Maybe BoolasArray : Json -> Maybe (List Json)asObject : Json -> Maybe (List (String, Json))