úÎ!e×_…e      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdNonegseNone "#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 nullf dhall-json:Parser for command-line options related to omitting fieldsg 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"#.4% 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"#.ò''None  "#=>?X_g^!2 dhall-jsonA 2 is a subset of the h5 type representing all possible Dhall types that P could potentially return= dhall-jsonA union type that P 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 <.? dhall-jsoni if the union has a Bool alternative@ dhall-jsonUp to one numeric alternativeA dhall-jsoni if the union has a Text alternativej dhall-jsonPI will never infer a union type with more than one numeric alternativeXInstead, the most general alternative type will be preferred, which this type tracksk dhall-json2The union type does not have a numeric alternativel dhall-jsonThe union type has a Natural alternativem dhall-jsonThe union type has an Integer alternativen dhall-jsonThe union type has a Double alternativeB dhall-jsonA record type that P can infero dhall-jsonThe h0 type concretization used throughout this moduleE dhall-json!JSON-to-dhall translation optionsL dhall-json<Standard parser for options related to the conversion methodp dhall-json:Parser for command options related to treating union typesM dhall-jsonDefault conversion optionsN dhall-json%Parse schema code and resolve importsO 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: +1P dhall-json Given a JSON qH, 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 lineQ dhall-json Convert a 2 to the corresponding Dhall typeR dhall-json7The main conversion function. Traversing/zipping Dhall type3 and Aeson value trees together to produce a Dhall term tree, given E options::set -XOverloadedStrings import qualified Dhall.Core as D!import qualified Dhall.Map as Map import qualified Data.Aeson as A*import qualified Data.HashMap.Strict as HM0s = D.Record (Map.fromList [("foo", D.Integer)])0v = A.Object (HM.fromList [("foo", A.Number 1)])#dhallFromJSON defaultConversion s v3Right (RecordLit (fromList [("foo",IntegerLit 1)]))U dhall-jsonGUnify two numeric alternative types by preferring the most general typeW dhall-json5Unify two union types by combining their alternativesY dhall-json(r) unifies two schemasN dhall-jsontype code (schema),()*+01-,./236547;89:<=>A?@BCDEFJGHIKLMNOPQRS,LEFJGHIKMNOR236547;89:<BCD=>A?@PQ()*+01-,./Ss       !"#$%&'()*+,-./0123456789:;<=>?@@ABCDDE  FGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuv'dhall-json-1.6.4-13meFuZbwKP5dEtwQuXlyV Dhall.JSONDhall.JSON.YamlDhall.DhallToYaml.MainDhall.JSONToDhallDhall.JSON.UtilSpecialDoubleModeUseYAMLEncodingForbidWithinJSONApproximateWithinJSON Conversion NoConversionmapKeymapValue CompileError Unsupported SpecialDoubleBareNoneInvalidInlineContents dhallToJSONomitNull omitEmptyparsePreservationAndOmissiondefaultConversionconvertToHomogeneousMapsparseConversionhandleSpecialDoubles codeToValue$fExceptionCompileError$fShowCompileErrorOptionsexplainomission documentsquoted conversionfileoutputdefaultOptionsparseDocuments parseQuoted 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$fEqUnionSchemaV parseOmissionparseNullPreservation#dhall-1.32.0-90ekLWlfiRUK7vmmlOVhVv Dhall.SyntaxExprghc-prim GHC.TypesTrue UnionNumber UnionAbsent UnionNatural UnionInteger UnionDoubleExprX parseUnion$aeson-1.4.7.1-7zIsgD57QtKBLAX7Q8FqzRData.Aeson.Types.InternalValuebaseGHC.Base<>