h$      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                None #$%&-/56789<>?QNone #$%&-/56789<>?None  #$%&-/56789<>?None #$%&-/56789:<>?k%purescript-ast Source name&purescript-astStart of the span'purescript-astEnd of the span(purescript-astSource position information*purescript-ast Line number+purescript-ast Column number,purescript-ast6Source annotation - position information and comments.#$%&'()+*,-./0123456789,()+*/0#$%&'123456.-789None  #$%&-/56789<>?Jpurescript-ast A compatibility wrapper for the GHC.Stack.HasCallStack constraint.Kpurescript-ast3Exit with an error message and a crash report link.JKJKNone #$%&-/56789<>?xLpurescript-astFixity data for infix operatorsNpurescript-ast!Associativity for infix operatorsRpurescript-ast(A precedence level for an infix operator LMNPOQRST RNPOQSTLMNone  #$%&-/56789<>?dpurescript-ast:A qualified name, i.e. a name with an optional module namefpurescript-ast Module nameshpurescript-ast$The closed set of proper name types.mpurescript-astProper names, i.e. capitalized names for e.g. module names, type//data constructors.ppurescript-ast'The closed set of operator alias types.tpurescript-astOperator alias names.wpurescript-astNames for value identifiersxpurescript-astAn alphanumeric identifierypurescript-ast"A generated name for an identifierzpurescript-ast,A generated name used only for type-checking{purescript-astA sum of the possible name types, useful for error and lint messages.purescript-astCoerces a ProperName from one ProperNameType to another. This should be used with care, and is primarily used to convert ClassNames into TypeNames after classes have been desugared.purescript-ast7Provide a default module name, if a name is unqualifiedpurescript-ast4Makes a qualified value from a name and module name.purescript-ast,Remove the module name from a qualified namepurescript-astRemove the qualification from a value when it is qualified with a particular module name.purescript-astChecks whether a qualified value is actually qualified with a module referencepurescript-astChecks whether a qualified value is not actually qualified with a module referencepurescript-astChecks whether a qualified value is qualified with a particular module:defghlkjimnopsrqtuvwzyx{~}|:{~}|wzyxtuvpsrqmnohlkjifgdeNone #$%&-/56789<>?44 None #$%&-/56789<>?$gpurescript-astStrings in PureScript are sequences of UTF-16 code units, which do not necessarily represent UTF-16 encoded text. For example, it is permissible for a string to contain *lone surrogates,* i.e. characters in the range U+D800 to U+DFFF which do not appear as a part of a surrogate pair.The Show instance for PSString produces a string literal which would represent the same data were it inserted into a PureScript source file.Because JSON parsers vary wildly in terms of how they deal with lone surrogates in JSON strings, the ToJSON instance for PSString produces JSON strings where that would be safe (i.e. when there are no lone surrogates), and arrays of UTF-16 code units (integers) otherwise.purescript-astDecode a PSString as UTF-16 text. Lone surrogates will be replaced with U+FFFD REPLACEMENT CHARACTERpurescript-astDecode a PSString as UTF-16. Lone surrogates in the input are represented in the output with the Left constructor; characters which were successfully decoded are represented with the Right constructor.purescript-astAttempt to decode a PSString as UTF-16 text. This will fail (returning Nothing) if the argument contains lone surrogates.purescript-ast;Pretty print a PSString, using PureScript escape sequences.purescript-astPretty print a PSString, using JavaScript escape sequences. Intended for use in compiled JS output. None #$%&-/56789<>?%ppurescript-astLabels are used as record keys and row entry names. Labels newtype PSString because records are indexable by PureScript strings at runtime. None #$%&-/56789<>?'purescript-astData type for literal values. Parameterised so it can be used for Exprs and Binders.purescript-astA numeric literalpurescript-astA string literalpurescript-astA character literalpurescript-astA boolean literalpurescript-astAn array literalpurescript-astAn object literal None  #$%&-/56789<>?) purescript-ast+The role of a type constructor's parameter.purescript-astThis parameter's identity affects the representation of the type it is parameterising.purescript-astThis parameter's representation affects the representation of the type it is parameterising.purescript-astThis parameter has no effect on the representation of the type it is parameterising. None #$%&-/56789<>?)eNone #$%&-/56789<>?6e)purescript-astA typeclass constraintpurescript-astconstraint annotationpurescript-astconstraint class namepurescript-astkind argumentspurescript-asttype argumentspurescript-ast+additional data relevant to this constraintpurescript-ast2Additional data relevant to type class constraintspurescript-astData to accompany a Partial constraint generated by the exhaustivity checker. It contains (rendered) binder information for those binders which were not matched, and a flag indicating whether the list was truncated or not. Note: we use  here because using Binder: would introduce a cyclic dependency in the module graph.purescript-astThe type of typespurescript-ast#A unification variable of type Typepurescript-astA named type variablepurescript-astA type-level stringpurescript-ast:A type wildcard, as would appear in a partial type synonympurescript-astA type constructorpurescript-astA type operator. This will be desugared into a type constructor during the "operators" phase of desugaring.purescript-astA type applicationpurescript-astExplicit kind applicationpurescript-astForall quantifierpurescript-ast+A type with a set of type class constraintspurescript-astA skolem constantpurescript-ast An empty rowpurescript-astA non-empty rowpurescript-astA type with a kind annotationpurescript-astBinary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.purescript-astExplicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.Note: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.purescript-ast0An identifier for the scope of a skolem variablepurescript-ast4Convert a row to a list of pairs of labels and typespurescript-astConvert a row to a list of pairs of labels and types, sorted by the labels.purescript-ast+Convert a list of labels and types to a rowpurescript-ast9Align two rows of types, splitting them into three parts:%Those types which appear in both rows#Those which appear only on the left$Those which appear only on the rightNote: importantly, we preserve the order of the types with a given label.purescript-ast"Check whether a type is a monotypepurescript-astUniversally quantify a typepurescript-ast?Replace a type variable, taking into account variable shadowingpurescript-ast'Replace named type variables with typespurescript-ast.Collect all type variables appearing in a typepurescript-ast3Collect all free type variables appearing in a typepurescript-astCollect a complete set of kind-annotated quantifiers at the front of a type.purescript-astUniversally quantify over all type variables appearing free in a typepurescript-ast5Move all universal quantifiers to the front of a typepurescript-ast"Check if a type contains wildcardspurescript-astCheck if a type contains forallNone #$%&-/56789<>?;` purescript-astThe instance chainpurescript-astIndex of the instance chainpurescript-ast>The value with which the dictionary can be accessed at runtimepurescript-ast8How to obtain this instance via superclass relationshipspurescript-astThe name of the type class to which this type class instance appliespurescript-astQuantification of type variables in the instance head and dependenciespurescript-ast3The kinds to which this type class instance appliespurescript-ast3The types to which this type class instance appliespurescript-astType class dependencies which must be satisfied to construct this dictionarypurescript-astGenerate a name for a superclass reference which can be used in generated code.  None #$%&-/56789<>?UH<purescript-ast The type ('data' or  'newtype') of a data type declarationpurescript-astA standard data constructorpurescript-astA newtype constructorpurescript-astThe kinds of a typepurescript-ast Data typepurescript-ast Type synonympurescript-ast Foreign datapurescript-astA local type variablepurescript-astA scoped type variablepurescript-astA flag for whether a name is for an private or public value - only public values will be included in a generated externs file.purescript-astA private value introduced as an artifact of code generation (class instances, class member accessors, etc.)purescript-astA public value for a module member or foreign import declarationpurescript-ast.A name for member introduced by foreign importpurescript-ast!The visibility of a name in scopepurescript-astThe name is defined in the current binding group, but is not visiblepurescript-astThe name is defined in the another binding group, or has been made visible by a function binderpurescript-astA functional dependency indicates a relationship between two sets of type arguments in a class declaration.purescript-astthe type arguments which determine the determined type argumentspurescript-astthe determined type argumentspurescript-astInformation about a type classpurescript-astA list of type argument names, and their kinds, where kind annotations were provided.purescript-astA list of type class members and their types. Type arguments listed above are considered bound in these types.purescript-astA list of superclasses of this type class. Type arguments listed above are considered bound in the types appearing in these constraints.purescript-astA list of functional dependencies for the type arguments of this class.purescript-astA set of indexes of type argument that are fully determined by other arguments via functional dependencies. This can be computed from both typeClassArguments and typeClassDependencies.purescript-astA sets of arguments that can be used to infer all other arguments.purescript-astWhether or not dictionaries for this type class are necessarily empty.purescript-astThe  Environment; defines all values and types which are currently in scope:purescript-astValues currently in scopepurescript-astType names currently in scopepurescript-astData constructors currently in scope, along with their associated type constructor name, argument types and return type.purescript-astExplicit role declarations currently in scope. Note that this field is only used to store declared roles temporarily until they can be checked; to find a type's real checked and/or inferred roles, refer to the TypeKind in the  field.purescript-ast Type synonyms currently in scopepurescript-ast3Available type class dictionaries. When looking up  in the outer map, this returns the map of type class dictionaries in local scope (ie dictionaries brought in by a constrained type).purescript-ast Type classespurescript-astThe initial environment with no values and only the default javascript types definedpurescript-astA constructor for TypeClassData that computes which type class arguments are fully determined and argument covering sets. Fully determined means that this argument cannot be used when selecting a type class instance. A covering set is a minimal collection of arguments that can be used to find an instance and therefore determine all other type arguments.An example of the difference between determined and fully determined would be with the class: ```class C a b c | a -> b, b -> a, b -> c``` In this case, a must differ when b differs, and vice versa - each is determined by the other. Both a and b: can be used in selecting a type class instance. However, c% cannot - it is fully determined by a and b.Define a graph of type class arguments with edges being fundep determiners to determined. Each argument also has a self looping edge. An argument is fully determined if doesn't appear at the start of a path of strongly connected components. An argument is not fully determined otherwise.The way we compute this is by saying: an argument X is fully determined if there are arguments that determine X that X does not determine. This is the same thing: everything X determines includes everything in its SCC, and everything determining X is either before it in an SCC path, or in the same SCC.purescript-ast)Construct a ProperName in the Prim modulepurescript-ast Construct a m in the  Prim.NAME module.purescript-astKind of ground typespurescript-ast#Construct a type in the Prim modulepurescript-astType constructor for functionspurescript-astType constructor for stringspurescript-astType constructor for stringspurescript-astType constructor for numberspurescript-astType constructor for integerspurescript-astType constructor for booleanspurescript-astType constructor for arrayspurescript-astType constructor for recordspurescript-ast Check whether a type is a recordpurescript-ast"Check whether a type is a functionpurescript-ast$Smart constructor for function typespurescript-astThe primitive types in the external environment with their associated kinds. There are also pseudo Fail, Warn, and Partial; types that correspond to the classes with the same names.purescript-astThis Map6 contains all of the prim types from all Prim modules.purescript-ast0The primitive class map. This just contains the Partial class. Partial= is used as a kind of magic constraint for partial functions.purescript-ast?[+ purescript-astData type for binderspurescript-astWildcard binderpurescript-ast A binder which matches a literalpurescript-ast"A binder which binds an identifierpurescript-ast)A binder which matches a data constructorpurescript-astA operator alias binder. During the rebracketing phase of desugaring, this data constructor will be removed.purescript-astBinary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.purescript-astExplicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.Note: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.purescript-ast/A binder which binds its input to an identifierpurescript-ast)A binder with source position informationpurescript-astA binder with a type annotationpurescript-ast8Collect all names introduced in binders in an expression  None! #$%&-/56789:<>?purescript-ast"A statement in a do-notation blockpurescript-ast A monadic value without a binderpurescript-astA monadic value with a binderpurescript-ast0A let statement, i.e. a pure value with a binderpurescript-ast6A do notation element with source position informationpurescript-ast"An alternative in a case statementpurescript-ast6A collection of binders with which to match the inputspurescript-ast9The result expression or a collect of guarded expressionspurescript-ast2Metadata that tells where a let binding originatedpurescript-ast-The let binding was originally a where clausepurescript-ast(The let binding was always a let bindingpurescript-ast#Data type for expressions and termspurescript-astA literal valuepurescript-astA prefix -, will be desugaredpurescript-astBinary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.purescript-astExplicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.Note: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.purescript-ast-An record property accessor expression (e.g. `obj.x` or `_.x`). Anonymous arguments will be removed during desugaring and expanded into a lambda that reads a property from a record.purescript-astPartial record updatepurescript-astObject updates with nested support: `x { foo { bar = e } }` Replaced during desugaring into a  and nested spurescript-astFunction introductionpurescript-astFunction applicationpurescript-astHint that an expression is unused. This is used to ignore type class dictionaries that are necessarily empty. The inner expression lets us solve subgoals before eliminating the whole expression. The code gen will render this as -, regardless of what the inner expression is.purescript-astVariablepurescript-astAn operator. This will be desugared into a function during the "operators" phase of desugaring.purescript-ast%Conditional (if-then-else expression)purescript-astA data constructorpurescript-astA case expression. During the case expansion phase of desugaring, top-level binders will get desugared into case expressions, hence the need for guards and multiple binders per branch here.purescript-astA value with a type annotationpurescript-ast A let bindingpurescript-astA do-notation blockpurescript-astAn ado-notation blockpurescript-astAn application of a typeclass dictionary constructor. The value should be an ObjectLiteral.purescript-astA placeholder for a type class dictionary to be inserted later. At the end of type checking, these placeholders will be replaced with actual expressions representing type classes dictionaries which can be evaluated at runtime. The constructor arguments represent (in order): whether or not to look at superclass implementations when searching for a dictionary, the type class name and instance type, and the type class dictionaries in scope.purescript-astA typeclass dictionary accessor, the implementation is left unspecified until CoreFn desugaring.purescript-astA placeholder for a superclass dictionary to be turned into a TypeClassDictionary during typecheckingpurescript-ast0A placeholder for an anonymous function argumentpurescript-astA typed hole that will be turned into a hint/error during typecheckingpurescript-ast(A value with source position informationpurescript-astThe right hand side of a binder in value declarations and case expressions.purescript-astA guard is just a boolean-valued expression that appears alongside a set of binderspurescript-ast7What sort of declaration the kind signature applies to.purescript-ast0The members of a type class instance declarationpurescript-astThis is a derived instancepurescript-ast*This is an instance derived from a newtypepurescript-astThis is an instance derived from a newtype, desugared to include a dictionary for the type under the newtype.purescript-ast%This is a regular (explicit) instancepurescript-astThe data type of declarationspurescript-astA data type declaration (data or newtype, name, arguments, data constructors)purescript-ast:A minimal mutually recursive set of data type declarationspurescript-ast2A type synonym declaration (name, arguments, type)purescript-astA kind signature declarationpurescript-ast A role declaration (name, roles)purescript-ast)A type declaration for a value (name, ty)purescript-astA value declaration (name, top-level binders, optional guard, value)purescript-astA declaration paired with pattern matching in let-in expression (binder, optional guard, value)purescript-ast6A minimal mutually recursive set of value declarationspurescript-ast)A foreign import declaration (name, type)purescript-ast'A data type foreign import (name, kind)purescript-astA fixity declarationpurescript-ast'A module import (module name, qualified unqualified%hiding, optional "qualified as" name)purescript-astA type class declaration (name, argument, implies, member declarations)purescript-astA type instance declaration (instance chain, chain index, name, dependencies, class name, instance types, member declarations)purescript-astA value declaration assigns a name and potential binders, to an expression (or multiple guarded expressions). double x = x + xIn this example double is the identifier, x is a binder and x + x is the expression.purescript-astThe declared value's namepurescript-ast-Whether or not this value is exported/visiblepurescript-ast7A type declaration assigns a type to an identifier, eg: identity :: forall a. a -> aIn this example identity is the identifier and forall a. a -> a the type.purescript-astA role declaration assigns a list of roles to a type constructor's parameters, e.g.: $type role T representational phantomIn this example, T is the identifier and epresentational, phantom] is the list of roles (T# presumably having two parameters).purescript-ast8The data type which specifies type of import declarationpurescript-ast,An import with no explicit list: `import M`.purescript-astAn import with an explicit list of references to import: `import M (foo)`purescript-astAn import with a list of references to hide: `import M hiding (foo)`purescript-ast0An item in a list of explicit imports or exportspurescript-ast A type classpurescript-astA type operatorpurescript-ast)A type constructor with data constructorspurescript-astA valuepurescript-astA value-level operatorpurescript-astA type class instance, created during typeclass desugaring (name, class name, instance types)purescript-astA module, in its entiretypurescript-astA value re-exported from another module. These will be inserted during elaboration in name desugaring.purescript-astA module declaration, consisting of comments about the module, a module name, a list of declarations, and a list of the declarations that are explicitly exported. If the export list is Nothing, everything is exported.purescript-astCategories of hintspurescript-astError message hints, providing more detailed information about failure.purescript-astHolds the data necessary to do type directed search for typed holespurescript-astAn Environment captured for later consumption by type directed searchpurescript-astResults of applying type directed search to the previously captured Environmentpurescript-ast8The identifiers that fully satisfy the subsumption checkpurescript-astRecord fields that are available on the first argument to the typed holepurescript-ast&A map of locally-bound names in scope.purescript-astReturn a module's name.purescript-astReturn a module's source span.purescript-astReturn a module's declarations.purescript-astAdd an import declaration for a module if it does not already explicitly import it.Will not import an unqualified module if that module has already been imported qualified. (See #2197)purescript-astAdds import declarations to a module for an implicit Prim import and Prim | qualified as Prim, as necessary.purescript-ast A traversal for TypeInstanceBodypurescript-ast,Test if a declaration is a value declarationpurescript-ast0Test if a declaration is a data type declarationpurescript-ast3Test if a declaration is a type synonym declarationpurescript-ast(Test if a declaration is a module importpurescript-ast+Test if a declaration is a role declarationpurescript-ast3Test if a declaration is a data type foreign importpurescript-ast-Test if a declaration is a fixity declarationpurescript-ast)Test if a declaration is a foreign importpurescript-ast:Test if a declaration is a type class instance declarationpurescript-ast1Test if a declaration is a type class declarationpurescript-ast6Test if a declaration is a kind signature declaration.purescript-astRecursively flatten data binding groups in the list of declarationsNone #$%&-/56789<>?purescript-ast=Map a function over type annotations appearing inside a valueNone #$%&-/56789<>?4purescript-astReturn a list of all declarations which are exported from a module. This function descends into data declarations to filter out unexported data constructors, and also filters out type instance declarations if they refer to classes or types which are not themselves exported.Note that this function assumes that the module has already had its imports desugared using . It will produce incorrect results if this is not the case - for example, type class instances will be incorrectly removed in some cases.The returned declarations are in the same order as they appear in the export list, unless there is no export list, in which case they appear in the same order as they do in the source file.purescript-astTest if a declaration is exported, given a module's export list. Note that this function does not account for type instance declarations of non-exported types, or non-exported data constructors. Therefore, you should prefer " to this function, where possible.None #$%&-/56789<>?#$%'&()*+,-./0123456789LMNPQORSTNone #$%&-/56789<>? !"#$%&'()*+,-./0123456789:;;<=>??@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abbcdefghijklmnopqrstuvwxyyzz{|}~                                                                -purescript-ast-0.1.1.0-GLW6QEKazq2LhbbklNgI7yControl.Monad.SupplyControl.Monad.Supply.ClassLanguage.PureScript.Comments!Language.PureScript.AST.SourcePosLanguage.PureScript.Crash!Language.PureScript.AST.OperatorsLanguage.PureScript.Names"Language.PureScript.Constants.PrimLanguage.PureScript.PSStringLanguage.PureScript.Label Language.PureScript.AST.LiteralsLanguage.PureScript.RolesLanguage.PureScript.TraversalsLanguage.PureScript.Types)Language.PureScript.TypeClassDictionariesLanguage.PureScript.EnvironmentLanguage.PureScript.AST.Binders$Language.PureScript.AST.Declarations"Language.PureScript.AST.Traversals Language.PureScript.AST.ExportedLanguage.PureScript.Sugar.NamesdesugarImportsLanguage.PureScript.ASTPaths_purescript_astSupplySupplyT unSupplyT runSupplyT evalSupplyT runSupply evalSupply$fFunctorSupplyT$fApplicativeSupplyT$fMonadSupplyT$fMonadTransSupplyT$fMonadErroreSupplyT$fMonadWriterwSupplyT$fMonadReaderrSupplyT$fAlternativeSupplyT$fMonadPlusSupplyT MonadSupplyfreshpeek freshName$fMonadSupplyWriterT$fMonadSupplyStateT$fMonadSupplySupplyTComment LineComment BlockComment$fSerialiseComment$fNFDataComment $fShowComment $fEqComment $fOrdComment$fGenericComment$fFromJSONComment$fToJSONComment SourceSpanspanName spanStartspanEnd SourcePos sourcePosLinesourcePosColumn SourceAnn NullSourceAnnNullSourceSpandisplaySourcePosdisplaySourcePosShortdisplayStartEndPosdisplayStartEndPosShortdisplaySourceSpaninternalModuleSourceSpannullSourceSpan nullSourceAnn nonEmptySpanwidenSourceSpanwidenSourceAnn$fFromJSONSourcePos$fToJSONSourcePos$fFromJSONSourceSpan$fToJSONSourceSpan$fShowSourceSpan$fEqSourceSpan$fOrdSourceSpan$fGenericSourceSpan$fNFDataSourceSpan$fSerialiseSourceSpan$fShowSourcePos $fEqSourcePos$fOrdSourcePos$fGenericSourcePos$fNFDataSourcePos$fSerialiseSourcePos HasCallStack internalErrorFixity AssociativityInfixlInfixrInfix Precedence showAssoc readAssoc$fFromJSONAssociativity$fToJSONAssociativity$fSerialiseAssociativity$fNFDataAssociativity$fToJSONFixity$fSerialiseFixity$fNFDataFixity $fShowFixity $fEqFixity $fOrdFixity$fGenericFixity$fShowAssociativity$fEqAssociativity$fOrdAssociativity$fGenericAssociativity Qualified ModuleNameProperNameTypeTypeNameConstructorName ClassName Namespace ProperName runProperName OpNameType ValueOpName TypeOpName AnyOpNameOpName runOpNameIdentGenIdent UnusedIdentName IdentName ValOpNameTyNameTyOpName DctorName TyClassNameModName getIdentName getValOpName getTypeName getTypeOpName getDctorName getClassName getModNamerunIdent showIdent freshIdent freshIdent'showOp eraseOpName coerceOpNamecoerceProperName runModuleNamemoduleNameFromStringisBuiltinModuleName showQualifiedgetQualqualify mkQualified disqualify disqualifyFor isQualified isUnqualifiedisQualifiedWith$fSerialiseIdent $fNFDataIdent$fFromJSONOpName$fToJSONOpName$fSerialiseOpName$fNFDataOpName$fFromJSONProperName$fToJSONProperName$fSerialiseProperName$fNFDataProperName$fNFDataModuleName$fSerialiseName $fNFDataName$fSerialiseQualified$fNFDataQualified$fShowQualified $fEqQualified$fOrdQualified$fFunctorQualified$fFoldableQualified$fTraversableQualified$fGenericQualified$fEqName $fOrdName $fShowName $fGenericName$fShowModuleName$fEqModuleName$fOrdModuleName$fGenericModuleName$fSerialiseModuleName$fShowProperName$fEqProperName$fOrdProperName$fGenericProperName $fShowOpName $fEqOpName $fOrdOpName$fGenericOpName $fShowIdent $fEqIdent $fOrdIdent$fGenericIdent$fFromJSONQualified$fToJSONQualified$fFromJSONKeyModuleName$fToJSONKeyModuleName$fFromJSONModuleName$fToJSONModuleName$fFromJSONIdent $fToJSONIdentWarnFail PrimTypeError SymbolCons SymbolAppend SymbolCompare PrimSymbol RowListCons RowListNil RowToList PrimRowListRowLacksRowConsRowNubRowUnionPrimRow PrimOrdering Coercible PrimCoerce PrimBooleanRowArrayFunction ConstraintTypeRecordPartialPrim undefinedpartial booleanTrue booleanFalse orderingLT orderingEQ orderingGT primModulestyp kindBoolean kindOrdering kindRowListsymboldocrow constraintprim moduleBoolean moduleCoercemoduleOrdering moduleRow moduleRowList moduleSymbol typeErrorPSStringtoUTF16CodeUnitsdecodeStringWithReplacementdecodeStringEither decodeStringprettyPrintStringprettyPrintStringJSmkString$fFromJSONPSString$fToJSONPSString$fIsStringPSString$fShowPSString$fSerialisePSString$fNFDataPSString $fEqPSString $fOrdPSString$fSemigroupPSString$fMonoidPSString$fGenericPSStringLabelrunLabel$fSerialiseLabel $fNFDataLabel $fShowLabel $fEqLabel $fOrdLabel$fIsStringLabel$fSemigroupLabel $fMonoidLabel $fToJSONLabel$fFromJSONLabel$fGenericLabelLiteralNumericLiteral StringLiteral CharLiteralBooleanLiteral ArrayLiteral ObjectLiteral $fEqLiteral $fOrdLiteral $fShowLiteral$fFunctorLiteralRoleNominalRepresentationalPhantom$fSerialiseRole $fNFDataRole $fShowRole$fEqRole $fOrdRole $fGenericRole displayRole$fFromJSONRole $fToJSONRolefstMsndMthirdMpairMmaybeMeitherMdefS RowListItem rowListAnn rowListLabel rowListType constraintAnnconstraintClassconstraintKindArgsconstraintArgsconstraintDataConstraintDataPartialConstraintDataTUnknownTypeVarTypeLevelString TypeWildcardTypeConstructorTypeOpTypeAppKindAppForAllConstrainedTypeSkolemREmptyRCons KindedTypeBinaryNoParensType ParensInType SkolemScoperunSkolemScopeSourceConstraint SourceType REmptyKinded srcTUnknown srcTypeVarsrcTypeLevelStringsrcTypeWildcardsrcTypeConstructor srcTypeOp srcTypeApp srcKindApp srcForAllsrcConstrainedType srcREmptysrcRCons srcKindedTypesrcBinaryNoParensTypesrcParensInTypetoREmptyKindedisREmpty srcConstraintmapConstraintArgsoverConstraintArgsmapConstraintKindArgsoverConstraintKindArgsmapConstraintArgsAlloverConstraintArgsAllconstraintDataToJSONconstraintToJSON typeToJSONconstraintDataFromJSONconstraintFromJSON typeFromJSONsrcRowListItem rowToListrowToSortedList rowFromList alignRowsWith isMonoTypemkForAllreplaceTypeVarsreplaceAllTypeVarsusedTypeVariablesfreeTypeVariablescompleteBinderListquantifymoveQuantifiersToFrontcontainsWildcardscontainsForAllunknownscontainsUnknowns eraseKindAppseraseForAllKindAnnotations unapplyTypesunapplyConstraintseverywhereOnTypeseverywhereOnTypesTopDowneverywhereOnTypesMeverywhereWithScopeOnTypesMeverywhereOnTypesTopDownMeverythingOnTypeseverythingWithContextOnTypes annForType getAnnForType setAnnForTypeeqType eqMaybeType compareTypecompareMaybeType eqConstraintcompareConstraint$fSerialiseSkolemScope$fNFDataSkolemScope$fFromJSONConstraintData$fToJSONConstraintData$fSerialiseConstraintData$fNFDataConstraintData$fOrdConstraint$fEqConstraint $fOrdType$fEqType$fFromJSONConstraint$fFromJSONConstraint0$fFromJSONConstraint1$fFromJSONType$fFromJSONType0$fFromJSONType1$fToJSONConstraint $fToJSONType$fSerialiseConstraint$fNFDataConstraint$fSerialiseType $fNFDataType$fShowRowListItem$fGenericRowListItem$fFunctorRowListItem$fFoldableRowListItem$fTraversableRowListItem$fShowConstraint$fGenericConstraint$fFunctorConstraint$fFoldableConstraint$fTraversableConstraint $fShowType $fGenericType $fFunctorType$fFoldableType$fTraversableType$fShowConstraintData$fEqConstraintData$fOrdConstraintData$fGenericConstraintData$fShowSkolemScope$fEqSkolemScope$fOrdSkolemScope$fToJSONSkolemScope$fFromJSONSkolemScope$fGenericSkolemScope NamedDictTypeClassDictionaryInScopetcdChaintcdIndextcdValuetcdPath tcdClassName tcdForAlltcdInstanceKindstcdInstanceTypestcdDependenciessuperclassName"$fNFDataTypeClassDictionaryInScope $fShowTypeClassDictionaryInScope#$fFunctorTypeClassDictionaryInScope$$fFoldableTypeClassDictionaryInScope'$fTraversableTypeClassDictionaryInScope#$fGenericTypeClassDictionaryInScope DataDeclTypeDataNewtypeTypeKindDataType TypeSynonym ExternDataLocalTypeVariable ScopedTypeVarNameKindPrivatePublicExternalNameVisibility UndefinedDefinedFunctionalDependency fdDeterminers fdDetermined TypeClassDatatypeClassArgumentstypeClassMemberstypeClassSuperclassestypeClassDependenciestypeClassDeterminedArgumentstypeClassCoveringSetstypeClassIsEmpty EnvironmentnamestypesdataConstructorsroleDeclarations typeSynonymstypeClassDictionaries typeClassesinitEnvironmentmakeTypeClassDatashowDataDeclTypeprimName primSubNameprimKind primSubKindkindTypekindConstraint isKindType kindSymbolkindDockindRow kindOfREmptyprimTy tyFunctiontyStringtyChartyNumbertyInt tyBooleantyArraytyRecordtyVartyForallisObject isFunctionisTypeOrAppliedfunction-:> primClass primTypes allPrimTypesprimBooleanTypesprimCoerceTypesprimOrderingTypes primRowTypesprimRowListTypesprimSymbolTypesprimTypeErrorTypes primClassesallPrimClassesprimCoerceClassesprimRowClassesprimRowListClassesprimSymbolClassesprimTypeErrorClasseslookupConstructorisNewtypeConstructor lookupValuedictSynonymName'dictSynonymName isDictSynonymnominalRolesForKind kindArity unapplyKinds$fToJSONFunctionalDependency$fFromJSONFunctionalDependency$fSerialiseFunctionalDependency$fNFDataFunctionalDependency$fNFDataTypeClassData$fSerialiseNameVisibility$fNFDataNameVisibility$fSerialiseNameKind$fNFDataNameKind$fFromJSONDataDeclType$fToJSONDataDeclType$fSerialiseDataDeclType$fNFDataDataDeclType$fSerialiseTypeKind$fNFDataTypeKind$fNFDataEnvironment$fShowEnvironment$fGenericEnvironment$fShowTypeKind $fEqTypeKind$fGenericTypeKind$fShowDataDeclType$fEqDataDeclType$fOrdDataDeclType$fGenericDataDeclType$fShowNameKind $fEqNameKind$fGenericNameKind$fShowNameVisibility$fEqNameVisibility$fGenericNameVisibility$fShowTypeClassData$fGenericTypeClassData$fShowFunctionalDependency$fGenericFunctionalDependencyBinder NullBinder LiteralBinder VarBinderConstructorBinderOpBinderBinaryNoParensBinderParensInBinder NamedBinderPositionedBinder TypedBinder binderNames isIrrefutable $fOrdBinder $fEqBinder $fShowBinder AssocList runAssocListPathNodeLeafBranchPathTreeDoNotationElementDoNotationValueDoNotationBind DoNotationLetPositionedDoNotationElementCaseAlternativecaseAlternativeBinderscaseAlternativeResultWhereProvenance FromWhereFromLetExpr UnaryMinusBinaryNoParensParensAccessor ObjectUpdateObjectUpdateNestedAbsAppUnusedVarOp IfThenElse ConstructorCase TypedValueLetDoAdo!TypeClassDictionaryConstructorAppTypeClassDictionaryTypeClassDictionaryAccessorDeferredDictionaryAnonymousArgumentHolePositionedValue GuardedExprGuardConditionGuard PatternGuardKindSignatureForDataSig NewtypeSigTypeSynonymSigClassSigTypeInstanceBodyDerivedInstanceNewtypeInstanceNewtypeInstanceWithDictionaryExplicitInstance TypeFixity ValueFixity DeclarationDataDeclarationDataBindingGroupDeclarationTypeSynonymDeclarationKindDeclarationRoleDeclarationTypeDeclarationValueDeclarationBoundValueDeclarationBindingGroupDeclarationExternDeclarationExternDataDeclarationFixityDeclarationImportDeclarationTypeClassDeclarationTypeInstanceDeclarationDataConstructorDeclaration dataCtorAnn dataCtorNamedataCtorFieldsValueDeclarationDatavaldeclSourceAnn valdeclIdent valdeclNamevaldeclBindersvaldeclExpressionTypeDeclarationDatatydeclSourceAnn tydeclIdent tydeclTypeRoleDeclarationDatardeclSourceAnn rdeclIdent rdeclRolesImportDeclarationTypeImplicitExplicitHiding ExportSourceexportSourceImportedFromexportSourceDefinedInDeclarationRef TypeClassRef TypeOpRefTypeRefValueRef ValueOpRefTypeInstanceRef ModuleRef ReExportRefModule HintCategoryExprHintKindHint CheckHint PositionHint SolverHint OtherHintErrorMessageHintErrorUnifyingTypesErrorInExpression ErrorInModuleErrorInInstanceErrorInSubsumptionErrorCheckingAccessorErrorCheckingTypeErrorCheckingKindErrorCheckingGuardErrorInferringTypeErrorInferringKindErrorInApplicationErrorInDataConstructorErrorInTypeConstructorErrorInBindingGroupErrorInDataBindingGroupErrorInTypeSynonymErrorInValueDeclarationErrorInTypeDeclarationErrorInTypeClassDeclarationErrorInKindDeclarationErrorInRoleDeclarationErrorInForeignImportErrorSolvingConstraint$MissingConstructorImportForCoerciblePositionedError TypeSearchTSBeforeTSAftertsAfterIdentifierstsAfterRecordFieldsContext MkUnguardedTypeFixityDeclarationValueFixityDeclaration ValueDeclonTypeSearchTypesonTypeSearchTypesM getModuleNamegetModuleSourceSpangetModuleDeclarationsaddDefaultImport importPrimdeclRefSourceSpan declRefName getTypeRef getTypeOpRef getValueRef getValueOpRefgetTypeClassRef isModuleRef isImplicit isExplicitoverTypeDeclarationgetTypeDeclarationunwrapTypeDeclarationoverValueDeclarationgetValueDeclarationmapDataCtorFieldstraverseDataCtorFieldsmapTypeInstanceBodytraverseTypeInstanceBody declSourceAnndeclSourceSpandeclName isValueDecl isDataDeclisTypeSynonymDecl isImportDecl isRoleDeclisExternDataDecl isFixityDecl getFixityDecl isExternDeclisTypeClassInstanceDeclisTypeClassDecl isKindDecl flattenDecls$fOrdDeclarationRef$fEqDeclarationRef $fShowModule $fShowExpr$fShowDoNotationElement$fShowDeclaration$fShowGuardedExpr $fShowGuard$fShowTypeInstanceBody$fShowCaseAlternative$fShowErrorMessageHint$fShowPathTree $fEqPathTree $fOrdPathTree$fFunctorPathTree$fFoldablePathTree$fTraversablePathTree$fShowPathNode $fEqPathNode $fOrdPathNode$fFunctorPathNode$fFoldablePathNode$fTraversablePathNode$fShowAssocList $fEqAssocList$fOrdAssocList$fFoldableAssocList$fFunctorAssocList$fTraversableAssocList$fShowWhereProvenance$fEqKindSignatureFor$fOrdKindSignatureFor$fShowKindSignatureFor$fEqTypeFixity$fOrdTypeFixity$fShowTypeFixity$fEqValueFixity$fOrdValueFixity$fShowValueFixity $fShowDataConstructorDeclaration$fEqDataConstructorDeclaration$fShowValueDeclarationData$fFunctorValueDeclarationData$fFoldableValueDeclarationData!$fTraversableValueDeclarationData$fShowTypeDeclarationData$fEqTypeDeclarationData$fShowRoleDeclarationData$fEqRoleDeclarationData$fEqImportDeclarationType$fShowImportDeclarationType$fGenericImportDeclarationType $fSerialiseImportDeclarationType$fShowDeclarationRef$fGenericDeclarationRef$fNFDataDeclarationRef$fSerialiseDeclarationRef$fEqExportSource$fOrdExportSource$fShowExportSource$fGenericExportSource$fNFDataExportSource$fSerialiseExportSource$fShowHintCategory$fEqHintCategory$fShowTypeSearch$fFromJSONDeclarationRef$fToJSONDeclarationRef$fFromJSONImportDeclarationType$fToJSONImportDeclarationType isTrueExpr$fFromJSONExportSource$fToJSONExportSource ScopedIdent LocalIdent ToplevelIdent guardedExprMmapGuardedExprlitMeverywhereOnValueseverywhereOnValuesTopDownMeverywhereOnValuesMeverythingOnValueseverythingWithContextOnValueseverywhereWithContextOnValuesMinScopeeverythingWithScope accumTypes overTypes$fShowScopedIdent$fEqScopedIdent$fOrdScopedIdentexportedDeclarations isExported#text-1.2.4.1-GP7eNhmR25pL86hGhau2f1Data.Text.InternalTextbase GHC.MaybeNothingGHC.Errversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName