Îõ³h$w,ç      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefNone èÈgNone !#$è ‹ dhall-json$This option specifies how to encode NaN/Infinity/ -Infinity dhall-jsonYAML natively supports NaN/Infinity/ -Infinity dhall-jsonForbid NaN/Infinity/ -Infinity" because JSON doesn't support them dhall-jsonEncode NaN/Infinity/ -Infinity as null/1.7976931348623157e308/-1.7976931348623157e308, respectively dhall-jsonÀSpecify whether or not to convert association lists of type #List { mapKey: Text, mapValue : v } to records  dhall-jsonÙThis is the exception type for errors that might arise when translating Dhall to JSONùBecause the majority of Dhall language features do not translate to JSON this just returns the expression that failed dhall-json?ÀÙàèÐ4 dhall-jsonA 4 is a subset of the j5 type representing all possible Dhall types that R could potentially return? dhall-jsonA union type that R can infer/This type will have at most three alternatives:A Bool alternative Either a Natural, Integer, or Double alternativeA Text alternative¶These alternatives will always use the same names and types when we convert back to a Dhall type, so we only need to keep track of whether or not each alternative is present.¾We only store simple types inside of a union since we treat any attempt to unify a simple type with a complex type as a strong indication that the user intended for the schema to be >.A dhall-jsonk if the union has a Bool alternativeB dhall-jsonUp to one numeric alternativeC dhall-jsonk if the union has a Text alternativel dhall-jsonRÉ will never infer a union type with more than one numeric alternativeØInstead, the most general alternative type will be preferred, which this type tracksm dhall-json2The union type does not have a numeric alternativen dhall-jsonThe union type has a Natural alternativeo dhall-jsonThe union type has an Integer alternativep dhall-jsonThe union type has a Double alternativeD dhall-jsonAeson record type that R can inferq dhall-jsonThe j0 type concretization used throughout this moduleG dhall-json!JSON-to-dhall translation optionsN dhall-json>> :set -XOverloadedStrings >>> import Dhall.Core;typeCheckSchemaExpr id =<< resolveSchemaExpr "List Natural"App List Natural1typeCheckSchemaExpr id =<< resolveSchemaExpr "+1"*** Exception:ÃError: Schema expression is successfully parsed but has Dhall type:IntegerExpected Dhall type: TypeParsed expression: +1R dhall-json Given a JSON sÈ, make a best-effort guess of what the matching Dhall type should beThis is used by {json,yaml}-to-dhall= if the user does not supply a schema on the command lineS dhall-json Convert a 4 to the corresponding Dhall typeT dhall-json7The main conversion function. Traversing/zipping Dhall type3 and Aeson value trees together to produce a Dhall term tree, given G options::set -XOverloadedStrings import qualified Dhall.Core as D!import qualified Dhall.Map as Map$import qualified Data.Aeson as Aeson*import qualified Data.HashMap.Strict as HM0s = D.Record (Map.fromList [("foo", D.Integer)])8v = Aeson.Object (HM.fromList [("foo", Aeson.Number 1)])#dhallFromJSON defaultConversion s v3Right (RecordLit (fromList [("foo",IntegerLit 1)]))W dhall-jsonÇUnify two numeric alternative types by preferring the most general typeY dhall-json5Unify two union types by combining their alternatives[ dhall-json(t) unifies two schemasP dhall-jsontype code (schema),*+,-23/.01458769=:;<>?@CABDEFGHLIJKMNOPQRSTU,NGHLIJKMOPQT458769=:;<>DEF?@CABRS*+,-23/.01Uõ       !"#$%&'()*+,-./0123456789:;<=>?@ABBCDEFFG  HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwødhall-json-1.7.0-inplace Dhall.JSONDhall.JSON.YamlDhall.DhallToYaml.MainDhall.JSONToDhallDhall.JSON.UtilSpecialDoubleModeUseYAMLEncodingForbidWithinJSONApproximateWithinJSON Conversion NoConversionmapKeymapValue CompileError Unsupported SpecialDoubleBareNoneInvalidInlineContents dhallToJSONomitNull omitEmptyparsePreservationAndOmissiondefaultConversionconvertToHomogeneousMapsparseConversionhandleSpecialDoubles codeToValue$fExceptionCompileError$fShowCompileErrorOptionsexplainomission documentsquoted conversionfileoutputnoEditdefaultOptionsparseDocuments parseQuotedgeneratedCodeNotice dhallToYaml jsonToYamlmain TypeError BadDhallTypeMismatch MissingKey UnhandledKeys NoKeyValArray NoKeyValMap ContainsUnionUndecidableUnionSchemaBoolNaturalIntegerDoubleTextListOptionalRecordUnion ArbitraryJSON UnionSchemaboolnumbertext RecordSchemagetRecordSchema strictRecs noKeyValArr noKeyValMapunionsomissibleListsresolveSchemaExprtypeCheckSchemaExpr inferSchemaschemaToDhallType dhallFromJSONshowCompileError$fMonoidUnionNumber$fSemigroupUnionNumber$fMonoidUnionSchema$fSemigroupUnionSchema$fMonoidSchema$fSemigroupSchema$fSemigroupRecordSchema$fEqUnionSchema$fBoundedUnionNumber$fEqUnionNumber$fOrdUnionNumber$fShowConversion$fShowUnionConv$fReadUnionConv $fEqUnionConvV parseOmissionparseNullPreservationÍdhall-1.33.1-088e66b84ae2013bde0d980b1936e1541018a6e3e47f96860dd0d30d8803dd63 Dhall.SyntaxExprghc-prim GHC.TypesTrue UnionNumber UnionAbsent UnionNatural UnionInteger UnionDoubleExprX parseUnionÎaeson-1.5.2.0-e78041de8ed974afd1138b15d1b741146ff08215e038a30bd9f58c092803efc9Data.Aeson.Types.InternalValuebaseGHC.Base<>