!hag      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefNonegghNone "#%g( 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-jsonYThis is the exception type for errors that might arise when translating Dhall to JSONyBecause the majority of Dhall language features do not translate to JSON this just returns the expression that failed dhall-json<Convert a Dhall expression to the equivalent JSON expression:set -XOverloadedStrings:set -XOverloadedLists import CoreGdhallToJSON (RecordLit [("foo", IntegerLit 1), ("bar", TextLit "ABC")])CRight (Object (fromList [("foo",Number 1.0),("bar",String "ABC")]))fmap Aeson.encode it#Right "{\"foo\":1,\"bar\":\"ABC\"}" dhall-jsonOmit record fields that are null dhall-jsonOmit record fields that are null=, arrays and records whose transitive fields are all nulli dhall-json:Parser for command-line options related to omitting fieldsj dhall-jsonBParser for command-line options related to preserving null fields. dhall-jsonWCombines parsers for command-line options related to preserving & omitting null fields. dhall-json-Convert association lists to homogeneous maps.This converts an association list of the form: B[ { mapKey = k0, mapValue = v0 }, { mapKey = k1, mapValue = v1 } ]... to a record of the form: { k0 = v0, k1 = v1 } dhall-jsonBParser for command-line options related to homogeneous map support dhall-json%Pre-process an expression containing NaN/Infinity/ -Infinity2, handling them as specified according to the  dhall-jsonPConvert a piece of Text carrying a Dhall inscription to an equivalent JSON Value:set -XOverloadedStrings import CoreMDhall.JSON.codeToValue defaultConversion ForbidWithinJSON Nothing "{ a = 1 }"$Object (fromList [("a",Number 1.0)]) dhall-jsoncThe source file path. If no path is given, imports are resolved relative to the current directory. dhall-json Input text.  None"#/& dhall-jsonFThe notice added to the top of a generated file when enabling the --generated-comment' dhall-jsonUConvert a piece of Text carrying a Dhall inscription to an equivalent YAML ByteString( dhall-json'Transform json representation into yaml' dhall-jsoncThe source file path. If no path is given, imports are resolved relative to the current directory. dhall-json Input text. !"#$%&'( !"$%#'(&None"#0))None  "#%=>?X_g`54 dhall-jsonA 4 is a subset of the k5 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 alternativeThese 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-jsonl if the union has a Bool alternativeB dhall-jsonUp to one numeric alternativeC dhall-jsonl if the union has a Text alternativem dhall-jsonRI will never infer a union type with more than one numeric alternativeXInstead, the most general alternative type will be preferred, which this type tracksn dhall-json2The union type does not have a numeric alternativeo dhall-jsonThe union type has a Natural alternativep dhall-jsonThe union type has an Integer alternativeq dhall-jsonThe union type has a Double alternativeD dhall-jsonAeson record type that R can inferr dhall-jsonThe k0 type concretization used throughout this moduleG dhall-json!JSON-to-dhall translation optionsN dhall-json<Standard parser for options related to the conversion methods dhall-json:Parser for command options related to treating union typesO dhall-jsonDefault conversion optionsP dhall-json%Parse schema code and resolve importsQ dhall-json7Check that the Dhall type expression actually has type Type3 >>> :set -XOverloadedStrings >>> import Dhall.Core;typeCheckSchemaExpr id =<< resolveSchemaExpr "List Natural"App List Natural1typeCheckSchemaExpr id =<< resolveSchemaExpr "+1"*** Exception:CError: Schema expression is successfully parsed but has Dhall type:IntegerExpected Dhall type: TypeParsed expression: +1R dhall-json Given a JSON tH, 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-jsonGUnify two numeric alternative types by preferring the most general typeY dhall-json5Unify two union types by combining their alternatives[ dhall-json(u) unifies two schemasP dhall-jsontype code (schema),*+,-23/.01458769=:;<>?@CABDEFGHLIJKMNOPQRSTU,NGHLIJKMOPQT458769=:;<>DEF?@CABRS*+,-23/.01Uv       !"#$%&'()*+,-./0123456789:;<=>?@ABBCDEFFG  HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy'dhall-json-1.7.3-ICi6o3nC91c4awzZqLl704 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$fShowUnionConv$fReadUnionConv $fEqUnionConv$fShowConversion$fBoundedUnionNumber$fEqUnionNumber$fOrdUnionNumber$fEqUnionSchemaFAV parseOmissionparseNullPreservation#dhall-1.36.0-B43HgOT0aUe9N38hd6YhCe Dhall.SyntaxExprghc-prim GHC.TypesTrue UnionNumber UnionAbsent UnionNatural UnionInteger UnionDoubleExprX parseUnion#aeson-1.5.4.1-JqoNWvDPRK89K46asjos1Data.Aeson.Types.InternalValuebaseGHC.Base<>