! &:R      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVW X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~           !!!!!!!!!""""""""""""""""""""""""""##$$$$$$$$$$$%%&&&&&&&'''''''''''''''''''''''''' ' ' ' ' ''''''''''''''''''' '!'"'#'$'%'&'''(')'*'+','-'.'/'0'1'2'3'4'5'6'7'8'9':';'<'='>'?'@'A'B'C'D'E'F'G'H'I'J'K'L'M'N'O'P'Q'R'S'T'U'V'W'X'Y'Z'['\']'^'_'`'a'b'c'd'e'f'g'h'i'j'k'l'm'n'o(p(q(r(s(t(u(v(w(x(y(z({(|(}(~(())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))***+,,,,,,,,,,, , , , , ,------------------ -!-"-#-$-%-&-'-(-)-*-+-,--.../.0.1.2.3.4.5.6.7.8.9.:.;.<.=.>.?.@.A.B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R.S.T.U.V.W.X.Y.Z.[.\.].^._.`.a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v.w.x.y.z.{.|.}.~........................................................................................................................................... . . . . ................... .!.".#.$.%.&.'.(.).*.+.,.-.../.0.1.2.3.4.5.6.7.8.9.:.;.<.=.>.?.@.A.B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R.S.T.U.V.W.X.Y.Z.[.\.].^._.`.a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v.w.x.y.z.{.|.}.~..........................////////////////////001222222222222222222222222222222222223444444444444444444444444444445556666666666666 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 !6 "6 #6 $6 %6 &6 '6 (6 )6 *6 +6 ,6 -6 .6 /6 06 16 26 36 46 56 66 76 86 96 :6 ;6 <6 =6 >6 ?6 @6 A7 B7 C7 D7 E7 F7 G7 H7 I7 J7 K7 L7 M7 N7 O7 P7 Q7 R7 S7 T7 U7 V7 W7 X7 Y7 Z7 [7 \7 ]7 ^7 _7 `7 a7 b7 c7 d7 e7 f7 g7 h7 i7 j7 k7 l7 m7 n7 o7 p7 q7 r7 s7 t7 u7 v7 w7 x7 y7 z7 {7 |7 }7 ~7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 : : : : : : ; ; ; ; ; ; ; ; ; ; < = = = = > > > > > > > > > > > > > > > > ? @ @ @ @ @ @ @ A B B B B B B B B B B C D E F F F F G G H H H H H H H H H H H H H H H H H H H H H H H H H !H "H #H $H %H &H 'H (H )H *H +H ,H -H .H /H 0H 1H 2H 3H 4H 5H 6H 7H 8H 9H :H ;H <H =H >H ?H @H AH BH CI DI EI FI GJ HK IK JL KM LM MM NN ON PN QO RO SO TO UP VQ WQ XQ YQ ZQ [Q \Q ]Q ^R _R `R aR bR cR dR eR fR gR hR iR jR kR lR mS nS oT pT qU rV sW tW uX vX wX xX yY zZ {Z |Z }Z ~Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z [ \ \ \ \ \ ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] !] "] #] $] %] &] '] (] )] *] +] ,] -] .] /] 0] 1] 2] 3] 4] 5] 6] 7] 8] 9] :] ;] <] =] >] ?] @] A] B] C] D] E] F] G] H] I] J] K] L] M] N] O] P] Q] R] S] T] U] V] W] X] Y] Z] [] \] ]] ^] _] `] a] b] c] d] e] f] g] h] i] j] k] l] m] n] o] p] q] r] s] t] u] v] w] x] y] z] {] |] }] ~] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ^ ^ ^ _ _ _ _ ` ` ` ` ` ` ` ` ` a a b b b b c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c d e e e e e e e e e e e f f g g g g h h h h h !h "h #h $h %i &i 'j (k )l *m +n ,o -p .p /q 0q 1q 2q 3q 4q 5q 6q 7q 8q 9q :r ;r <r =r >r ?r @r Ar Bs Cs Ds Es Fs Gs Hs Is Js Ks Ls Ms Ns Os Ps Qs Rs Ss Ts Us Vs Ws Xt Yt Zt [t \t ]t ^t _u `v av bv c dw ew fw gw hw iw jw kw lw mw nw ow pw qw rw sw tw uw vw ww xw yw zw {w |w }w ~w w w w w w w w w w w w w w w w w w w w w w w w w x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x y y y y y y y y y y y z z z z z z { { | | } } } } } } ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~                      ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQSafe"#%,.4567=>?@AHPSVX_g\ purescript;A replacement for WriterT IO which uses mutable references. purescript5Run a Logger computation, starting with an empty log.None"#%,.4567>@AHMPSX_gZNone"#%,.45678>@AHPSVX_g̐! "! "None"#%,.4567>@AHPSX_g͖&('&('None"#%,.4567>@AHPSX_g22 purescript Source name3 purescriptStart of the span4 purescriptEnd of the span5 purescriptSource position information7 purescript Line number8 purescript Column number9 purescript6Source annotation - position information and comments.0123456879:;<=>?@ABCDEF95687<=01234>?@ABC;:DEFSafe"#%,.4567>@AHPSX_gU purescript A compatibility wrapper for the GHC.Stack.HasCallStack constraint.V purescript3Exit with an error message and a crash report link.UVUV None"#%,.4567>@AHPSX_g+W purescriptFixity data for infix operatorsY purescript!Associativity for infix operators] purescript(A precedence level for an infix operator WXY[Z\]^_ ]Y[Z\^_WX None"#%,.4567>@AHPSX_gm purescriptAn embedded copy of normalize.css as a UTF-8 encoded ByteString; this should be included before pursuit.css in any HTML page using pursuit.css.n purescriptLike m , but as a .o purescriptDCSS for use with generated HTML docs, as a UTF-8 encoded ByteString.p purescriptLike o , but as a .mnopmnop Safe"#%,.4567>@AHPSX_gqq Safe"#%,.4567>@AHPSX_gr purescript0Locates the node executable. Checks for either nodejs or node.s purescript/Grabs the filename where the history is stored.rsrs None"#%,.4567>@AHPSX_gt purescript:A qualified name, i.e. a name with an optional module namev purescript Module namesx purescript$The closed set of proper name types.~ purescriptTProper names, i.e. capitalized names for e.g. module names, type//data constructors. purescript'The closed set of operator alias types. purescriptOperator alias names. purescriptNames for value identifiers purescriptAn alphanumeric identifier purescript"A generated name for an identifier purescript,A generated name used only for type-checking purescriptEA sum of the possible name types, useful for error and lint messages. purescriptCoerces 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. purescript7Provide a default module name, if a name is unqualified purescript4Makes a qualified value from a name and module name. purescript,Remove the module name from a qualified name purescriptZRemove the qualification from a value when it is qualified with a particular module name. purescriptNChecks whether a qualified value is actually qualified with a module reference purescriptRChecks whether a qualified value is not actually qualified with a module reference purescriptFChecks whether a qualified value is qualified with a particular module<tuvwx|{zy}~<~x|{zy}vwtuNone"#%,.4567=>?@AHPSX_g purescriptThe data type of kinds purescript!Unification variable of type Kind purescript5Kinds for labelled, unordered rows without duplicates purescriptFunction kinds purescript A named kindNone"#%,.4567>@AHPSX_g  purescriptData constructor metadata purescript6The constructor is for a type with a single construcor purescript7The constructor is for a type with multiple construcors purescriptMetadata annotations purescript)The contained value is a data constructor purescript The contained value is a newtype purescript9The contained value is a typeclass dictionary constructor purescript/The contained reference is for a foreign member purescript%The contained value is a where clause  None"#%,.4567>@AHPSX_g7  purescript Convert an $ into a valid JavaScript identifier:,Alphanumeric characters are kept unmodified.2Reserved javascript identifiers are prefixed with $$. purescript Convert a ~$ into a valid JavaScript identifier:,Alphanumeric characters are kept unmodified.2Reserved javascript identifiers are prefixed with $$. purescript4Convert any name into a valid JavaScript identifier._Note that this function assumes that the argument is a valid PureScript identifier (either an  or a ~}) to begin with; as such it will not produce valid JavaScript identifiers if the argument e.g. begins with a digit. Prefer   or  where possible. purescript]Test if a string is a valid JavaScript identifier as-is. Note that, while a return value of RI guarantees that the string is a valid JS identifier, a return value of S does not guarantee that the string is not a valid JS identifier. That is, this check is more conservative than absolutely necessary. purescriptkAttempts to find a human-readable name for a symbol, if none has been specified returns the ordinal value. purescript<Checks whether an identifier name is reserved in JavaScript. purescript=Checks whether a name matches a built-in value in JavaScript.    Safe"#%,.4567>@AHPSX_g Q  purescript!The data type of compiler options" purescriptVerbose error message# purescript)Remove the comments from the generated js$ purescript"Codegen targets (JS, CoreFn, etc.)  !$#"%&  !$#"%&None"#%,.4567>@AHMPSX_g>+ purescriptStrings 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.T purescriptDecode a PSString to a String, representing any lone surrogates as the reserved code point with that index. Warning: if there are any lone surrogates, converting the result to Text via Data.Text.pack will result in loss of information as those lone surrogates will be replaced with U+FFFD REPLACEMENT CHARACTER. Because this function requires care to use correctly, we do not export it.- purescripteDecode a PSString as UTF-16 text. Lone surrogates will be replaced with U+FFFD REPLACEMENT CHARACTER. purescriptDecode 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./ purescriptPretty print a PSString, using Haskell/PureScript escape sequences. This is identical to the Show instance except that we get a Text out instead of a String.0 purescriptzAttempt to decode a PSString as UTF-16 text. This will fail (returning Nothing) if the argument contains lone surrogates.1 purescriptdPretty print a PSString, using JavaScript escape sequences. Intended for use in compiled JS output.+,-./012+,0.-/12None"#%,.4567>@AHMPSX_gBM= purescriptLabels are used as record keys and row entry names. Labels newtype PSString because records are indexable by PureScript strings at runtime.=>?=>?None"#%,.4567>@AHPSX_gC;JKPONMLQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~jklmnopqrsituvwxyz{|}~JKPONMLhgfedcba`_^]\[ZYXWVUTSRQNone"#%,.4567>@AHPSX_gIV     ! "#%$&'+*)(,-10/.23987654:;?>=<@ADCBEGFHJIKdcba`_^]\[ZYXWVUTSRQPONMLehgfijlkmnrqpostuvwzyx{|~}     @?>=<;:9876543210/.-,+*)('&%$#"! ACBDEHGFIKJLMNOPQSRTUWVVTUWVPQSRLMNOIKJDEHGFACB@?>=<;:9876543210/.-,+*)('&%$#"!      {|~}vwzyxstumnrqpoijlkehgfKdcba`_^]\[ZYXWVUTSRQPONMLHJIEGF@ADCB:;?>=<23987654,-10/.&'+*)("#%$!      None"#%,.4567>@AHPSX_gU_None"#%,.4567>@AHPSX_gV=None"#%,.4567>@AHPSX_gWNone"#$%,.4567>@AHPSX_gX!//None"#%,.4567>@AHPSX_gZoNone"#$%,.4567>@AHPSX_g\5+   !"#$%&'()*+,-./0123456+   !"#$%&'()*+,-./0123456None"#%,.4567>@AHPSX_g_I= purescript-A bare bones, CPS'ed `StateT s (Except e) a`.<=>?@BACDHGFEIJKLMNOPQRSTUVWXICDHGFE?@BA=><JKLMNOPQRSTUVWXNone"#%,.4567>@AHPSX_gc purescriptThis is to keep the Parser.y file ASCII, otherwise happy$ will break in non-unicode locales.Related GHC issue: .https://gitlab.haskell.org/ghc/ghc/issues/8167)^`_abcdefghijklmnopqrstuvwxyz{|}~)abcdefghijklmnopqrstuvwxyz{|}~^`_None"#%,.4567>@AHPSX_gk purescriptStops at the first lexing error and replaces it with TokEof. Otherwise, the parser will fail when it attempts to draw a lookahead token. purescript%Lexes according to root layout rules. purescript7Lexes according to top-level declaration context rules. purescript!Lexes according to some LexState. purescript2Checks if some identifier is a valid unquoted key.None"#%,.4567=>?@AFHPSX_ghlU9 V9  None"#%,.4567>@AHPSX_gr purescriptUData type for literal values. Parameterised so it can be used for Exprs and Binders. purescriptA numeric literal purescriptA string literal purescriptA character literal purescriptA boolean literal purescriptAn array literal purescriptAn object literal!None"#%,.4567>@AHPSX_gx purescriptData type for binders purescriptWildcard binder purescript&A binder which matches a literal value purescript"A binder which binds an identifier purescript)A binder which matches a data constructor purescript/A binder which binds its input to an identifier"None"#%,.4567>@AHPSX_g purescript"An alternative in a case statement purescript6A collection of binders with which to match the inputs purescript9The result expression or a collect of guarded expressions purescriptSA guard is just a boolean-valued expression that appears alongside a set of binders purescriptA let or module binding. purescript(Non-recursive binding for a single value purescript3Mutually recursive binding group for several values purescript#Data type for expressions and terms purescriptA literal value purescript=A data constructor (type name, constructor name, field names) purescriptA record property accessor purescriptPartial record update purescriptFunction introduction purescriptFunction application purescriptVariable purescriptA case expression purescript A let binding purescript"Extract the annotation from a term purescriptModify the annotation on a term#None"#%,.4567>@AHPSX_gg$None"#%,.4567>@AHPSX_g purescript The CoreFn module representationThe json CoreFn representation does not contain type information. When parsing it one gets back `ModuleT () Ann` rathern than `ModuleT Type Ann`, which is enough for  moduleToJs.  Safe"#%,.4567>@AHPSX_g  %None"#%,.4567>@AHPSX_gb purescriptGGlob relative to the current directory, and produce relative pathnames. purescript)Glob pattern for PureScript source files.&Safe"#%,.4567>@AHPSX_gH'None"#%,.4567=>?@AHMPSX_g% purescriptA typeclass constraint purescriptconstraint annotation purescriptconstraint class name purescripttype arguments purescript+additional data relevant to this constraint purescript2Additional data relevant to type class constraints purescriptData 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. purescriptThe type of types purescript#A unification variable of type Type purescriptA named type variable purescriptA type-level string purescript:A type wildcard, as would appear in a partial type synonym purescriptA type constructor purescriptlA type operator. This will be desugared into a type constructor during the "operators" phase of desugaring. purescriptA type application purescriptForall quantifier purescript+A type with a set of type class constraints purescriptA skolem constant purescript An empty row purescriptA non-empty row  purescriptA type with a kind annotation  purescriptqBinary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.  purescriptjExplicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.zNote: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.  purescript0An identifier for the scope of a skolem variable* purescript4Convert a row to a list of pairs of labels and types+ purescriptKConvert a row to a list of pairs of labels and types, sorted by the labels., purescript+Convert a list of labels and types to a row- purescript"Check whether a type is a monotype. purescriptUniversally quantify a type/ purescript?Replace a type variable, taking into account variable shadowing0 purescript'Replace named type variables with types1 purescript.Collect all type variables appearing in a type2 purescript3Collect all free type variables appearing in a type3 purescriptEUniversally quantify over all type variables appearing free in a type4 purescript5Move all universal quantifiers to the front of a type5 purescript"Check if a type contains wildcards6 purescriptCheck if a type contains forallU      !"#$%&'()*+,-./0123456789:;<=>?@ABCU      !"#$%&'()*+,-./0123456789:;<=>?@ABC(None"#%,.4567>@AHPSX_g p purescript;Data representing a type class dictionary which is in scoper purescriptThe instance chains purescriptIndex of the instance chaint purescript>The value with which the dictionary can be accessed at runtimeu purescript8How to obtain this instance via superclass relationshipsv purescriptDThe name of the type class to which this type class instance appliesw purescript3The types to which this type class instance appliesx purescriptLType class dependencies which must be satisfied to construct this dictionaryy purescriptPGenerate a name for a superclass reference which can be used in generated code. opqxwvutsry pqxwvutsroy)None"#%,.4567>@AHPSX_g@ purescript The type ('data' or  'newtype') of a data type declaration purescriptA standard data constructor purescriptA newtype constructor purescriptThe kinds of a type purescript Data type purescript Type synonym purescript Foreign data purescriptA local type variable purescriptA scoped type variable purescriptA flag for whether a name is for an private or public value - only public values will be included in a generated externs file. purescriptmA private value introduced as an artifact of code generation (class instances, class member accessors, etc.) purescript@A public value for a module member or foreing import declaration purescript.A name for member introduced by foreign import purescript!The visibility of a name in scope purescriptDThe name is defined in the current binding group, but is not visible purescript_The name is defined in the another binding group, or has been made visible by a function binder purescriptlA functional dependency indicates a relationship between two sets of type arguments in a class declaration. purescript@the type arguments which determine the determined type arguments purescriptthe determined type arguments purescriptInformation about a type class purescriptVA list of type argument names, and their kinds, where kind annotations were provided. purescriptoA list of type class members and their types. Type arguments listed above are considered bound in these types. purescriptA list of superclasses of this type class. Type arguments listed above are considered bound in the types appearing in these constraints. purescriptGA list of functional dependencies for the type arguments of this class. purescriptA 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. purescriptBA sets of arguments that can be used to infer all other arguments. purescriptThe  Environment; defines all values and types which are currently in scope: purescriptValues currently in scope purescriptType names currently in scope purescriptyData constructors currently in scope, along with their associated type constructor name, argument types and return type. purescript Type synonyms currently in scope purescript3Available type class dictionaries. When looking up W in the outer map, this returns the map of type class dictionaries in local scope (ie dictionaries brought in by a constrained type). purescript Type classes purescriptKinds in scope purescriptTThe initial environment with no values and only the default javascript types defined purescriptgA 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 bB 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.1The 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)Construct a ProperName in the Prim module purescript Construct a ~ in the  Prim.NAME module. purescriptKind of ground types purescript#Construct a type in the Prim module purescriptType constructor for functions purescriptType constructor for strings purescriptType constructor for strings purescriptType constructor for numbers purescriptType constructor for integers purescriptType constructor for booleans purescriptType constructor for arrays purescriptType constructor for records purescript Check whether a type is a record purescript"Check whether a type is a function purescript$Smart constructor for function types purescript Kinds in Prim purescript Kinds in  Prim.Boolean purescript Kinds in  Prim.Ordering purescript Kinds in  Prim.RowList purescript Kinds in Prim.TypeError purescriptAll primitive kinds purescriptoThe primitive types in the external javascript environment with their associated kinds. There are also pseudo Fail, Warn, and Partial; types that correspond to the classes with the same names. purescriptThis Map6 contains all of the prim types from all Prim modules. purescript0The primitive class map. This just contains the Partial class. Partial= is used as a kind of magic constraint for partial functions. purescript<This contains all of the type classes from all Prim modules. purescriptGFinds information about data constructors from the current environment. purescript3Checks whether a data constructor is for a newtype. purescript<Finds information about values from the current environment.ZZ4*None"#%,.4567>@AHPSX_g$h purescript Type alias for basic annotations purescript9An annotation empty of metadata aside from a source span. purescript&Remove the comments from an annotation+None"#%,.4567>@AHPSX_g(x purescriptCoreFn optimization pass.X purescriptQReturn the labels of a closed record, or Nothing for other types or open records.Y purescriptSee 4https://github.com/purescript/purescript/issues/3157,None"#%,.4567>@AHPSX_g7  purescriptData type for binders purescriptWildcard binder purescript A binder which matches a literal purescript"A binder which binds an identifier purescript)A binder which matches a data constructor purescriptmA operator alias binder. During the rebracketing phase of desugaring, this data constructor will be removed. purescriptqBinary operator application. During the rebracketing phase of desugaring, this data constructor will be removed. purescriptjExplicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.zNote: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching. purescript/A binder which binds its input to an identifier purescript)A binder with source position information purescriptA binder with a type annotation  purescript8Collect all names introduced in binders in an expression     Safe"#%,.4567>@AHPSX_g8Z[\]^_`a-None"#%,.4567>@AHPSX_gwb purescript>A module is just a list of elements of the types listed above.c purescript<There are four types of module element we are interested in:R1) Require statements 2) Member declarations 3) Export lists 4) Everything else|Each is labelled with the original AST node which generated it, so that we can dump it back into the output during codegen.d purescriptAn export is either a "regular export", which exports a name from the regular module we are in, or a reexport of a declaration in the corresponding foreign module.WRegular exports are labelled, since they might re-export an operator with another name.e purescriptyA piece of code is identified by its module and its name. These keys are used to label vertices in the dependency graph. purescript7A module is identified by its module name and its type. purescriptkModules are either "regular modules" (i.e. those generated by the PureScript compiler) or foreign modules. purescriptThe type of error messages. We separate generation and rendering of errors using a data type, in case we need to match on error types later. purescriptXGiven a filename, assuming it is in the correct place on disk, infer a ModuleIdentifier. purescript3Prepare an error message for consumption by humans.f purescriptFCalculate the ModuleIdentifier which a require(...) statement imports.g purescriptOCompute the dependencies of all elements in a module, and add them to the tree.YMembers and exports can have dependencies. A dependency is of one of the following forms: 1) module.name or member["name"]where module was imported usingvar module = require( Module.Name);2) nameAwhere name is the name of a member defined in the current module.h purescript1Attempt to create a Module from a JavaScript AST.xEach type of module element is matched using pattern guards, and everything else is bundled into the Other constructor.i purescript=Eliminate unused code based on the specified entry point set.j purescriptzTopologically sort the module dependency graph, so that when we generate code, modules can be defined in the right order.k purescriptA module is empty if it contains no exported members (in other words, if the only things left after dead code elimination are module imports and "other" foreign code).<If a module is empty, we don't want to generate code for it.l purescript?Generate code for a set of modules, including a call to main().8Modules get defined on the global PS object, as follows:>var PS = { }; (function(exports) { ... })(PS[ Module.Name] = PS[ Module.Name ] || {});UIn particular, a module and its foreign imports share the same namespace inside PS. This saves us from having to generate unique names for a module and its foreign imports, and is safe since a module shares a namespace with its foreign imports in PureScript as well (so there is no way to have overlaps in code generated by the compiler). purescriptThe bundling function. This function performs dead code elimination, filters empty modules and generates and prints the final JavaScript bundle.  purescriptThe bundling function. This function performs dead code elimination, filters empty modules and generates and prints the final JavaScript bundle.l purescript main module purescript namespace purescript input modules purescriptoutput filename purescriptPThe input modules. Each module should be javascript rendered from the compiler. purescriptWEntry points. These module identifiers are used as the roots for dead-code elimination purescriptAn optional main module. purescriptThe namespace (e.g. PS). purescriptJThe output file name (if there is one - in which case generate source map)  purescriptPThe input modules. Each module should be javascript rendered from the compiler. purescriptWEntry points. These module identifiers are used as the roots for dead-code elimination purescriptAn optional main module. purescriptThe namespace (e.g. PS).  .None"#%,.45679>@AHPSX_gBk5 purescript"A statement in a do-notation block6 purescript A monadic value without a binder7 purescriptA monadic value with a binder8 purescript0A let statement, i.e. a pure value with a binder9 purescript6A do notation element with source position information: purescript"An alternative in a case statement< purescript6A collection of binders with which to match the inputs= purescript9The result expression or a collect of guarded expressions> purescript2Metadata that tells where a let binding originated? purescript-The let binding was originally a where clause@ purescript(The let binding was always a let bindingA purescript#Data type for expressions and termsB purescriptA literal valueC purescriptA prefix -, will be desugaredD purescriptqBinary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.E purescriptjExplicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.zNote: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.F purescript-An record property accessor expression (e.g. `obj.x` or `_.x`z). Anonymous arguments will be removed during desugaring and expanded into a lambda that reads a property from a record.G purescriptPartial record updateH purescript_Object updates with nested support: `x { foo { bar = e } }` Replaced during desugaring into a Q and nested GsI purescriptFunction introductionJ purescriptFunction applicationK purescriptVariableL purescript`An operator. This will be desugared into a function during the "operators" phase of desugaring.M purescript%Conditional (if-then-else expression)N purescriptA data constructorO purescriptA 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.P purescriptA value with a type annotationQ purescript A let bindingR purescriptA do-notation blockS purescriptAn ado-notation blockT purescript\An application of a typeclass dictionary constructor. The value should be an ObjectLiteral.U purescriptA 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.V purescript`A typeclass dictionary accessor, the implementation is left unspecified until CoreFn desugaring.W purescripteA placeholder for a superclass dictionary to be turned into a TypeClassDictionary during typecheckingX purescript0A placeholder for an anonymous function argumentY purescriptFA typed hole that will be turned into a hint/error during typecheckingZ purescript(A value with source position information[ purescriptLThe right hand side of a binder in value declarations and case expressions.] purescriptSA guard is just a boolean-valued expression that appears alongside a set of binders` purescript0The members of a type class instance declarationa purescriptThis is a derived instanceb purescript*This is an instance derived from a newtypec purescriptnThis is an instance derived from a newtype, desugared to include a dictionary for the type under the newtype.d purescript%This is a regular (explicit) instancei purescriptThe data type of declarationsj purescriptMA data type declaration (data or newtype, name, arguments, data constructors)k purescript:A minimal mutually recursive set of data type declarationsl purescript2A type synonym declaration (name, arguments, type)m purescript)A type declaration for a value (name, ty)n purescriptDA value declaration (name, top-level binders, optional guard, value)o purescript_A declaration paired with pattern matching in let-in expression (binder, optional guard, value)p purescript6A minimal mutually recursive set of value declarationsq purescript)A foreign import declaration (name, type)r purescript'A data type foreign import (name, kind)s purescriptA foreign kind import (name)t purescriptA fixity declarationu purescript'A module import (module name, qualified unqualified%hiding, optional "qualified as" name)v purescriptGA type class declaration (name, argument, implies, member declarations)w purescriptA type instance declaration (instance chain, chain index, name, dependencies, class name, instance types, member declarations)x purescriptmA 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.{ purescriptThe declared value's name| purescript-Whether or not this value is exported/visible purescript7A 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. purescript8The data type which specifies type of import declaration purescript,An import with no explicit list: `import M`. purescriptIAn import with an explicit list of references to import: `import M (foo)` purescriptDAn import with a list of references to hide: `import M hiding (foo)` purescript0An item in a list of explicit imports or exports purescript)A type constructor with data constructors purescriptA type operator purescriptA value purescriptA value-level operator purescript A type class purescript]A type class instance, created during typeclass desugaring (name, class name, instance types) purescriptA module, in its entirety purescript A named kind purescriptgA value re-exported from another module. These will be inserted during elaboration in name desugaring. purescriptA 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. purescriptCategories of hints purescriptGError message hints, providing more detailed information about failure. purescriptA type of error messages purescript@constructor name, expected argument count, actual argument count! purescriptIinstance name, type class, expected argument count, actual argument count" purescript:a user-defined warning raised by using the Warn type class# purescriptBa declaration couldn't be used because it contained free variables' purescriptCHolds the data necessary to do type directed search for typed holes( purescriptEAn Environment captured for later consumption by type directed search) purescriptPResults of applying type directed search to the previously captured Environment* purescript8The identifiers that fully satisfy the subsumption check+ purescriptIRecord fields that are available on the first argument to the typed hole, purescript&A map of locally-bound names in scope.3 purescriptReturn a module's name.4 purescriptReturn a module's source span.5 purescriptReturn a module's declarations.6 purescriptSAdd an import declaration for a module if it does not already explicitly import it.fWill not import an unqualified module if that module has already been imported qualified. (See #2197)7 purescriptmAdds import declarations to a module for an implicit Prim import and Prim | qualified as Prim, as necessary.J purescript A traversal for TypeInstanceBodyN purescript,Test if a declaration is a value declarationO purescript@Test if a declaration is a data type or type synonym declarationP purescript(Test if a declaration is a module importQ purescript3Test if a declaration is a data type foreign importR purescript.Test if a declaration is a foreign kind importS purescript-Test if a declaration is a fixity declarationU purescript)Test if a declaration is a foreign importV purescript:Test if a declaration is a type class instance declarationW purescript1Test if a declaration is a type class declarationX purescriptCRecursively flatten data binding groups in the list of declarations--./0213459876:;=<>@?AZYXWVUTSRPHEDCQOIGFMLJNKB[\]^_`dcabefghiwvtsrqpolkjnmuxy~}|{z&%$#"!      ')(+*,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX-,')(+*12&%$#"!      3456789:;<=>?@ABCDEFxy~}|{zGH0iwvtsrqpolkjnmughef/.`dcabIJKLMNOPQRSTUVWX]^_[\-AZYXWVUTSRPHEDCQOIGFMLJNKB>@?:;=<5987634021-.//None"#%,.4567>@AHPSX_g purescript=Map a function over type annotations appearing inside a value0None"#%,.4567>@AHPSX_g$: purescriptReturn 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 T. 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.m purescriptFilter out all data constructors from a declaration which are not exported. If the supplied declaration is not a data declaration, this function returns it unchanged.n purescriptFilter out all the type instances from a list of declarations which reference a type or type class which is both local and not exported.Note that this function assumes that the module has already had its imports desugared using "Language.PureScript.Sugar.Names.desugarImports". It will produce incorrect results if this is not the case - for example, type class instances will be incorrectly removed in some cases.o purescriptLGet all type and type class names referenced by a type instance declaration. purescriptTest 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.p purescript_Test if a data constructor for a given type is exported, given a module's export list. Prefer " to this function, where possible.q purescriptNReorder declarations based on the order they appear in the given export list.None"#%,.4567>@AHPSX_g% t0143256789:;<=>?@ABCDEFWXY\Z[]^_  -./0123456789:;<=>?@ABKNJLMFGIOQCDEHPRSTUVWXYZ[\]_^`bacdefghiumnjklopqrstvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX1None"#%,.4567>@AHPSX_g- purescriptReplace every BoundValueDeclaration in Let expressions with Case expressions.r purescriptDesugar a single let expression2None"#%,.4567>@AHMPSX_g9  purescript)String with length and source-map entries purescriptWrap a string in parentheses purescript+Generalize intercalate slightly for monoids purescript)Number of characters per identation level purescript)Pretty print with a new indentation level purescript!Get the current indentation level purescriptPrint many lines purescriptRPlace a box before another, vertically when the first box takes up multiple lines. purescript*Place a Box on the bottom right of another purescriptMake a monoid where append consists of concatenating the string part, adding the lengths appropriately and advancing source mappings on the right hand side to account for the length of the left.3None"#%,.4567>@AHPSX_g<] purescript4Generate a pretty-printed string representing a Kind4None"#%,.4567>@AHPSX_gCs purescript3Generate a pretty-printed string representing a Row purescript\Generate a pretty-printed string representing a Type, as it should appear inside parentheses purescript0Generate a pretty-printed string representing a  purescript0Generate a pretty-printed string representing a ( using unicode symbols where applicable purescript:Generate a pretty-printed string representing a suggested 5None"#%,.4567>@AHPSX_gI4t purescript5Render an aligned list of items separated with commas purescriptPretty-print an expressionu purescriptCPretty-print an atomic expression, adding parentheses if necessary. purescript6Generate a pretty-printed string representing a BinderNone"#%,.4567>@AHPSX_gJ""/"/6None"#%,.4567>@AHPSX_gb! purescript8A type or value declaration appearing in an externs file purescriptA type declaration purescriptA type synonym purescriptA data construtor purescriptA value declaration purescriptA type class declaration purescriptAn instance declaration purescriptA kind declaration  purescript,A type fixity declaration in an externs file  purescript!The associativity of the operator  purescript$The precedence level of the operator  purescriptThe operator symbol  purescript&The value the operator is an alias for  purescript'A fixity declaration in an externs file  purescript!The associativity of the operator  purescript$The precedence level of the operator  purescriptThe operator symbol  purescript&The value the operator is an alias for  purescript"A module import in an externs file " purescriptThe imported module # purescript-The import type: regular, qualified or hiding $ purescript+The imported-as name, for qualified imports % purescript4The data which will be serialized to an externs file ' purescriptThe externs version ( purescript Module name ) purescriptList of module exports * purescriptList of module imports + purescript$List of operators and their fixities , purescript)List of type operators and their fixities - purescript"List of type and value declaration . purescriptSource span for error reporting / purescript*Convert an externs file back into a module 0 purescript9Generate an externs file for all declarations in a module?                           ! " # $ % & ' ( ) * + , - . / 0 >? % & ' ( ) * + , - . ! " # $                           0 / >7None"#$%,.4567>@AHMPSX_gb( A purescript r Options C purescript$Color code with this color... or not D purescript"Should write a full error message? E purescript)Should this report an error or a warning? F purescript/Should show a link to error message's doc page? G purescript)FilePath to which the errors are relative H purescriptHow critical the issue is K purescriptLA map from rigid type variable name/unknown variable pairs to new variables. M purescriptGa map from skolems to their new names, including source and naming info N purescript3a map from unification variables to their new names O purescriptunknowns and skolems share a source of names during renaming, to avoid overlaps in error messages. This is the next label for either case. P purescriptA stack trace for an error U purescript Get the source span for an error V purescript Get the module name for an error X purescript3Remove the module name and span hints from an error Y purescript.Get the error code for a particular error type Z purescript5Check whether a collection of errors is empty or not. [ purescript6Create an error set from a single simple error message \ purescriptLCreate an error set from a single simple error message and source annotation ] purescriptMCreate an error set from a single simple error message and source annotations ^ purescriptMCreate an error from multiple (possibly empty) source spans, reversed sorted. _ purescript/Create an error set from a single error message ` purescript?Lift a function on ErrorMessage to a function on MultipleErrors a purescriptAdd a hint to an error message b purescriptAdd hints to an error message d purescript1Extract nested error messages from wrapper errors p purescript)Default color intesity and color for code q purescriptDefault options for PPEOptions r purescript5Pretty print a single error, simplifying if necessary v purescriptPretty print multiple errors w purescriptPretty print multiple warnings x purescriptPretty print warnings as a Box y purescriptPretty print errors as a Box { purescript)Pretty print a Parsec ParseError as a Box | purescript Pretty print  ParseError detail messages. Adapted from . See  Hhttps://github.com/aslatter/parsec/blob/v3.1.9/Text/Parsec/Error.hs#L173. } purescript/Indent to the right, and pad on top and bottom.  purescriptJRethrow an error with a more detailed error message in the case of failure  purescript1Rethrow an error with source position information  purescriptuRuns a computation listening for warnings and then escalating any warnings that match the predicate to error status.  purescriptCollect errors in in parallel0143256789:;<=>?@ABCDEFWXY\Z[]^_  -./0123456789:;<=>?@ABKNJLMFGIOQCDEHPRSTUVWXYZ[\]_^`bacdefghiumnjklopqrstvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~  M A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~  8None"#%&',.4567=>?@AHPSX_g(  purescriptUnification variables  purescript State required for type checking  purescript The current  Environment  purescript"The next type unification variable  purescript"The next kind unification variable  purescriptThe next skolem variable  purescriptThe next skolem scope constant  purescriptThe current module  purescriptThe current substitution  purescriptOThe current error message hint stack. This goes into state, rather than using  R, since this way, we can provide good error messages during instance resolution.  purescript:A substitution of unification variables for types or kinds  purescriptType substitution  purescriptKind substitution  purescriptAn empty substitution  purescriptCreate an empty  CheckState  purescript0Temporarily bind a collection of names to values  purescript/Temporarily bind a collection of names to types  purescript/Temporarily bind a collection of names to types  purescriptThese hints are added at the front, so the most nested hint occurs at the front, but the simplifier assumes the reverse order.  purescriptBTemporarily make a collection of type class dictionaries available  purescript:Get the currently available map of type class dictionaries  purescript+Lookup type class dictionaries in a module.  purescript+Lookup type class dictionaries in a module.  purescript9Temporarily bind a collection of names to local variables  purescript>Temporarily bind a collection of names to local type variables  purescript-Update the visibility of all names to Defined  purescriptQUpdate the visibility of all names to Defined in the scope of the provided action  purescript6Perform an action while preserving the names from the  Environment.  purescript*Lookup the type of a value by name in the  Environment  purescript0Lookup the visibility of a value by name in the  Environment  purescriptAssert that a name is visible  purescript)Lookup the kind of a type by name in the  Environment  purescriptGet the current  Environment  purescript?Get locally-bound names in context, to create an error message.  purescript Update the  Environment  purescript Modify the  Environment  purescriptDRun a computation in the typechecking monad, starting with an empty  Environment  purescripttRun a computation in the typechecking monad, failing with an error, or succeeding with a return value and the final  Environment.  purescript0Make an assertion, failing with an error message  purescriptbRun a computation in the substitution monad, generating a return value and the final substitution.1 1 9None"#%&',.4567>@AHPSX_g  purescriptNType synonym information (arguments with kinds, aliased type), indexed by name  purescript#Replace fully applied type synonyms  purescript>Replace fully applied type synonyms by explicitly providing a  .  :None"#%,.4567>@AHPSX_gn  purescriptGenerate a new skolem constant  purescript5Introduce skolem scope at every occurence of a ForAll  purescriptGenerate a new skolem scope  purescriptPSkolemize a type variable by replacing its instances with fresh skolem constants  purescriptMThis function skolemizes type variables appearing in any type signatures or Wo placeholders. These type variables are the only places where scoped type variables can appear in expressions.  purescript1Ensure skolem variables do not escape their scope(Every skolem variable is created when a c type is skolemized. This determines the scope of that skolem variable, which is copied from the   field of the  constructor.<This function traverses the tree top-down, and collects any  s introduced by s. If a  is encountered whose  L is not in the current list, then we have found an escaped skolem variable.  ;None"#%,.4567=>?@AHPSX_g&  purescriptGenerate a fresh type variable  purescript2Update the substitution to solve a type constraint  purescriptApply a substitution to a typev purescript2Make sure that an unknown does not occur in a type  purescript2Compute a list of all unknowns appearing in a type  purescript2Unify two types, updating the current substitution  purescript9Align 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 rightINote: importantly, we preserve the order of the types with a given label.  purescript1Unify two rows, updating the current substitutionCommon labels are identified and unified. Remaining labels and types are unified with a trailing row unification variable, if appropriate.  purescript>Replace a single type variable with a new unification variable  purescript$Replace type wildcards with unknowns  purescriptJReplace outermost unsolved unification variables with named type variables <None"#%&',.4567>@AHPSVX_grw purescript5This type family tracks what evidence we return from   for each mode.x purescript%Value-level proxies for the two modesy purescript%Subsumption can operate in two modes:CElaboration mode, in which we try to insert type class dictionaries;No-elaboration mode, in which we do not insert dictionariesVSome subsumption rules apply in both modes, and others are specific to certain modes.The subsumption algorithm follows the structure of the types in question, and we can switch into no-elaboration mode when we move under a type constructor where we can no longer insert dictionaries, e.g. into the fields of a record.z purescript#The default coercion for each mode.  purescriptYCheck that one type subsumes another, rethrowing errors to provide a better error message{ purescript$Check that one type subsumes another  =None"#%,.4567=>?@AHPSX_g | purescriptGenerate a fresh kind variable} purescript2Update the substitution to solve a kind constraint~ purescriptApply a substitution to a kind purescript2Make sure that an unknown does not occur in a kind purescriptUnify two kinds  purescriptInfer the kind of a single type  purescriptQInfer the kind of a single type, returning the kinds of any scoped type variables  purescripttInfer the kind of a type constructor with a collection of arguments and a collection of associated data constructors  purescriptNSimultaneously infer the kinds of several mutually recursive type constructors purescript^Solve the set of kind constraints associated with the data constructors for a type constructor purescript7Default all unknown kinds to the kindType kind of types purescriptInfer a kind for a type  >None"#$%,.4567>@AHPSX_g  purescript!Options for the constraint solver  purescriptEShould the solver be allowed to generalize over unsolved constraints?  purescriptEShould the solver be allowed to defer errors by skipping constraints? purescriptQThree options for how we can handle a constraint, depending on the mode we're in. purescriptWe solved this constraint purescriptCWe couldn't solve this constraint right now, it will be generalized purescriptDWe couldn't solve this constraint right now, so it has been deferred purescriptGA type substitution which makes an instance head match a list of types.Note: we store many types per type variable name. For any name, all types should unify if we are going to commit to an instance.  purescriptThe  1 tracks those constraints which can be satisfied. purescript=Description of a type class dictionary with instance evidence purescriptFDescribes what sort of dictionary to generate for type class instances purescriptAn existing named instance purescript3Warn type class with a user-defined warning message purescript2The IsSymbol type class for a given Symbol literal purescript)For any solved type class with no members purescript*Extract the identifier of a named instance  purescriptPReplace type class dictionary placeholders with inferred type class dictionaries  purescriptCheck that the current set of type class dictionaries entail the specified type class goal, and, if so, return a type class dictionary reference.  purescriptiAdd a dictionary for the constraint to the scope, and dictionaries for all implied superclass instances. purescript5Check all pairs of values in a list match a predicate purescript4Check any pair of values in a list match a predicate  purescriptSolver options purescriptThe constraint to solve purescript-The contexts in which to solve the constraint purescript3Error message hints to apply to any instance errors  ?None"#%,.4567>@AHPSX_g's purescript)Additional constraints we need to satisfy purescriptGThe Environment which contains the relevant definitions and typeclasses purescriptThe typechecker state purescriptThe user supplied type purescript$The type supplied by the environment purescriptK(all accessors we found, all accessors we found that match the result type)  purescript)Additional constraints we need to satisfy purescriptGThe Environment which contains the relevant definitions and typeclasses purescriptThe typechecker state purescriptThe type we are looking for  @None"#$%,.4567>@AHPSX_g_ purescripteA binding group contains multiple value definitions, some of which are typed and some which are not.HThis structure breaks down a binding group into typed and untyped parts. purescriptThe untyped expressions purescript8The typed expressions, along with their type annotations purescriptA map containing all expressions and their assigned types (which might be fresh unification variables). These will be added to the ? after the binding group is checked, so the value type of the Map. is chosen to be compatible with the type of  . purescript&The result of a successful type check. purescript1Convert an type checked value into an expression.  purescriptInfer the types of multiple mutually-recursive values, and return elaborated values including type class dictionaries and type annotations. purescript This function breaks a binding group down into two sets of declarations: those which contain type annotations, and those which don't. This function also generates fresh unification variables for the types of declarations without type annotations, returned in the  UntypedData structure. purescript>Check the type annotation of a typed value in a binding group. purescriptFInfer a type for a value in a binding group which lacks an annotation. purescript9Check the kind of a type, failing if it is not of kind *. purescriptyRemove any ForAlls and ConstrainedType constructors in a type by introducing new unknowns or TypeClassDictionary values.iThis is necessary during type checking to avoid unifying a polymorphic type with a unification variable. purescriptUInfer a type for a value, rethrowing any error to provide a more useful error message purescriptInfer a type for a value purescript;Infer the types of variables brought into scope by a binder purescriptReturns true if a binder requires its argument type to be a monotype. | If this is the case, we need to instantiate any polymorphic types before checking binders. purescript9Instantiate polytypes only when necessitated by a binder. purescriptLCheck the types of the return values in a set of binders in a case statement purescriptNCheck the type of a value, rethrowing errors to provide a better error message purescriptCheck the type of a value purescript5Check the type of a collection of named record fieldsThe laxt parameter controls whether or not every record member has to be provided. For object updates, this is not the case. purescript^Check the type of a function application, rethrowing errors to provide a better error message.!This judgment takes three inputs:.The expression of the function we are applyingThe type of that function$The expression we are applying it toand synthesizes two outputs:The return typewThe elaborated expression for the function application (since we might need to insert type class dictionaries, etc.) purescript(Check the type of a function application purescriptJEnsure a set of property names and value does not contain duplicate labels purescriptYThe identifier we are trying to define, along with the expression and its type annotation purescript.Names brought into scope in this binding group purescriptThe identifier we are trying to define, along with the expression and its assigned type (at this point, this should be a unification variable) purescript.Names brought into scope in this binding group purescriptThe function expression purescriptThe type of the function purescriptThe argument expression purescript(The result type, and the elaborated term  ANone"#%,.4567>@AHPSX_gb  purescriptIReplace all top level type declarations in a module with type annotations  BNone"#%,.4567>@AHPSX_gb CNone"#%,.4567>@AHPSX_gd  DNone"#%,.4567>@AHPSX_gd  ENone"#%,.4567>@AHPSX_ge  FNone"#%,.4567>@AHPSX_gu> purescriptAn operator associated with its declaration position, fixity, and the name of the function or data constructor it is an alias for.  purescriptARemoves unary negation operators and replaces them with calls to .  purescriptERemove explicit parentheses and reorder binary operator applications.LThis pass requires name desugaring and export elaboration to have run first.  purescript A version of  . which allows you to choose which declarations should be affected. This is used in docs generation, where we want to desugar type operators in instance declarations to ensure that instances are paired up with their types correctly, but we don't want to desugar type operators in value declarations.  purescriptChecks all the fixity exports within a module to ensure that members aliased by the operators are also exported from the module.LThis pass requires name desugaring and export elaboration to have run first.        GNone"#%,.4567>@AHPSX_gv4    HNone"#%,.4567>@AHPSX_g.  purescriptWhen updating the   the behaviour is slightly different depending on whether we are exporting values defined within the module or elaborating re-exported values. This type is used to indicate which behaviour should be used.  purescript9The imports and exports for a collection of modules. The 0 is used to store the source location of the module with a given name, used to provide useful information when there is a duplicate module definition.  purescript(The exported declarations from a module.  purescriptCThe exported types along with the module they originally came from.  purescriptMThe exported type operators along with the module they originally came from.  purescriptEThe exported classes along with the module they originally came from.  purescriptDThe exported values along with the module they originally came from.  purescriptNThe exported value operators along with the module they originally came from.  purescriptCThe exported kinds along with the module they originally came from.  purescriptKThe imported declarations for a module, including the module's own members.  purescriptELocal names for types within a module mapped to their qualified names  purescriptNLocal names for type operators within a module mapped to their qualified names  purescriptQLocal names for data constructors within a module mapped to their qualified names  purescriptGLocal names for classes within a module mapped to their qualified names  purescriptFLocal names for values within a module mapped to their qualified names  purescriptOLocal names for value operators within a module mapped to their qualified names  purescriptzThe name of modules that have been imported into the current scope that can be re-exported. If a module is imported with as qualification, the as0 name appears here, otherwise the original name.  purescript<The "as" names of modules that have been imported qualified.  purescriptELocal names for kinds within a module mapped to their qualified names  purescriptUsed to track how an import was introduced into scope. This allows us to handle the one-open-import special case that allows a name conflict to become a warning rather than being an unresolvable situation. $ purescriptJThe details for an import: the name of the thing that is being imported ( if importing from Az), the module that the thing was originally defined in (for re-export resolution), and the import provenance (see below). + purescript An empty   value. , purescript Extracts the 0 from an   value. - purescript Extracts the   from an   value. . purescript Extracts the   from an   value. / purescriptThe exported types from the Prim module purescriptThe exported types from the  Prim.Boolean module purescriptThe exported types from the  Prim.Ordering module purescriptThe exported types from the Prim.Row module purescriptThe exported types from the  Prim.RowList module purescriptThe exported types from the  Prim.Symbol module purescriptThe exported types from the Prim.TypeError module purescript*Create a set of exports for a Prim module. 0 purescript1Environment which only contains the Prim modules. 1 purescriptgSafely adds a type and its data constructors to some exports, returning an error if a conflict occurs. 2 purescriptVSafely adds a type operator to some exports, returning an error if a conflict occurs. 3 purescriptMSafely adds a class to some exports, returning an error if a conflict occurs. 4 purescriptMSafely adds a value to some exports, returning an error if a conflict occurs. 5 purescriptWSafely adds a value operator to some exports, returning an error if a conflict occurs. 6 purescriptLSafely adds a kind to some exports, returning an error if a conflict occurs. purescripteAdds an entry to a list of exports unless it is already present, in which case an error is returned. purescriptIRaises an error for when there is more than one definition for something. purescriptDRaises an error for when there are conflicting names in the exports. purescriptRaises an error for when there are conflicting names in the exports. Allows different categories of names. E.g. class and type names conflicting. 7 purescriptMGets the exports for a module, or raise an error if the module doesn't exist. 8 purescriptSWhen reading a value from the imports, check that there are no conflicts in scope.1                    # ! " $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 81 $ % & ' ( )  # ! "            *       + 0 / , - .  1 2 3 4 5 6 7 8INone"#%,.4567>@AHPSX_g D purescript|Finds the imports within a module, mapping the imported module name to an optional set of explicitly imported declarations. E purescript)Constructs a set of imports for a module. F purescript7Constructs a set of imports for a single module import. purescriptTExtends the local environment for a module by resolving an import of another module. C D E F C E F DJNone"#%,.4567>@AHPSX_g G purescript;Warns about duplicate values in a list of declaration refs. G GKNone"#%,.4567>@AHPSX_g˽ H purescriptLFinds all exportable members of a module, disregarding any explicit exports. I purescriptResolves the exports for a module, filtering out members that have not been exported and elaborating re-exports of other modules. purescript~Filters the full list of exportable values, types, and classes for a module based on a list of export declaration references. H I H ILNone"#%,.4567>@AHPSX_g, J purescript Replace all DoNotationBind and DoNotationValueH constructors with applications of the bind function in scope, and all  DoNotationLet$ constructors with let expressions. purescriptDesugar a single do statement J JMNone"#%,.4567>@AHPSX_g K purescript@Replace all top-level binders in a module with case expressions. purescript]Desugar case with pattern guards and pattern clauses to a series of nested case expressions. purescript2Validates that case head and binder lengths match. M purescript4Replace all top-level binders with case expressions. K L M M K LNNone"#%,.4567>@AHPSX_g N purescriptAdd type synonym declarations for type class dictionary types, and value declarations for type class instance dictionary expressions. N O P N O PONone"#%,.4567>@AHPSX_gߴ Q purescriptSReplace all sets of mutually-recursive declarations in a module with binding groups R purescriptBCollapse all binding groups in a module to individual declarations T purescript6Collapse all binding groups to individual declarations purescriptoConvert a group of mutually-recursive dependencies into a BindingGroupDeclaration (or simple ValueDeclaration). Q R S T S Q T RPNone"#%,.4567>@AHPSX_go U purescript Replace all AdoNotationBind and AdoNotationValueS constructors with applications of the pure and apply functions in scope, and all AdoNotationLet$ constructors with let expressions. purescriptDesugar a single ado statement U UQNone"#%,.4567>@AHPSX_g V purescript,A module signature for sorting dependencies. [ purescript4A list of modules with their transitive dependencies \ purescript:Sort a collection of modules based on module dependencies.6Reports an error if the module graph contains a cycle. purescriptOCalculate a list of used modules based on explicit imports and qualified names. purescriptFConvert a strongly connected component of the module graph to a module V W X Y Z [ \ ] \ [ V W X Y Z ]RNone"#%,.4567>@AHMPSVX_g ^ purescript A monad for running make actions a purescript Execute a  ^P monad, returning either errors, or the result of the compile plus any warnings. b purescriptRun an  action in the  ^; monad, by specifying how IO errors should be rendered as  values. c purescriptRead a text file in the  ^( monad, capturing any errors using the  instance. ^ _ ` a b c ^ _ ` a b cSNone"#%,.4567>@AHPSX_gF m purescriptTMap of module name to list of imported names from that module which have been used. n purescriptFind and warn on:3Unused import statements (qualified or unqualified),Unused references in an explicit import listImplicit imports of modulesoImplicit imports into a virtual module (unless the virtual module only has members from one module imported)Imports using hiding- (this is another form of implicit importing) m n n mTNone"#%,.4567>@AHPSX_g  o purescriptReplaces all local names with qualified names within a list of modules. The modules should be topologically sorted beforehand. purescriptMake all exports for a module explicit. This may still affect modules that have an exports list, as it will also make all data constructor exports explicit.The exports will appear in the same order as they do in the existing exports list, or if there is no export list, declarations are order based on their order of appearance in the module. purescriptGiven a list of declarations, an original exports list, and an elaborated exports list, reorder the elaborated list so that it matches the original order. If there is no original exports list, reorder declarations based on their order in the source file. purescriptvReplaces all local names with qualified names within a module and checks that all existing qualified names are valid."                   # ! " $ % & ' ( ) 0 o p" o p 0 $ % & ' ( )  # ! "                 UNone"#%,.4567>@AHPSX_g=  purescript8There are two modes of failure for the redundancy check: WExhaustivity was incomplete due to too many cases, so we couldn't determine redundancy.OWe didn't attempt to determine redundancy for a binder, e.g. an integer binder.+We want to warn the user in the first case. purescriptRQualifies a propername from a given qualified propername and a default module name purescriptGiven an environment and a datatype or newtype name, this function returns the associated data constructors if it is the case of a datatype where: - ProperName is the name of the constructor (for example, NothingN in Maybe) - [Type] is the list of arguments, if it has (for example, Just has [TypeVar "a"]) purescriptReplicates a wildcard binder purescriptBApplies a function over two lists of tuples that may lack elements purescriptFind the uncovered set between two binders: the first binder is the case we are trying to cover, the second one is the matching binder purescriptReturns the uncovered set of binders the first argument is the list of uncovered binders at step i the second argument is the (i+1)th clause of a pattern matching definitionZThe idea of the algorithm is as follows: it processes each binder of the two lists (say, x and yU) one by one at each step two cases arises: - there are no missing cases between x and y: this is very straightforward, it continues with the remaining cases but keeps the uncovered binder in its position. - there are missing cases, let us call it the set U5: on the one hand, we mix each new uncovered case in U with the current tail of uncovered set. On the other hand, it continues with the remaining cases: here we can use x. (but it will generate overlapping cases), or y,, which will generate non-overlapping cases.As an example, consider:wdata N = Z | S N f Z Z = Z --> {[S _, _], [Z, S _]} which are the right non-overlapping cases (GHC uses this). if we use x instead of y (in this case, y stands for Z and x for `_`i) we obtain: f Z Z = Z --> {[S _, _], [_, S _]} you can see that both cases overlaps each other. Up to now, we've decided to use x~ just because we expect to generate uncovered cases which might be redundant or not, but uncovered at least. If we use y instead, we'll need to have a redundancy checker (which ought to be available soon), or increase the complexity of the algorithm. purescriptGuard handling+We say a guard is exhaustive iff it has an  (or truep) expression. Example: f x | x < 0 = 0 | otherwise = 1 is exhaustive, whereas `f x | x < 0` is not;or in case of a pattern guard if the pattern is exhaustive.5The function below say whether or not a guard has an # expression It is considered that  is defined in Prelude purescript.Returns the uncovered set of case alternatives purescripteMain exhaustivity checking function Starting with the set `uncovered = { _ }` (nothing covered, one `_` for each function argument), it partitions that set with the new uncovered cases, until it consumes the whole set of clauses. Then, returns the uncovered set of case alternatives. q purescriptExhaustivity checking q qVNone"#%,.4567>@AHPSX_g? r purescriptTLint the PureScript AST. | | Right now, this pass only performs a shadowing check. m n q r rWNone"#%,.4567=>?@AHPSX_gJ  purescript4Check that type synonyms are fully-applied in a type purescript'Type check all declarations in a moduleWAt this point, many declarations will have been desugared, but it is still necessary to)Kind-check all types and add them to the  Environment*Type-check all values and add them to the  Environment%Bring type class instances into scopeProcess module imports t purescriptType check an entire module and ensure all types and classes defined within the module that are required by exported members are also exported. purescriptindex of type class argument? s t t sXNone"#%,.4567>@AHPSX_g[ purescriptWhen deriving an instance for a newtype, we must ensure that all superclass instances were derived in the same way. This data structure is used to ensure this property. purescript~A list of superclass constraints for each type class. Since type classes have not been desugared here, we need to track this. purescript>A list of newtype instances which were derived in this module. purescriptcExtract the name of the newtype appearing in the last type argument of a derived newtype instance.Note: since newtypes in newtype instances can only be applied to type arguments (no flexible instances allowed), we don't need to bother with unification when looking for matching superclass instances, which saves us a lot of work. Instead, we just match the newtype name. u purescript=Elaborates deriving instance declarations by code generation. purescriptTakes a declaration, and if the declaration is a deriving TypeInstanceDeclaration, elaborates that into an instance declaration via code generation. u uYNone"#%,.4567>@AHPSX_ge y purescript,The desugaring pipeline proceeds as follows: $Remove signed literals in favour of negate applications3Desugar object literals with wildcards into lambdasDesugar operator sectionsDesugar do-notationDesugar ado-notationBDesugar top-level case declarations into explicit case expressionsPDesugar type declarations into value declarations with explicit type annotations'Qualify any unqualified names and types'Rebracket user-defined binary operators3Introduce type synonyms for type class dictionariesIGroup mutually recursive value and data declarations into binding groups.8                         # ! " $ % & ' ( ) 0 J K L M N O P Q R S T U o p u y yZNone"#%,.4567>@AHMPSX_g~ { purescriptA type representing a highly simplified version of PureScript code, intended for use in output formats like plain text or HTML. | purescriptA single element in a rendered code fragment. The intention is to support multiple output formats. For example, plain text, or highlighted HTML.  purescriptAny symbol which you might or might not want to link to, in any namespace (value, type, or kind). Note that this is not related to the kind called Symbol for type-level strings.  purescriptThis type is isomorphic to  vG. It makes code a bit easier to read, as the meaning is more explicit. purescriptbGiven a list of actions, attempt them all, returning the first success. If all the actions fail,  returns the first argument. purescriptpTry the given parsers in sequence. If all fail, fail with the given message, and include the JSON in the error.  purescript Convert a  v to a  !, using the obvious isomorphism.  purescript Convert a   to a  v!, using the obvious isomorphism.  purescript A version of  fromMaybe for   values.  purescript%This function allows conversion of a  { value into a value of some other type (for example, plain text, or HTML). The first argument is a function specifying how each individual  | should be rendered.  purescriptA  { fragment representing a space.  purescript$Wrap a RenderedCode value in parens. purescriptoConverts a FixityAlias into a different representation which is more useful to other functions in this module./ z { | }  ~ / | }  ~ z { [None"#%,.4567>@AHPSX_g3  purescript/Generate RenderedCode value representing a Kind  \None"#%,.4567>@AHPSX_g  purescriptRender code representing a Row  purescriptRender code representing a Type  purescriptGRender code representing a Type, as it should appear inside parentheses  None"#%,.4567>@AHPSX_g5 z { | }  ~ ]None"#%,.4567>@AHPSX_g  purescript/A link to a declaration in the current package.  purescriptA link to a declaration in a different package. The arguments represent the name of the other package, the version of the other package, and the name of the module in the other package that the declaration is in.  purescriptA link to a declaration that is built in to the compiler, e.g. the Prim module. In this case we only need to store the module that the builtin comes from. Note that all builtin modules begin with PrimS, and that the compiler rejects attempts to define modules whose names start with Prim.  purescript`Minimum allowable version for generating data with the current parser, and actual version used.  purescript@A type instance declaration, with its dependencies and its type.  purescript,A data constructor, with its type arguments.  purescriptA type class member, with its type. Note that the type does not include the type class constraint; this may be added manually if desired. For example,  from  would be `forall a. a -> f a`.  purescriptA value of this type contains information that is specific to a particular kind of declaration (as opposed to information which exists in all kinds of declarations, which goes into the   type directly).Many of the constructors are very similar to their equivalents in the real PureScript AST, except that they have their name elided, since this is already available via the rdTitle field of  .  purescript#A value declaration, with its type.  purescriptA data/newtype declaration, with the kind of declaration (data or newtype) and its type arguments. Constructors are represented as child declarations.  purescript*A data type foreign import, with its kind.  purescript5A type synonym, with its type arguments and its type.  purescriptA type class, with its type arguments, its superclasses and functional dependencies. Instances and members are represented as child declarations.  purescript[An operator alias declaration, with the member the alias is for and the operator's fixity.  purescriptA kind declaration  purescriptThe version of the PureScript compiler which was used to generate this data. We store this in order to reject packages which are too old. # purescriptThe time format used for serializing package tag times in the JSON format. This is the ISO 8601 date format which includes a time and a timezone. $ purescriptRConvenience function for formatting a time in the format expected by this module. % purescriptOConvenience function for parsing a time in the format expected by this module. / purescript>Discard any children which do not satisfy the given predicate. 7 purescriptGiven a links context, the current module name, the namespace of a thing to link to, its title, and its containing module, attempt to create a DocLink. a purescriptGiven a function for turning association list keys into JSON object keys, and a function for turning association list values to JSON string values, turns an association list into a JSON object.For example: *assocListToJSON T.pack T.pack [("a", "b")] will give  {"a": "b"}. z { | }  ~                           ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a                           ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a z { | }  ~ ^None"#%,.4567>@AHPSX_g  _None"#%,.4567>@AHPSX_g purescriptlLookup the TypeClassData of a Prim class. This function is specifically not exported because it is partial.  `None"#%,.4567>@AHPSX_g½ aNone"#%,.4567>@AHPSX_g{ purescriptESome data which will be used to augment a Declaration in the output.oThe AugmentChild constructor allows us to move all children under their respective parents. It is only necessary for type instance declarations, since they appear at the top level in the AST, and since they might need to appear as children in two places (for example, if a data type defined in a module is an instance of a type class also defined in that module). purescriptOThe data type for an intermediate stage which we go through during converting.In the first pass, we take all top level declarations in the module, and collect other information which will later be used to augment the top level declarations. These two situation correspond to the Right and Left constructors, respectively.In the second pass, we go over all of the Left values and augment the relevant declarations, leaving only the augmented Right values.qNote that in the Left case, we provide a [Text] as well as augment information. The [Text] value should be a list of titles of declarations that the augmentation should apply to. For example, for a type instance declaration, that would be any types or type classes mentioned in the instance. For a fixity declaration, it would be just the relevant operator's name. purescript%Different declarations we can augment purescript&Augment documentation for a type class purescript,Augment documentation for a type constructor  purescriptoConvert a single Module, but ignore re-exports; any re-exported types or values will not appear in the result. purescriptAugment top-level declarations; the second pass. See the comments under the type synonym IntermediateDeclaration for more information. purescript!Create a basic Declaration value.  bNone"#%,.4567>@AHPSX_g  purescriptAn intermediate data type, used for either moving type class members under their parent type classes, or promoting them to normal Declaration values if their parent type class has not been re-exported. purescriptType class members which have not yet been dealt with. The Text is the name of the type class they belong to, and the constraint is used to make sure that they have the correct type if they get promoted. purescriptA list of normal value declarations. Type class members will be added to this list if their parent type class is not available. purescriptrA list of type class declarations. Type class members will be added to their parents in this list, if they exist.  purescriptGiven:A list of externs files>A function for tagging a module with the package it comes fromiA map of modules, indexed by their names, which are assumed to not have their re-exports listed yet.This function adds all the missing re-exports. purescript@Collect all of the re-exported declarations for a single module.We require that modules have already been sorted (P.sortModules) in order to ensure that by the time we convert a particular module, all its dependencies have already been converted. purescriptAssemble a list of declarations re-exported from a particular module, based on the Imports and Exports value for that module, and by extracting the declarations from the current state.This function works by searching through the lists of exported declarations in the Exports, and looking them up in the associated Imports value to find the module they were imported from. Additionally:Attempts to move re-exported type class members under their parent type classes, if possible, or otherwise, "promote" them from ChildDeclarations to proper Declarations.]Filters data declarations to ensure that only re-exported data constructors are listed.dFilters type class declarations to ensure that only re-exported type class members are listed. purescriptExtract a particular type declaration. For data declarations, constructors are only included in the output if they are listed in the arguments. purescript{Get the full list of declarations for a particular module out of the state, or raise an internal error if it is not there. purescriptTake a TypeClassEnv and handle all of the type class members in it, either adding them to their parent classes, or promoting them to normal Declaration values.*Returns a tuple of (values, type classes). purescriptGiven a list of exported constructor names, remove any data constructor names in the provided Map of declarations which are not in the list. purescriptGiven a list of exported type class member names, remove any data type class member names in the provided Map of declarations which are not in the list. purescriptIf the provided Declaration is a TypeClassDeclaration, construct an appropriate Constraint for use with the types of its members.  cNone"#%,.4567>@AHPSX_g1  purescript/Data type for simplified JavaScript expressions  purescriptA numeric literal  purescriptA string literal  purescriptA boolean literal  purescriptA unary operator application  purescriptA binary operator application  purescriptAn array literal  purescriptAn array indexer expression  purescriptAn object literal  purescript8A function introduction (optional name, arguments, body)  purescriptFunction application  purescriptVariable  purescript A block of expressions in braces  purescript3A variable introduction and optional initialization  purescriptA variable assignment  purescript While loop  purescriptFor loop  purescript ForIn loop  purescriptIf-then-else statement  purescriptReturn statement  purescript%Return statement with no return value  purescriptThrow statement  purescriptinstanceof check  purescriptCommented JavaScript  purescriptBuilt-in binary operators  purescriptBuilt-in unary operators8   8   dNone"#%,.4567>@AHPSX_g!I  purescriptEliminate tail calls  eNone"#%,.4567>@AHPSX_g"'                fNone"#%,.4567>@AHPSX_g#U    gNone"#%,.4567>@AHPSX_g(   purescriptCInline type class dictionaries for >>= and return for the Eff monadE.g.;Prelude[">>="](dict)(m1)(function(x) { return ...; })becomes-function __do { var x = m1(); ... }  purescript!Inline functions in the ST module        hNone"#%,.4567>@AHPSX_g)     ! " # $  ! " # $   iNone"#%,.4567>@AHPSX_g+Q % purescript@Collapse blocks which appear nested directly below another block % & % &jNone"#%,.4567>@AHPSX_g-i ' purescript@Apply a series of optimizer passes to simplified JavaScript code ' 'None"#%,.4567>@AHPSX_g.GV                      ! " # $ % & 'kNone"#%,.4567>@AHPSX_g> ( purescript4Desugars a module from AST to CoreFn representation. purescriptFind module names from qualified references to values. This is used to ensure instances are imported from any module that is referenced by the current module, not just from those that are imported explicitly (#667). purescript?Desugars import declarations from AST to CoreFn representation. purescript@Desugars foreign declarations from AST to CoreFn representation. purescriptDesugars export declarations references from AST to CoreFn representation. CoreFn modules only export values, so all data constructors, class constructor, instances and values are flattened into one list. purescriptMakes a typeclass dictionary constructor function. The returned expression is a function that accepts the superclass instances and member implementations and returns a record for the instance dictionary. purescript"Converts a ProperName to an Ident. ( (None"#%,.4567>@AHPSX_g?< (lNone"#%,.4567>@AHPSX_gT+ purescript$The state object used in this module purescriptDA map from names bound (in the input) to their names (in the output) purescriptDThe set of names which have been used and are in scope in the output purescriptCRuns renaming starting with a list of idents for the initial scope. purescriptbCreates a new renaming scope using the current as a basis. Used to backtrack when leaving an Abs. purescriptqAdds a new scope entry for an ident. If the ident is already present, a new unique name is generated and stored. purescript'Finds the new name to use for an ident. purescript(Finds idents introduced by declarations. ) purescript,Renames within each declaration in a module. purescriptPRenames within a declaration. isTopLevel is used to determine whether the declaration is a module member or appearing within a Let. At the top level declarations are not renamed or added to the scope (they should already have been added), whereas in a Let declarations are renamed if their name shadows another in the current scope. purescriptRenames within a value. purescriptRenames within literals. purescript!Renames within case alternatives. purescriptRenames within binders. ) )mNone"#%,.4567>@AHPSX_gU * *nNone"#%,.4567>@AHPSX_gU + +oNone"#%,.4567>@AHPSX_gX , purescriptiGenerate code in the simplified JavaScript intermediate representation for all declarations in a module.    , ,None"#%,.4567>@AHPSX_gY    ,pNone"#%,.4567>@AHPSX_g^G - purescriptrGenerate a pretty-printed string representing a collection of JavaScript expressions at the same indentation level purescriptPGenerate an indented, pretty-printed string representing a JavaScript expression - . . -qNone"#%,.4567>@AHPSX_g_- / 0 1 2 3 4 5 6 7 8 9 3 4 5 6 7 8 9 1 2 / 0rNone"#%,.4567>@AHPSX_g`[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrsutvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLONMPQRSTUVW   !"#$%&'()*+,-./0123456<=>?@ABIJK / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A > < = ; ? @ A :<=>?@ABIJKsNone"#%,.4567>@AHPSX_g B purescriptAActions that require implementations when running in "make" mode.-This type exists to make two things abstract:;The particular backend being used (JavaScript, C++11, etc.).The details of how files are read/written etc. D purescriptTGet the timestamp for the input file(s) for a module. If there are multiple files (.purs^ and foreign files, for example) the timestamp should be for the most recently modified file. E purescripttGet the timestamp for the output files for a module. This should be the timestamp for the oldest modified file, or W2 if any of the required output files are missing. F purescript]Read the externs file for a module as a string and also return the actual path for the file. G purescriptJRun the code generator for the module and write any required output files. H purescript/Check ffi and print it in the output directory. I purescriptRespond to a progress update. J purescript#Generated code for an externs file. K purescript'Progress messages from the make process L purescript,Compilation started for the specified module M purescript#Determines when to rebuild a module N purescriptNever rebuild this module O purescriptAlways rebuild this module purescriptRender a progress message P purescriptKA set of make actions that read and write modules from the given directory. Q purescriptoCheck that the declarations in a given PureScript module match with those in its corresponding foreign module. P purescriptthe output directory purescriptQa map between module names and paths to the file containing the PureScript module purescriptWa map between module name and the file containing the foreign javascript for the module purescriptGenerate a prefix comment? B C I D E F G H J K L M N O P Q B C I D E F G H M N O J K L P QtNone"#%,.4567>@AHPSX_g3 X purescriptrThe BuildPlan tracks information about our build progress, and holds all prebuilt modules for incremental builds. Y purescriptCalled when we finished compiling a module and want to report back the compilation result, as well as any potential errors that were thrown. Z purescriptGWhether or not the module with the given ModuleName needs to be rebuilt [ purescriptwCollects errors for all modules that have been rebuilt. This will block until all outstanding build jobs are finished. \ purescriptnCollects ExternsFiles for all prebuilt as well as rebuilt modules. Panics if any build job returned an error. ] purescriptGets the the build result for a given module name independent of whether it was rebuilt or prebuilt. Prebuilt modules always return no warnings. ^ purescript2Constructs a BuildPlan for the given module graph.vThe given MakeActions are used to collect various timestamps in order to determine whether a module needs rebuilding. X Y Z [ \ ] ^ X ^ ] [ \ Y ZuNone"#%,.4567>@AHPSX_g _ purescriptConvert a single module to a Docs.Module, making use of a pre-existing type-checking environment in order to fill in any missing types. Note that re-exports will not be included. purescripttUpdates all the types of the ValueDeclarations inside the module based on their types inside the given Environment.  purescriptcPartially desugar modules so that they are suitable for extracting documentation information from. _ _vNone"#%,.4567>@AHPSX_gA ` purescriptRebuild a single module.QThis function is used for fast-rebuild workflows (PSCi and psc-ide are examples). a purescript?Compiles in "make" mode, compiling each module separately to a .js file and an  externs.json file.If timestamps have not changed, the externs file can be used to provide the module's types without having to typecheck the module again. b purescriptZInfer the module name for a module by looking for the same filename with a .js extension. ^ _ ` a b c B C I D E F G H J K L M N O P Q ` a b ` a bNone"#%,.4567>@AHPSX_g&'(0143256789:;<=>?@ABCDEFUVWXY\Z[]^_tuvwx}yz{|~ !"#$%&/      !"#$%&'()*+,-./0123456789:;<=>?@ABC  -./0123456789:;<=>?@ABKNJLMFGIOQCDEHPRSTUVWXYZ[\]_^`bacdefghiumnjklopqrstvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX                           ! " # $ % & ' ( ) * + , - . / 0 > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | ~                          # ! " $ % & ' ( ) 0 J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c m n o p q r s t u y ) B C I D E F G H J K L M N O P Q ` a b c&'(0143256789:;<=>?@ABCDEFUVWXY\Z[]^_tuvwx}yz{|~ !"#$%&/      !"#$%&'()*+,-./0123456789:;<=>?@ABC  -./0123456789:;<=>?@ABKNJLMFGIOQCDEHPRSTUVWXYZ[\]_^`bacdefghiumnjklopqrstvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX                           ! " # $ % & ' ( ) * + , - . / 0 > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | ~                          # ! " $ % & ' ( ) 0 J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c m n o p q r s t u y ) B C I D E F G H J K L M N O P Q ` a b cwNone"#%,.4567>@AHPSX_gNj j purescript6An error that probably indicates a bug in this module. p purescript*An error that should be fixed by the user.  purescriptRAn error which meant that it was not possible to retrieve metadata for a package.' d e f g h i j k l m n o p q r s t u v w x y z { | } ~  ' } ~  p q r s t u v w x y z { | j k d e f l m n o g h i xNone"#%,.4567>@AHPSX_gQ  purescriptValid Meta-commands for PSCI  purescriptA purescript expression  purescript&Show the help (ie, list of directives)  purescript"Import a module from a loaded file  purescriptBrowse a module  purescript Exit PSCI  purescript+Reload all the imported modules of the REPL  purescriptClear the state of the REPL  purescript7Add some declarations to the current evaluation context  purescriptFind the type of an expression  purescriptFind the kind of an expression  purescript5Shows information about the current state of the REPL  purescriptPaste multiple lines  purescript-Return auto-completion output as if pressing tab  purescript%Set the interactive printing function  purescriptOAll of the data that is contained by an ImportDeclaration in the AST. That is:=A module name, the name of the module which is being importedpAn ImportDeclarationType which specifies whether there is an explicit import list, a hiding list, or neither.gIf the module is imported qualified, its qualified name in the importing module. Otherwise, Nothing.  purescriptThe PSCI state.Holds a list of imported modules, loaded files, and partial let bindings, plus the currently configured interactive printing function.rThe let bindings are partial, because it makes more sense to apply the binding to the final evaluated expression.The last two fields are derived from the first three via updateImportExports each time a module is imported, a let binding is added, or the session is cleared or reloaded  purescriptThe PSCI configuration.:These configuration values do not change during execution.  purescript'The default interactive print function.  purescript1Updates the imported modules in the state record.  purescript5Updates the loaded externs files in the state record.  purescript-Updates the let bindings in the state record.  purescriptOReplaces the interactive printing function in the state record with a new one.  purescriptA list of all ReplQuery values.6 6 yNone"#%,.4567>@AHPSX_gk  purescript!List of all avaliable directives.  purescriptRA mapping of directives to the different strings that can be used to invoke them.  purescript0Like directiveStrings, but the other way around.  purescriptList of all directive strings.  purescript;Returns all possible string representations of a directive.  purescript9Returns the default string representation of a directive.  purescript~Returns the list of directives which could be expanded from the string argument, together with the string alias that matched.  purescriptThe help menu. zNone"#%,.4567>@AHPSX_gq  purescript The guide URL  purescriptThe help message.  purescriptThe welcome prologue.  purescriptThe quit message.  {None"#%,.4567>@AHPSX_g1  purescript"Pretty print a module's signatures  |None"#%,.4567>@AHPSX_g  purescript5Parses a limited set of commands from from .purs-repl  purescript<Parses PSCI metacommands or expressions input from the user.  purescript,Parses expressions entered at the PSCI repl.  purescripteImports must be handled separately from other declarations, so that :show import works, for example.  purescript[Any declaration that we don't need a 'special case' parser for (like import declarations).  }None"#%,.4567>@AHPSX_g  purescript-Loads module, function, and file completions.  purescriptCallback for Haskeline's Z. Expects: * Line contents to the left of the word, reversed * Word to be completed  purescriptIConvert Haskeline completion result to results as they would be displayed purescriptDecide what kind of completion we need based on input. This function expects a list of complete words (to the left of the cursor) as the first argument, and the current word as the second argument.  ~None"#%,.4567>@AHPSX_g      None"#%,.4567>@AHPSX_g                    # " ! 3 4   # " !                 3 4None"#%,.45679>@AHPSX_g  purescriptA name tagged with a namespace  purescriptDDenotes the different namespaces a name in PureScript can reside in.  purescript+A completion as it gets sent to the editors  purescriptIdeVolatileState is derived from the  IdeFileState@ and needs to be invalidated and refreshed carefully. It holds AstData, which is the data we extract from the parsed ASTs, as well as the IdeDeclarations, which contain lots of denormalized data, so they need to fully rebuilt whenever  IdeFileState changes. The vsCachedRebuild field can hold a rebuild result with open imports which is used to provide completions for module private declarations  purescript IdeFileStateV holds data that corresponds 1-to-1 to an entity on the filesystem. Externs correspond to the ExternsFiles the compiler emits into the output folder, and modules are parsed ASTs from source files. This means, that we can update single modules or ExternsFiles inside this state whenever the corresponding entity changes on the file system. purescriptgSourceSpans for the definition sites of values and types as well as type annotations found in a module 7 8 = < ; : 9 > ? D C B A @ E F J I H G K L O N M P Q T S R U V Y X W Z [ ^ ] \ _ ` b a c l k j i h g f e d m n o p q r s t u v w x        n m c l k j i h g f e d _ ` b a Z [ ^ ] \ U V Y X W P Q T S R K L O N M E F J I H G > ? D C B A @ 7 8 = < ; : 9 o p q r s t u v w x           None"#%,.4567>@AHPSX_g$Q??None"#%,.4567>@AHPSWX_g%7@ABC@BCANone"#%,.4567>@AHMPSX_g&5 DLMFEGHIJKN DLMFEGHIJKNNone"#%,.4567>@AHPSX_g'cSXVTUWYZSXVTUWYZNone"#%,.4567>@AHPSWX_g(]^]^None"#%,.4567>@AHPSX_g)g_`abc_c`abNone"#%,.4567>@AHPSX_g-u purescriptAAn HtmlRenderContext for when you don't want to render any links.y purescriptQRender Markdown to HTML. Safe for untrusted input. Relative links are | removed.ghijklmnopqrstuvwxypqrslmnoghijkutvwxyNone"#%,.4567>@AHPSX_g0a~ purescriptlUnfortunately ByteString's readFile does not convert line endings on Windows, so we have to do it ourselves~~None"#%,.4567>@AHPSX_g8 purescript#The name of the PSCI support module purescript'Checks if the Console module is defined purescript"Loads a file for use with imports. purescriptLoad all modules. purescript:Makes a volatile module to execute the current expression. purescriptiMakes a volatile module to hold a non-qualified type synonym for a fully-qualified data type declaration. purescript7Makes a volatile module to execute the current imports.  None"#%,.4567>@AHPSX_gNT purescriptPretty-print errors purescript&This is different than the runMake in D in that it specifies the options and ignores the warning messages. purescriptARebuild a module, using the cached externs data for dependencies. purescriptNBuild the collection of modules from scratch. This is usually done on startup. purescriptPerforms a PSCi command purescriptReload the application state purescriptClear the application state purescriptATakes a value expression and evaluates it with the current state. purescriptTakes a list of declarations and updates the environment, then run a make. If the declaration fails, restore the original environment. purescript#Show actual loaded modules in psci. purescript"Show the imported modules in psci. purescript:Imports a module, preserving the initial state on failure. purescript!Takes a value and prints its type purescript Takes a type and prints its kind purescript*Browse a module and displays its signature purescriptPReturn output as would be returned by tab completion, for tools integration etc. purescriptAttempt to set the interactive print function. Note that the state will only be updated if the interactive print function exists and appears to work; we test it by attempting to evaluate '0'. purescript evaluate JS purescriptreload purescriptprint into consoleUrs None"#%,.4567>@AHPSX_gP@ABC None"#%,.4567>@AHPSX_gW purescript-Extracts AST information from a parsed module purescript;Extracts type annotations for functions from a given Module purescriptuGiven a surrounding Sourcespan and a Declaration from the PS AST, extracts definition sites inside that Declaration. purescript%The declaration to extract spans from purescript'Declarations and their source locationsNone"#%,.4567>@AHPSX_ga purescriptBContains the module with resolved reexports, and possible failures purescriptTUses the passed formatter to format the resolved module, and adds possible failures purescript%Whether any Refs couldn't be resolved purescriptqResolves Reexports for the given Modules, by looking up the reexported values from the passed in DeclarationRefs purescript!Formatter for the resolved result purescriptThe Result to be pretty printed purescriptthe references to resolve purescript1Modules to search for the reexported declarationsNone"#$%,.4567>@AHPSWX_gv purescriptResets all State inside psc-ide purescriptGets the loaded Modulenames purescriptGets all loaded ExternFiles purescript(Insert a Module into Stage1 of the State purescriptSTM version of insertModule purescript\Retrieves the FileState from the State. This includes loaded Externfiles and parsed Modules purescriptSTM version of getFileState  purescripthRetrieves VolatileState from the State. This includes the denormalized Declarations and cached rebuilds! purescriptSTM version of getVolatileState" purescript)Sets the VolatileState inside Ide's state purescriptChecks if the given ModuleName matches the last rebuild cache and if it does returns all loaded definitions + the definitions inside the rebuild cache purescriptAdds an ExternsFile into psc-ide's FileState. This does not populate the VolatileState, which needs to be done after all the necessary Externs and SourceFiles have been loaded. purescriptSTM version of insertExterns purescript+Sets rebuild cache to the given ExternsFile purescriptRetrieves the rebuild cache purescriptOResolves reexports and populates VolatileState with data to be used in queries. purescript$STM version of populateVolatileState purescriptRLooks up the types and kinds for operators and assigns them to their declarationsNone"#%,.4567>@AHPSWX_g{s# purescriptkReloads an ExternsFile from Disc. If the Event indicates the ExternsFile was deleted we don't do anything. purescript`Installs filewatchers for the given directory and reloads ExternsFiles when they change on discNone"#%,.4567>@AHPSX_gr$ purescriptA declaration can either be imported qualified, or unqualified. All the information we need to find usages through a Traversal is thus captured in the $ type. purescriptMHow we find usages, given an IdeDeclaration and the module it was defined in: 4Find all modules that reexport the given declarationFind all modules that import from those modules, and while traversing the imports build a specification for how the identifier can be found in the module.AApply the collected search specifications and collect the results% purescriptGDetermines whether an IdeDeclaration is referenced by a DeclarationRef.TODO(Christoph): We should also extract the spans of matching refs here, since they also count as a usage (at least for rename refactorings) purescriptFinds all usages for a given $ throughout a module purescriptRThe declaration and the module it is defined in for which we are searching usages purescript7Our declaration cache. Needs to have reexports resolved purescriptYAll the modules that reexport the declaration. This does NOT include the defining moduleNone"#%,.4567>@AHPSX_g purescript/Constructs Patterns to insert into a sourcefile purescript Current line purescriptBegin of the split purescriptEnd of the split purescript%Whether to explicitly type the splits purescriptConstructors to splitNone"#%,.4567>@AHPSWX_gv& purescript,Parameters we can access while building our  MakeActions purescript.Given a filepath performs the following steps:7Reads and parses a PureScript module from the filepath.VBuilds a dependency graph for the parsed module from the already loaded ExternsFiles.Attempts to find an FFI definition file for the module by looking for a file with the same filepath except for a .js extension.$Passes all the created artifacts to  rebuildModule.&If the rebuilding succeeds, returns a RebuildSuccessB with the generated warnings, and if rebuilding fails, returns a  RebuildError with the generated errors.' purescriptdRebuilds a module but opens up its export list first and stores the result inside the rebuild cache( purescriptBuilds the default  MakeActions from a MakeActionsEnv) purescript-Shuts the compiler up about progress messages* purescriptStops any kind of codegen+ purescriptReturns a topologically sorted list of dependent ExternsFiles for the given module. Throws an error if there is a cyclic dependency within the ExternsFiles, purescriptRemoves a modules export list. purescriptThe file to rebuild purescript6The file to use as the location for parsing and errors purescriptThe targets to codegen purescript/A runner for the second build with open exportsNone"#%,.4567=>?@AHMPSX_gr purescript=Matches any occurence of the search string with intersectionsThe scoring measures how far the matches span the string where closer is better. Examples: flMa matches flexMatcher. Score: 14.28 sons matches sortCompletions. Score: 6.25None"#%,.4567>@AHMPSX_gb purescript,Only keeps Declarations in the given modules purescript.Only keeps Identifiers in the given Namespaces purescript:Only keeps Identifiers that are equal to the search string purescript7Only keeps Identifiers that start with the given prefix purescript5Only keeps Identifiers in the given type declarationsNone"#%,.4567>@AHPSX_g purescriptApplies the CompletionFilters and the Matcher to the given Modules and sorts the found Completions according to the Matching Score  None"#%,.4567>@AHPSX_g*     *     None"#%,.4567>@AHPSX_g - purescript ImportParseD holds the data we extract out of a partial parse of the sourcefile. purescriptthe module name we parse/ purescriptdthe beginning of the import section. If `import Prelude` was the first import, this would point at i0 purescriptthe end of the import section1 purescript!the extracted import declarations purescriptReads a file and returns the parsed module name as well as the parsed imports, while ignoring eventual parse errors that aren't relevant to the import section2 purescriptbReads a file and returns the (lines before the imports, the imports, the lines after the imports)! purescriptAdds an implicit import like import Prelude to a Sourcefile.# purescriptAdds a qualified import like import Data.Map as Map to a source file.3 purescriptAdds an explicit import like import Prelude (unit){ to a Sourcefile. If an explicit import already exists for the given module, it adds the identifier to that imports list.So &addExplicitImport "/File.purs" "bind" Prelude with an already existing import Prelude (bind) in the file File.purs returns  ["import Prelude (bind, unit)"]& purescript>Looks up the given identifier in the currently loaded modules.2Throws an error if the identifier cannot be found.KIf exactly one match is found, adds an explicit import to the importsectionaIf more than one possible imports are found, reports the possibilities as a list of completions.) purescriptWrites a list of lines to  Just filepath and responds with a  TextResult, or returns the lines as a MultilineTextResult if Nothing" was given as the first argument.* purescriptTest and ghci helper! purescriptThe source file read from purescriptThe module to import# purescriptThe sourcefile read from purescriptThe module to import purescript#The qualifier under which to import& purescriptThe Sourcefile to read from purescriptThe identifier to import purescript,The optional qualifier under which to import purescript4Filters to apply before searching for the identifier !"#$%&'()*!#&)*("$% 'None"#%,.4567>@AHPSWX_g- purescripteAccepts a Commmand and runs it against psc-ide's State. This is the main entry point for the server.4 purescriptdFinds all the externs.json files inside the output folder and returns the corresponding Modulenames5 purescript<Finds all matches for the globs specified at the commandline6 purescriptLooks up the ExternsFiles for the given Modulenames and loads them into the server state. Then proceeds to parse all the specified sourcefiles and inserts their ASTs into the state. Finally kicks off an async worker, which populates the VolatileState.--None"#%,.4567>@AHPSX_g7. purescriptGiven a compiler output directory, a list of input PureScript source files, and a list of dependency PureScript source files, produce documentation for the input files in the intermediate documentation format. Note that dependency files are not included in the result.If the output directory is not up to date with respect to the provided input and dependency files, the files will be built as if with just the "docs" codegen target, i.e. "purs compile --codegen docs".7 purescriptCompile with just the docsB codegen target, writing results into the given output directory.8 purescriptrPerform an operation on a list of things which are tagged, and reassociate the things with their tags afterwards.9 purescriptGiven:A list of local source filesZA list of source files from external dependencies, together with their package names!This function does the following:hPartially parse all of the input and dependency source files to get the module name of each modulemAssociate each dependency module with its package name, thereby distinguishing these from local modulesReturn the file paths paired with the names of the modules they contain, and a Map of module names to package names for modules which come from dependencies. If a module does not exist in the map, it can safely be assumed to be local...None"#%,.4567>@AHPSX_gmnop z { | }  ~                           ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a _.None"#%,.4567>@AHMPSX_g%~: purescript6In the resolutions file, there was no _resolution key.; purescriptResolved, but to something other than a version. The Text argument is the resolution type. The values it can take that I'm aware of are "commit" and "branch". Note: this constructor is deprecated, and is only used when parsing legacy resolutions files.< purescriptResolved to a version.2 purescriptWHow to obtain the version tag and version that the data being generated will refer to.4 purescript)What to do when the working tree is dirty5 purescriptuCompiler output directory (which must include up-to-date docs.json files for any modules we are producing docs for).6 purescriptPath to the manifest file; a JSON file including information about the package, such as name, author, dependency version bounds.7 purescriptPath to the resolutions file; a JSON file containing all of the package's dependencies, their versions, and their paths on the disk.9 purescript~Attempt to retrieve package metadata from the current directory. Calls exitFailure if no package metadata could be retrieved.: purescriptcAttempt to retrieve package metadata from the current directory. Returns a PackageError on failure= purescript-Given a git tag, get the time it was created.> purescript5Check if a string is a valid SPDX license expression.? purescriptParser for resolutions files, which contain information about the packages which this package depends on. A resolutions file should look something like this:{ "purescript-prelude": { "version": "4.0.0", "path": "bower_components/purescript-prelude" }, "purescript-lists": { "version": "6.0.0", "path": "bower_components/purescript-lists" }, ... }where the version is used for generating links between packages on Pursuit, and the path is used to obtain the source files while generating documentation: all files matching the glob "src***.purs" relative to the path directory will be picked up.The "version" field is optional, but omitting it will mean that no links will be generated for any declarations from that package on Pursuit. The "path" field is required.@ purescriptExtracts all dependencies and their versions from a legacy resolutions file, which is based on the output of `bower list --json --offline`.A purescriptdependencies declared in package manifest file; we should emit warnings for any package name in this list which is not in the resolutions file. purescriptContents of resolutions file/0123456789:;<=>?@ABCDE:@9/;<=>?012345678BCDEAB                                     ! " # $ $ % & ' ( ) * * + , , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | }~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~         !"#$%&&'()**+,-./01234556789:;<=>>?@ABCDEFGHIJKLMNOPQRSTUVWWXYZ[\]^_`abbcdefghijklmnopqr(stuv~"wxyz{|}~//,,]^_`omnp      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^^_`abcdefghijklmnopqrstuvwxyz{|}~           !!!!!!!!v!y"""""""""""""""" " " " " """"""##$W$W$$$$$$$$$ !"#$%&%'%(&)&*&+&,&-&.&/'0'0'1'2'3'b'b'4'5'6'7'8'9'g':'h';'j'i'r'q'<'='>'?'@'A'B'C'D'D'E'F'G'H'I'J'K'L'M'N'O'P'Q'R'S'T'U'V'W'X'Y'Z'['\']'^'_'`'a'b'c'd'e'f'g'h'i'j'k'l'm'n'o'p'q' 'r's't'u'v'w'x'y'z'{'|'}'''''~'''''''''''''''''''''#' '!'"''''''''''((((((((((((((((()))))))))))))))))))))))))))))))))))))))))))))))))))})~))))))))))))))))))))))))))))))))))))))))))))))))))))) ) ) ) ) )))))))))))))***+,,,,,,, ,!,,",#,$,%,x,w,v-&-&-'-(--)-*-+-,---.-/-0--1-2-3-4-5-6-7-8-9-:-;-<-=->-?-@-.A.A.B.C.D.E.F.F.G.H.I.J.K.....L.M.N...O.P.Q...R... .S... .T. .U.V.W.X.Y.Z.[.\.]....^.._.`.a.b.c.d.d.e.e.A.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.t.u.v.w.x.y.z.z.{.|.}.~..................W.W.).)............................................................................................................................. . . . . ................... .!.".#.$.%.&.'.(.).*.+.,.-.../.0.1.2.3.4.5.6.7.8.9.:.;.<.=.>.?.@.A.B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R.S.T.U.V.W.X.Y.Z.[.\.].^._.`.a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v.w.x.y..z...{.|..}..~.<.......////////////////////00122222222222222222222222222222222222344444444444444444444444444444555666666666666666666666666666666666666666 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 !6 "6 #6 $7 %7 %7 &7 '7 (7 )7 *7 +7 ,7 -7 .7 .7 /7 07 17 27 27 37 47 47 57 67 77 87 97 :7 ;7 <7 =7 >7 ?7 @7 A7 B7 C7 D7 E7 F7 G7 H7 I7 J7 K7 L7 M7 N7 O7 P7 Q7 R7 S7 T7 U7 V7 W7 X7 Y7 Z7 [7 \77 ]7 ^7 _7 `7 a7 b7 c7 d7 e7 f7 g7 h7 i7 j7 k7 l7 m7 n7 o7 p7 q8 r8 s8 s8 t8 u8 v8 w8 x8 y8 z8 {8 |8 |8 }8 ~8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 : : : : : : ; ; ; ; ; ; ; ; ; ; < = = = = > > > > > > > > > > > > > > > > ? @ @ @ @ @ @ @ A B B B B BB B B B B C D E F F F F G G H H H H H H H H H H H H H H H H H H H H H H H H H H H HH H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H I I I I J K K L !M "M #M $N %N &N 'O (O )O *O +P ,Q -Q -Q .Q /Q 0Q 1Q 2Q 3RRR 4R 5R 6R 7R 8R 9R :R ;R <R =R >R ?R @S AS BTT CU DV EW FW GX HX IX JX KY LZ MZ NZ OZ PZ QZZ RZ#Z SZ TZ UZ VZ WZ VZ XZ YZ ZZ [Z \Z ]Z ^Z _Z `Z aZ bZ cZZ dZ eZ fZ gZ hZ iZ jZ kZ lZ mZ nZ oZ pZ qZ rZ sZ tZ uZ vZ wZ xZ yZ zZ {Z |Z }Z ~Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z Z [ \ \ \ \ \ ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ]j]f]n]h]r] ]o]A]A] ] ]@] ] ]W]W] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] !] "] #] $] %] &] '] (] )] *] +] ,] -] .] /] 0] 1] 2] 3] 4] 5] 6] 7] 8] 9] :] ;] <] =] >] ?] @] A] B] C] D] E] F] G] H] I]]]]] J] K] L] M] N] O] P] Q] R] S] T] U] V] W] X] Y]]]]] Z] [] \] ]] ^] _] `] a] b] c] d] e] f] g] h] i^ j^ k^ l_{_ m_ n_ o` p` q` r` s` t` u` v` w` xa ya zb {b |b }b ~c cccc c cc cc cc c c c c c c c c c c c cc c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c c d e e e e e e e e e e e f f g g g g h h h h h h h h h i i j k l m n o p p q q q q q q q q q q q r r r r r r r r s s s s s s s s s s s s s s s s s s s s s s t t t t t t t u v v v  w w w w w w w w w w w w w w w w w w w w w !w "w #w $w %w &w 'w (w )w *w w w w w +w ,w -w .w /w 0w 1w 2w 3w 4w 5w 6w 7w Rw 8w 9w :x ;x <x =x >x ?x @xgx~x Ax Bx Cx Dx Ex Fx Gx Hx Ix Jx Kx.x Lx Mx Nx Ox Px Qx Rx Sx Tx Ux Vx Wx Xx Yx Yx Zx [x \x ]x ^x _x `x ax bx cx dx ex fx gx hx ix jx kx lx mx nx ox px qx rx sy ty uy vy wy xy yy zy {y |y }y ~z z z z z z { { | | } } } } } } ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~G~~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~          9     4 4                                                                                 ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H H I J K L M M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c c d e f g h i j k l m n o p q q r s t u v w x y y z z { | } ~ ~                     g     ~W               5        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQQRSTUVWXYZ[\]^_` abcde Ifgg Chij.klmno = pqrstuvwxyz{|}~..32++ -W--R------ 2--000001455;<<<<<========>>>>>>>>>>>>>>??@@@@@@@@@@@@@@@@@@@@@@ @ F  :H HHHHHHHHHHIKLMMOPQQ !"#T$T%T&U'U(U)U*U+U,U-U./0U1U2W3W4W5X6X7X8X9X:;Z<Z=Z>/?/@_AaBaCaDaEaDaFaGbHbIbJbKbLbMbNbObPbbQbRkSkTkUkVkWkXlYlZl[l\l]l^l_l`lalblcldlepfsguhui|j|k|l}mnop}qrstuvwxyz{|}~ (purescript-0.13.0-1whdl2565Nb1wvlLK7uK18Language.PureScript(Language.PureScript.Publish.BoxesHelpersControl.Monad.LoggerControl.Monad.SupplyControl.Monad.Supply.ClassLanguage.PureScript.Comments!Language.PureScript.AST.SourcePosLanguage.PureScript.Crash!Language.PureScript.AST.OperatorsLanguage.PureScript.Docs.Css+Language.PureScript.Docs.Utils.MonoidExtras"Language.PureScript.Interactive.IOLanguage.PureScript.NamesLanguage.PureScript.KindsLanguage.PureScript.CoreFn.Meta%Language.PureScript.CodeGen.JS.CommonLanguage.PureScript.OptionsLanguage.PureScript.PSStringLanguage.PureScript.LabelLanguage.PureScript.ConstantsLanguage.PureScript.CST.Types"Language.PureScript.CST.Traversals'Language.PureScript.CST.Traversals.TypeLanguage.PureScript.CST.Print!Language.PureScript.CST.PositionsLanguage.PureScript.CST.LayoutLanguage.PureScript.CST.ErrorsLanguage.PureScript.CST.MonadLanguage.PureScript.CST.UtilsLanguage.PureScript.CST.LexerLanguage.PureScript.CST.Parser Language.PureScript.AST.Literals"Language.PureScript.CoreFn.BindersLanguage.PureScript.CoreFn.Expr%Language.PureScript.CoreFn.Traversals!Language.PureScript.CoreFn.Module!Language.PureScript.Publish.UtilsLanguage.PureScript.TraversalsLanguage.PureScript.Types)Language.PureScript.TypeClassDictionariesLanguage.PureScript.EnvironmentLanguage.PureScript.CoreFn.Ann$Language.PureScript.CoreFn.OptimizerLanguage.PureScript.AST.BindersLanguage.PureScript.Bundle$Language.PureScript.AST.Declarations"Language.PureScript.AST.Traversals Language.PureScript.AST.Exported$Language.PureScript.Sugar.LetPattern!Language.PureScript.Pretty.Common Language.PureScript.Pretty.Kinds Language.PureScript.Pretty.Types!Language.PureScript.Pretty.ValuesLanguage.PureScript.ExternsLanguage.PureScript.Errors%Language.PureScript.TypeChecker.Monad(Language.PureScript.TypeChecker.Synonyms'Language.PureScript.TypeChecker.Skolems%Language.PureScript.TypeChecker.Unify+Language.PureScript.TypeChecker.Subsumption%Language.PureScript.TypeChecker.Kinds*Language.PureScript.TypeChecker.Entailment*Language.PureScript.TypeChecker.TypeSearch%Language.PureScript.TypeChecker.Types*Language.PureScript.Sugar.TypeDeclarations*Language.PureScript.Sugar.Operators.Common)Language.PureScript.Sugar.Operators.Types(Language.PureScript.Sugar.Operators.Expr+Language.PureScript.Sugar.Operators.Binders#Language.PureScript.Sugar.Operators)Language.PureScript.Sugar.ObjectWildcards#Language.PureScript.Sugar.Names.Env'Language.PureScript.Sugar.Names.Imports&Language.PureScript.Sugar.Names.Common'Language.PureScript.Sugar.Names.Exports$Language.PureScript.Sugar.DoNotation*Language.PureScript.Sugar.CaseDeclarations%Language.PureScript.Sugar.TypeClasses'Language.PureScript.Sugar.BindingGroups%Language.PureScript.Sugar.AdoNotation&Language.PureScript.ModuleDependenciesLanguage.PureScript.Make.Monad"Language.PureScript.Linter.ImportsLanguage.PureScript.Sugar.Names%Language.PureScript.Linter.ExhaustiveLanguage.PureScript.LinterLanguage.PureScript.TypeChecker.Language.PureScript.Sugar.TypeClasses.DerivingLanguage.PureScript.Sugar+Language.PureScript.Docs.RenderedCode.Types0Language.PureScript.Docs.RenderedCode.RenderKind0Language.PureScript.Docs.RenderedCode.RenderTypeLanguage.PureScript.Docs.TypesLanguage.PureScript.Docs.TagsLanguage.PureScript.Docs.PrimLanguage.PureScript.Docs.Render'Language.PureScript.Docs.Convert.Single*Language.PureScript.Docs.Convert.ReExportsLanguage.PureScript.CoreImp.AST)Language.PureScript.CoreImp.Optimizer.TCO,Language.PureScript.CoreImp.Optimizer.Common,Language.PureScript.CoreImp.Optimizer.Unused-Language.PureScript.CoreImp.Optimizer.MagicDo-Language.PureScript.CoreImp.Optimizer.Inliner,Language.PureScript.CoreImp.Optimizer.Blocks%Language.PureScript.CoreImp.Optimizer"Language.PureScript.CoreFn.DesugarLanguage.PureScript.Renamer!Language.PureScript.CoreFn.ToJSON#Language.PureScript.CoreFn.FromJSONLanguage.PureScript.CodeGen.JS&Language.PureScript.CodeGen.JS.PrinterLanguage.PureScript.CST.ConvertLanguage.PureScript.CST Language.PureScript.Make.Actions"Language.PureScript.Make.BuildPlan Language.PureScript.Docs.ConvertLanguage.PureScript.Make*Language.PureScript.Publish.ErrorsWarnings%Language.PureScript.Interactive.Types)Language.PureScript.Interactive.Directive'Language.PureScript.Interactive.Message'Language.PureScript.Interactive.Printer&Language.PureScript.Interactive.Parser*Language.PureScript.Interactive.CompletionLanguage.PureScript.HierarchyLanguage.PureScript.Errors.JSONLanguage.PureScript.Ide.TypesLanguage.PureScript.Ide.PrimLanguage.PureScript.Ide.Logging*Language.PureScript.Ide.Filter.DeclarationLanguage.PureScript.Ide.ErrorLanguage.PureScript.Ide.Externs#Language.PureScript.Docs.AsMarkdownLanguage.PureScript.Docs.AsHtmlSystem.IO.UTF8&Language.PureScript.Interactive.ModuleLanguage.PureScript.InteractiveLanguage.PureScript.Ide.Util"Language.PureScript.Ide.SourceFile!Language.PureScript.Ide.ReexportsLanguage.PureScript.Ide.StateLanguage.PureScript.Ide.WatcherLanguage.PureScript.Ide.Usage!Language.PureScript.Ide.CaseSplitLanguage.PureScript.Ide.RebuildLanguage.PureScript.Ide.MatcherLanguage.PureScript.Ide.Filter"Language.PureScript.Ide.CompletionLanguage.PureScript.Ide.CommandLanguage.PureScript.Ide.ImportsLanguage.PureScript.Ide Language.PureScript.Docs.CollectLanguage.PureScript.PublishPaths_purescriptdesugarImportsLanguage.PureScript.ASTLanguage.PureScript.PrettyText.Parsec.ErrorshowErrorMessagesAx%Language.PureScript.Docs.RenderedCodeLanguage.PureScript.CoreImpLanguage.PureScript.CoreFnLanguage.PureScript.CodeGenMakeLanguage.PureScript.Docs text-1.2.3.1Data.Text.InternalText"boxes-0.1.5-6io6BrPg87q1hhW2bdiQAIText.PrettyPrint.BoxesnullBoxBoxLogger runLogger runLogger'$fMonadBaseControlIOLogger$fMonadBaseIOLogger$fMonadWriterwLogger$fMonadIOLogger $fMonadLogger$fApplicativeLogger$fFunctorLoggerSupplySupplyT unSupplyT runSupplyT evalSupplyT runSupply evalSupply$fFunctorSupplyT$fApplicativeSupplyT$fMonadSupplyT$fMonadTransSupplyT$fMonadErrorSupplyT$fMonadWriterSupplyT$fMonadReaderSupplyT$fAlternativeSupplyT$fMonadPlusSupplyT MonadSupplyfreshpeek freshName$fMonadSupplyWriterT$fMonadSupplyStateT$fMonadSupplySupplyTComment LineComment BlockComment$fNFDataComment $fShowComment $fEqComment $fOrdComment$fGenericComment$fFromJSONComment$fToJSONComment SourceSpanspanName spanStartspanEnd SourcePos sourcePosLinesourcePosColumn SourceAnn NullSourceAnnNullSourceSpandisplaySourcePosdisplaySourcePosShortdisplayStartEndPosdisplayStartEndPosShortdisplaySourceSpaninternalModuleSourceSpannullSourceSpan nullSourceAnn nonEmptySpanwidenSourceSpanwidenSourceAnn$fFromJSONSourcePos$fToJSONSourcePos$fNFDataSourcePos$fFromJSONSourceSpan$fToJSONSourceSpan$fNFDataSourceSpan$fShowSourcePos $fEqSourcePos$fOrdSourcePos$fGenericSourcePos$fShowSourceSpan$fEqSourceSpan$fOrdSourceSpan$fGenericSourceSpan HasCallStack internalErrorFixity AssociativityInfixlInfixrInfix Precedence showAssoc readAssoc$fFromJSONAssociativity$fToJSONAssociativity$fNFDataAssociativity$fToJSONFixity$fNFDataFixity$fShowAssociativity$fEqAssociativity$fOrdAssociativity$fGenericAssociativity $fShowFixity $fEqFixity $fOrdFixity$fGenericFixity normalizeCss normalizeCssT pursuitCss pursuitCssT minterspersefindNodeProcessgetHistoryFilename Qualified ModuleNameProperNameTypeTypeNameConstructorName ClassNameKindName Namespace ProperName runProperName OpNameType ValueOpName TypeOpName AnyOpNameOpName runOpNameIdentGenIdent UnusedIdentName IdentName ValOpNameTyNameTyOpName DctorName TyClassNameModNameKiName getIdentName getValOpName getTypeName getKindName getTypeOpName getDctorName getClassName getModNamerunIdent showIdent freshIdent freshIdent'showOp eraseOpNamecoerceProperName runModuleNamemoduleNameFromStringisBuiltinModuleName showQualifiedgetQualqualify mkQualified disqualify disqualifyFor isQualified isUnqualifiedisQualifiedWith $fNFDataIdent$fFromJSONOpName$fToJSONOpName$fNFDataOpName$fFromJSONProperName$fToJSONProperName$fNFDataProperName$fNFDataModuleName $fNFDataName$fNFDataQualified $fShowIdent $fEqIdent $fOrdIdent$fGenericIdent $fShowOpName $fEqOpName $fOrdOpName$fGenericOpName$fShowProperName$fEqProperName$fOrdProperName$fGenericProperName$fShowModuleName$fEqModuleName$fOrdModuleName$fGenericModuleName$fEqName $fOrdName $fShowName $fGenericName$fShowQualified $fEqQualified$fOrdQualified$fFunctorQualified$fFoldableQualified$fTraversableQualified$fGenericQualified$fFromJSONQualified$fToJSONQualified$fFromJSONIdent $fToJSONIdent$fFromJSONModuleName$fToJSONModuleNameKindKUnknownRowFunKind NamedKind SourceKind srcKUnknownsrcRow srcFunKind srcNamedKind kindToJSON kindFromJSONeverywhereOnKindseverywhereOnKindsMeverythingOnKinds annForKind getAnnForKind setAnnForKindeqKind eqMaybeKind compareKindcompareMaybeKind $fOrdKind$fEqKind$fFromJSONKind$fFromJSONKind0$fFromJSONKind1 $fToJSONKind $fNFDataKind $fShowKind $fGenericKind $fFunctorKind$fFoldableKind$fTraversableKindConstructorType ProductTypeSumTypeMeta IsConstructor IsNewtypeIsTypeClassConstructor IsForeignIsWhere$fShowConstructorType$fEqConstructorType$fOrdConstructorType $fShowMeta$fEqMeta $fOrdMetamoduleNameToJs identToJs properToJs anyNameToJsisValidJsIdentifieridentCharToTextnameIsJsReservednameIsJsBuiltIn jsAnyReserved jsKeywordsjsSometimesReservedjsFutureReservedjsFutureReservedStrict jsOldReserved jsLiterals CodegenTargetJS JSSourceMapCoreFnDocsOptionsoptionsVerboseErrorsoptionsNoCommentsoptionsCodegenTargetsdefaultOptionscodegenTargets$fEqCodegenTarget$fOrdCodegenTarget$fShowCodegenTarget $fShowOptionsPSStringtoUTF16CodeUnitsdecodeStringWithReplacementdecodeStringEitherprettyPrintString decodeStringprettyPrintStringJSmkString$fFromJSONPSString$fToJSONPSString$fIsStringPSString$fShowPSString$fNFDataPSString $fEqPSString $fOrdPSString$fSemigroupPSString$fMonoidPSString$fGenericPSStringLabelrunLabel $fNFDataLabel $fShowLabel $fEqLabel $fOrdLabel$fIsStringLabel$fSemigroupLabel $fMonoidLabel $fToJSONLabel$fFromJSONLabel$fGenericLabelEffectDictionariesedApplicativeDict edBindDict edMonadDictedWhileedUntil ControlBindIsSymbol DataSymbolWarnFail PrimTypeError SymbolCons SymbolAppend SymbolCompare PrimSymbol RowListCons RowListNil RowToList PrimRowListRowLacksRowConsRowNubRowUnionPrimRow PrimOrdering PrimBooleanRecordPartialPrimDiscard$apply# applyFlipped<>++append>>=binddiscard+add-sub*mul/div%mod<lessThan> greaterThan<= lessThanOrEq>=greaterThanOrEq==eqeq1/=notEqcomparecompare1&&conj||disj unsafeIndexorandxor<<<compose>>>composeFlippedmapnegatenotshlshrzshr complementzeroonebottomtopreturnpure' returnEscapedunitrunST stRefValuenewSTRef readSTRef writeSTRef modifySTRefmkFnrunFnmkEffFnrunEffFn mkEffectFn runEffectFn undefinedeffDictionarieseffectDictionariesstDictionariesdiscardUnitDictionarysemiringNumber semiringInt ringNumberringIntmoduloSemiringNumbermoduloSemiringInteuclideanRingNumbereuclideanRingInt ordBoolean ordNumberordInt ordStringordChareqNumbereqInteqStringeqChar eqBooleanboundedBooleanbooleanAlgebraBooleanheytingAlgebraBooleansemigroupStringsemigroupoidFngenerictoSpine fromSpine toSignaturemainpartial booleanTrue booleanFalse orderingLT orderingEQ orderingGT primModulestyp kindBoolean kindOrdering kindRowListsymboldocprim moduleBooleanmoduleOrdering moduleRow moduleRowList moduleSymbol typeErrorprelude dataArrayeffeffectstcontrolApplicativecontrolSemigroupoid controlBindcontrolMonadEffUncurriedeffectUncurried dataBounded dataSemigroupdataHeytingAlgebradataEqdataOrd dataSemiringdataRingdataEuclideanRing dataFunctiondataFunctionUncurried dataIntBits partialUnsafe unsafePartial unsafeCoerceunsafeCoerceFnBinderBinderWildcard BinderVar BinderNamedBinderConstructor BinderBoolean BinderChar BinderString BinderNumber BinderArray BinderRecord BinderParens BinderTypedBinderOpAdoBlock adoKeyword adoStatementsadoIn adoResult DoStatementDoLet DoDiscardDoBindDoBlock doKeyword doStatements LetBindingLetBindingSignatureLetBindingNameLetBindingPatternWhere whereExpr whereBindingsLetIn letKeyword letBindingsletInletBodyCaseOf caseKeywordcaseHeadcaseOf caseBranches IfThenElseiteIfiteConditeTheniteTrueiteElseiteFalseLambda lmbSymbol lmbBinderslmbArrlmbBodyRecordAccessorrecExprrecDotrecPath RecordUpdateRecordUpdateLeafRecordUpdateBranch RecordLabeled RecordPun RecordFieldExprExprHole ExprSection ExprIdentExprConstructor ExprBooleanExprChar ExprString ExprNumber ExprArray ExprRecord ExprParens ExprTyped ExprInfixExprOp ExprOpName ExprNegateExprRecordAccessorExprRecordUpdateExprApp ExprLambdaExprIfExprCaseExprLetExprDoExprAdoForeign ForeignValue ForeignData ForeignKind PatternGuard patBinderpatExpr GuardedExprgrdBar grdPatternsgrdSepgrdWhereGuarded UnconditionalValueBindingFieldsvalName valBinders valGuarded FixityFields fxtKeywordfxtPrecfxtOpFixityOp FixityValue FixityType InstanceHead instKeywordinstNameinstSepinstConstraints instClass instTypes ClassFundepFundepDeterminedFundepDetermines ClassHead clsKeywordclsSuperclsNameclsVars clsFundepsDataCtor dataCtorAnn dataCtorNamedataCtorFieldsDataHead dataHdKeyword dataHdName dataHdVarsImport ImportValueImportOp ImportType ImportTypeOp ImportClass ImportKind ImportDeclimpAnn impKeyword impModuleimpNamesimpQualInstanceBindingInstanceBindingSignatureInstanceBindingNameInstanceinstHeadinstBody DeclarationDeclDataDeclType DeclNewtype DeclClassDeclInstanceChain DeclDerive DeclSignature DeclValue DeclFixity DeclForeign DataMembersDataAllDataEnumeratedExport ExportValueExportOp ExportType ExportTypeOp ExportClass ExportKind ExportModuleModulemodAnn modKeyword modNamespace modExportsmodWhere modImportsmodDeclsmodTrailingComments rowLabelsrowTail ConstraintConstraintParensTypeVarBinding TypeVarKinded TypeVarNameTypeTypeVarTypeConstructor TypeWildcardTypeHole TypeStringTypeRow TypeRecord TypeForall TypeKindedTypeAppTypeOpTypeArr TypeArrNameTypeConstrained TypeParensKindArrKindRow KindParensOneOrDelimitedOneManyDelimitedNonEmpty DelimitedLabeledlblLabellblSeplblValue SeparatedsepHeadsepTailWrappedwrpOpenwrpValuewrpCloselblToklblName QualifiedNamequalTok qualModulequalNamenameTok nameValuegetIdent SourceTokentokAnntokValueToken TokLeftParen TokRightParen TokLeftBrace TokRightBrace TokLeftSquareTokRightSquare TokLeftArrow TokRightArrowTokRightFatArrowTokDoubleColon TokForall TokEqualsTokPipeTokTickTokDotTokComma TokUnderscore TokBackslash TokLowerName TokUpperName TokOperator TokSymbolName TokSymbolArrTokHoleTokChar TokString TokRawStringTokInt TokNumberTokLayoutStart TokLayoutSep TokLayoutEndTokEof SourceStyleASCIIUnicodeTokenAnntokRangetokLeadingCommentstokTrailingCommentsLineFeedLFCRLFSpaceLine SourceRangesrcStartsrcEndsrcLine srcColumn$fShowSourceRange$fEqSourceRange$fOrdSourceRange$fGenericSourceRange$fFunctorComment$fShowLineFeed $fEqLineFeed $fOrdLineFeed$fGenericLineFeed$fShowTokenAnn $fEqTokenAnn $fOrdTokenAnn$fGenericTokenAnn$fShowSourceStyle$fEqSourceStyle$fOrdSourceStyle$fGenericSourceStyle $fShowToken $fEqToken $fOrdToken$fGenericToken$fShowSourceToken$fEqSourceToken$fOrdSourceToken$fGenericSourceToken $fFunctorName$fFoldableName$fTraversableName$fShowQualifiedName$fEqQualifiedName$fOrdQualifiedName$fFunctorQualifiedName$fFoldableQualifiedName$fTraversableQualifiedName$fGenericQualifiedName $fShowWrapped $fEqWrapped $fOrdWrapped$fFunctorWrapped$fFoldableWrapped$fTraversableWrapped$fGenericWrapped$fShowSeparated $fEqSeparated$fOrdSeparated$fFunctorSeparated$fFoldableSeparated$fTraversableSeparated$fGenericSeparated $fShowLabeled $fEqLabeled $fOrdLabeled$fFunctorLabeled$fFoldableLabeled$fTraversableLabeled$fGenericLabeled$fShowOneOrDelimited$fEqOneOrDelimited$fOrdOneOrDelimited$fFunctorOneOrDelimited$fFoldableOneOrDelimited$fTraversableOneOrDelimited$fGenericOneOrDelimited$fShowTypeVarBinding$fEqTypeVarBinding$fOrdTypeVarBinding$fFunctorTypeVarBinding$fFoldableTypeVarBinding$fTraversableTypeVarBinding$fGenericTypeVarBinding $fShowRow$fEqRow$fOrdRow $fFunctorRow $fFoldableRow$fTraversableRow $fGenericRow $fShowType$fEqType $fOrdType $fFunctorType$fFoldableType$fTraversableType $fGenericType$fShowConstraint$fEqConstraint$fOrdConstraint$fFunctorConstraint$fFoldableConstraint$fTraversableConstraint$fGenericConstraint$fShowDataMembers$fEqDataMembers$fOrdDataMembers$fFunctorDataMembers$fFoldableDataMembers$fTraversableDataMembers$fGenericDataMembers $fShowExport $fEqExport $fOrdExport$fFunctorExport$fFoldableExport$fTraversableExport$fGenericExport $fShowImport $fEqImport $fOrdImport$fFunctorImport$fFoldableImport$fTraversableImport$fGenericImport$fShowImportDecl$fEqImportDecl$fOrdImportDecl$fFunctorImportDecl$fFoldableImportDecl$fTraversableImportDecl$fGenericImportDecl$fShowDataHead $fEqDataHead $fOrdDataHead$fFunctorDataHead$fFoldableDataHead$fTraversableDataHead$fGenericDataHead$fShowDataCtor $fEqDataCtor $fOrdDataCtor$fFunctorDataCtor$fFoldableDataCtor$fTraversableDataCtor$fGenericDataCtor$fShowClassFundep$fEqClassFundep$fOrdClassFundep$fGenericClassFundep$fShowClassHead $fEqClassHead$fOrdClassHead$fFunctorClassHead$fFoldableClassHead$fTraversableClassHead$fGenericClassHead$fShowInstanceHead$fEqInstanceHead$fOrdInstanceHead$fFunctorInstanceHead$fFoldableInstanceHead$fTraversableInstanceHead$fGenericInstanceHead$fShowFixityOp $fEqFixityOp $fOrdFixityOp$fGenericFixityOp$fShowFixityFields$fEqFixityFields$fOrdFixityFields$fGenericFixityFields $fShowForeign $fEqForeign $fOrdForeign$fFunctorForeign$fFoldableForeign$fTraversableForeign$fGenericForeign$fShowRecordLabeled$fEqRecordLabeled$fOrdRecordLabeled$fFunctorRecordLabeled$fFoldableRecordLabeled$fTraversableRecordLabeled$fGenericRecordLabeled $fShowBinder $fEqBinder $fOrdBinder$fFunctorBinder$fFoldableBinder$fTraversableBinder$fGenericBinder$fShowValueBindingFields$fEqValueBindingFields$fOrdValueBindingFields$fFunctorValueBindingFields$fFoldableValueBindingFields$fTraversableValueBindingFields$fGenericValueBindingFields $fShowGuarded $fEqGuarded $fOrdGuarded$fFunctorGuarded$fFoldableGuarded$fTraversableGuarded$fGenericGuarded $fShowWhere $fEqWhere $fOrdWhere$fFunctorWhere$fFoldableWhere$fTraversableWhere$fGenericWhere$fShowLetBinding$fEqLetBinding$fOrdLetBinding$fFunctorLetBinding$fFoldableLetBinding$fTraversableLetBinding$fGenericLetBinding $fShowExpr$fEqExpr $fOrdExpr $fFunctorExpr$fFoldableExpr$fTraversableExpr $fGenericExpr$fShowAdoBlock $fEqAdoBlock $fOrdAdoBlock$fFunctorAdoBlock$fFoldableAdoBlock$fTraversableAdoBlock$fGenericAdoBlock$fShowDoStatement$fEqDoStatement$fOrdDoStatement$fFunctorDoStatement$fFoldableDoStatement$fTraversableDoStatement$fGenericDoStatement $fShowDoBlock $fEqDoBlock $fOrdDoBlock$fFunctorDoBlock$fFoldableDoBlock$fTraversableDoBlock$fGenericDoBlock $fShowLetIn $fEqLetIn $fOrdLetIn$fFunctorLetIn$fFoldableLetIn$fTraversableLetIn$fGenericLetIn $fShowCaseOf $fEqCaseOf $fOrdCaseOf$fFunctorCaseOf$fFoldableCaseOf$fTraversableCaseOf$fGenericCaseOf$fShowIfThenElse$fEqIfThenElse$fOrdIfThenElse$fFunctorIfThenElse$fFoldableIfThenElse$fTraversableIfThenElse$fGenericIfThenElse $fShowLambda $fEqLambda $fOrdLambda$fFunctorLambda$fFoldableLambda$fTraversableLambda$fGenericLambda$fShowRecordAccessor$fEqRecordAccessor$fOrdRecordAccessor$fFunctorRecordAccessor$fFoldableRecordAccessor$fTraversableRecordAccessor$fGenericRecordAccessor$fShowRecordUpdate$fEqRecordUpdate$fOrdRecordUpdate$fFunctorRecordUpdate$fFoldableRecordUpdate$fTraversableRecordUpdate$fGenericRecordUpdate$fShowGuardedExpr$fEqGuardedExpr$fOrdGuardedExpr$fFunctorGuardedExpr$fFoldableGuardedExpr$fTraversableGuardedExpr$fGenericGuardedExpr$fShowPatternGuard$fEqPatternGuard$fOrdPatternGuard$fFunctorPatternGuard$fFoldablePatternGuard$fTraversablePatternGuard$fGenericPatternGuard$fShowInstanceBinding$fEqInstanceBinding$fOrdInstanceBinding$fFunctorInstanceBinding$fFoldableInstanceBinding$fTraversableInstanceBinding$fGenericInstanceBinding$fShowInstance $fEqInstance $fOrdInstance$fFunctorInstance$fFoldableInstance$fTraversableInstance$fGenericInstance$fShowDeclaration$fEqDeclaration$fOrdDeclaration$fFunctorDeclaration$fFoldableDeclaration$fTraversableDeclaration$fGenericDeclaration $fShowModule $fEqModule $fOrdModule$fFunctorModule$fFoldableModule$fTraversableModule$fGenericModuleeverythingOnSeparatedeverythingOnTypes printToken printTokensprintLeadingCommentprintTrailingComment TokenRange advanceTokenadvanceLeadingadvanceTrailing tokenDelta qualDelta multiLine commentDelta lineDelta textDelta applyDeltasepLast toSourceRangewidensrcRange nameRange qualRange labelRange wrappedRange moduleRange exportRangeimportDeclRange importRangedataMembersRange declRange dataHeadRange dataCtorRangeclassHeadRangeclassFundepRange instanceRangeinstanceHeadRangeinstanceBindingRange foreignRangevalueBindingFieldsRange guardedRangeguardedExprRange whereRange kindRange typeRangeconstraintRangetypeVarBindingRange exprRangeletBindingRangedoStatementRange binderRangerecordUpdateRangerecordLabeledExprRange LayoutDelimLytRoot LytTopDeclLytTopDeclHead LytDeclGuardLytCaseLytCaseBinders LytCaseGuardLytLambdaBindersLytParenLytBrace LytSquareLytIfLytThen LytProperty LytForallLytTickLytLet LytLetStmtLytWhereLytOfLytDoLytAdo LayoutStack isIndented isTopDecllytToken insertLayout unwindLayout$fShowLayoutDelim$fEqLayoutDelim$fOrdLayoutDelim ParserErrorerrRangeerrTokserrStackerrTypeParserErrorTypeErrWildcardInType ErrHoleInTypeErrExprInBinderErrExprInDeclOrBinder ErrExprInDeclErrBinderInDeclErrRecordUpdateInCtrErrRecordPunInUpdateErrRecordCtrInUpdateErrTypeInConstraint ErrElseInDeclErrInstanceNameMismatchErrUnknownFundepErrImportInDeclErrGuardInLetBinder ErrKeywordVarErrKeywordSymbolErrTokenErrLineFeedInStringErrAstralCodePointInChar ErrCharEscapeErrNumberOutOfRangeErrLeadingZeroErrExpectedFractionErrExpectedExponentErrExpectedHexErrReservedSymbol ErrCharInGap ErrModuleNameErrQualifiedName ErrEmptyDo ErrLexemeErrEof ErrCustomprettyPrintErrorprettyPrintErrorMessage$fShowParserErrorType$fEqParserErrorType$fOrdParserErrorType$fShowParserError$fEqParserErrorParserParserM ParserState parserBuff parserErrorsLexStatelexPos lexLeading lexSourcelexStack LexResult runParserrunTokenParserthrow parseError mkParserError addFailure addFailures parseFail' parseFailpushBack tryPrefixoneOf manyDelimitedtokenmunch$fMonadParserM$fApplicativeParserM$fFunctorParserM$fShowLexState$fShowParserState TmpModuleDecl TmpImportTmpChain placeholderunexpectedNameunexpectedQualunexpectedLabelunexpectedExprunexpectedDeclunexpectedBinderunexpectedLetBindingunexpectedInstBindingunexpectedRecordUpdateunexpectedRecordLabeled rangeToksunexpectedToks separated consSeparated toModuleNameupperToModuleNametoQualifiedNametoNametoLabel labelToIdenttoStringtoChartoNumbertoInt toBoolean toConstrainttoBinderConstructortoRecordFields checkFundeps toModuleDeclscheckNoWildcardscheckNoForallsrevert reservedNamesisValidModuleNamespaceisLeftFatArrow$fShowTmpModuleDecllenientlex lexTopLevel lexWithState isUnquotedKey PartialResult resPartialresFull parseKind parseType parseExpr parseIdent parseOperator parseDeclparseImportDeclP parseDeclP parseExprP parseTypePparseModuleNamePparseQualIdentPparse parseModule$fFunctorPartialResultLiteralNumericLiteral StringLiteral CharLiteralBooleanLiteral ArrayLiteral ObjectLiteral $fEqLiteral $fOrdLiteral $fShowLiteral$fFunctorLiteral NullBinder LiteralBinder VarBinderConstructorBinder NamedBinderextractBinderAnnCaseAlternativecaseAlternativeBinderscaseAlternativeResultGuardBindNonRecRec ConstructorAccessor ObjectUpdateAbsAppVarCaseLet extractAnn modifyAnn$fFunctorCaseAlternative$fShowCaseAlternative $fShowBind $fFunctorBindeverywhereOnValueseverythingOnValuesmoduleSourceSpanmoduleComments moduleName modulePath moduleImports moduleExports moduleForeign moduleDeclswidth indentWidthparaindentedsuccessivelyIndentedvcatspacer bulletedList bulletedListT printToStderr printToStdout globRelativepurescriptSourceFilesfstMsndMthirdMpairMmaybeMeitherMdefS RowListItem rowListAnn rowListLabel rowListType constraintAnnconstraintClassconstraintArgsconstraintDataConstraintDataPartialConstraintDataTUnknownTypeLevelStringForAllConstrainedTypeSkolemREmptyRCons KindedTypeBinaryNoParensType ParensInType SkolemScoperunSkolemScopeSourceConstraint SourceType srcTUnknown srcTypeVarsrcTypeLevelStringsrcTypeWildcardsrcTypeConstructor srcTypeOp srcTypeApp srcForAllsrcConstrainedType srcSkolem srcREmptysrcRCons srcKindedTypesrcBinaryNoParensTypesrcParensInType srcConstraintmapConstraintArgsoverConstraintArgsconstraintDataToJSONconstraintToJSON typeToJSONconstraintDataFromJSONconstraintFromJSON typeFromJSONsrcRowListItem rowToListrowToSortedList rowFromList isMonoTypemkForAllreplaceTypeVarsreplaceAllTypeVarsusedTypeVariablesfreeTypeVariablesquantifymoveQuantifiersToFrontcontainsWildcardscontainsForAlleverywhereOnTypeseverywhereOnTypesTopDowneverywhereOnTypesMeverywhereOnTypesTopDownMeverythingWithContextOnTypes annForType getAnnForType setAnnForTypeeqType compareType eqConstraintcompareConstraint$fNFDataSkolemScope$fFromJSONConstraintData$fToJSONConstraintData$fNFDataConstraintData$fFromJSONConstraint$fFromJSONConstraint0$fFromJSONConstraint1$fFromJSONType$fFromJSONType0$fFromJSONType1$fToJSONConstraint $fToJSONType$fNFDataConstraint $fNFDataType$fShowSkolemScope$fEqSkolemScope$fOrdSkolemScope$fToJSONSkolemScope$fFromJSONSkolemScope$fGenericSkolemScope$fShowConstraintData$fEqConstraintData$fOrdConstraintData$fGenericConstraintData$fShowRowListItem$fGenericRowListItem$fFunctorRowListItem$fFoldableRowListItem$fTraversableRowListItem NamedDictTypeClassDictionaryInScopetcdChaintcdIndextcdValuetcdPath tcdClassNametcdInstanceTypestcdDependenciessuperclassName"$fNFDataTypeClassDictionaryInScope $fShowTypeClassDictionaryInScope#$fFunctorTypeClassDictionaryInScope$$fFoldableTypeClassDictionaryInScope'$fTraversableTypeClassDictionaryInScope#$fGenericTypeClassDictionaryInScope DataDeclTypeDataNewtypeTypeKindDataType TypeSynonym ExternDataLocalTypeVariable ScopedTypeVarNameKindPrivatePublicExternalNameVisibility UndefinedDefinedFunctionalDependency fdDeterminers fdDetermined TypeClassDatatypeClassArgumentstypeClassMemberstypeClassSuperclassestypeClassDependenciestypeClassDeterminedArgumentstypeClassCoveringSets EnvironmentnamestypesdataConstructors typeSynonymstypeClassDictionaries typeClasseskindsinitEnvironmentmakeTypeClassDatashowDataDeclTypeprimName primSubNameprimKind primSubKindkindTypekindConstraint isKindType-:> kindSymbolkindDockindRowprimTy tyFunctiontyStringtyChartyNumbertyInt tyBooleantyArraytyRecordisObject isFunctionisTypeOrAppliedfunction primKindsprimBooleanKindsprimOrderingKindsprimRowListKindsprimTypeErrorKinds allPrimKinds primTypes allPrimTypesprimBooleanTypesprimOrderingTypes primRowTypesprimRowListTypesprimSymbolTypesprimTypeErrorTypes primClassesallPrimClassesprimRowClassesprimRowListClassesprimSymbolClassesprimTypeErrorClasseslookupConstructorisNewtypeConstructor lookupValue$fToJSONFunctionalDependency$fFromJSONFunctionalDependency$fNFDataFunctionalDependency$fNFDataTypeClassData$fNFDataNameVisibility$fNFDataNameKind$fFromJSONTypeKind$fToJSONTypeKind$fNFDataTypeKind$fFromJSONDataDeclType$fToJSONDataDeclType$fNFDataDataDeclType$fNFDataEnvironment$fShowFunctionalDependency$fGenericFunctionalDependency$fShowTypeClassData$fGenericTypeClassData$fShowNameVisibility$fEqNameVisibility$fGenericNameVisibility$fShowNameKind $fEqNameKind$fGenericNameKind$fShowTypeKind $fEqTypeKind$fGenericTypeKind$fShowDataDeclType$fEqDataDeclType$fOrdDataDeclType$fGenericDataDeclType$fShowEnvironment$fGenericEnvironmentAnnssAnnremoveCommentsoptimizeCoreFnOpBinderBinaryNoParensBinderParensInBinderPositionedBinder TypedBinder binderNames isIrrefutableModuleIdentifier ModuleTypeRegular ErrorMessageUnsupportedModulePathInvalidTopLevelUnableToParseModuleUnsupportedExport ErrorInModuleMissingEntryPointMissingMainModuleguessModuleIdentifierprintErrorMessagegetExportedIdentifiersbundleSMbundle$fShowModuleType$fEqModuleType$fOrdModuleType$fShowModuleIdentifier$fEqModuleIdentifier$fOrdModuleIdentifier$fShowErrorMessage$fShowExportType$fEqExportType$fOrdExportType$fShowModuleElement AssocList runAssocListPathNodeLeafBranchPathTreeDoNotationElementDoNotationValueDoNotationBind DoNotationLetPositionedDoNotationElementWhereProvenance FromWhereFromLet UnaryMinusBinaryNoParensParensObjectUpdateNestedOp TypedValueDoAdo!TypeClassDictionaryConstructorAppTypeClassDictionaryTypeClassDictionaryAccessorDeferredDictionaryAnonymousArgumentHolePositionedValueConditionGuardTypeInstanceBodyDerivedInstanceNewtypeInstanceNewtypeInstanceWithDictionaryExplicitInstance TypeFixity ValueFixityDataDeclarationDataBindingGroupDeclarationTypeSynonymDeclarationTypeDeclarationValueDeclarationBoundValueDeclarationBindingGroupDeclarationExternDeclarationExternDataDeclarationExternKindDeclarationFixityDeclarationImportDeclarationTypeClassDeclarationTypeInstanceDeclarationValueDeclarationDatavaldeclSourceAnn valdeclIdent valdeclNamevaldeclBindersvaldeclExpressionTypeDeclarationDatatydeclSourceAnn tydeclIdent tydeclTypeImportDeclarationTypeImplicitExplicitHiding ExportSourceexportSourceImportedFromexportSourceDefinedInDeclarationRefTypeRef TypeOpRefValueRef ValueOpRef TypeClassRefTypeInstanceRef ModuleRefKindRef ReExportRef HintCategoryExprHintKindHint CheckHint PositionHint SolverHint OtherHintErrorMessageHintErrorUnifyingTypesErrorInExpressionErrorInInstanceErrorInSubsumptionErrorCheckingAccessorErrorCheckingTypeErrorCheckingKindErrorCheckingGuardErrorInferringTypeErrorInApplicationErrorInDataConstructorErrorInTypeConstructorErrorInBindingGroupErrorInDataBindingGroupErrorInTypeSynonymErrorInValueDeclarationErrorInTypeDeclarationErrorInTypeClassDeclarationErrorInForeignImportErrorSolvingConstraintPositionedErrorSimpleErrorMessageModuleNotFoundErrorParsingFFIModuleErrorParsingModuleErrorParsingCSTModuleMissingFFIModuleUnnecessaryFFIModuleMissingFFIImplementationsUnusedFFIImplementationsInvalidFFIIdentifierCannotGetFileInfoCannotReadFileCannotWriteFile InfiniteType InfiniteKindMultipleValueOpFixitiesMultipleTypeOpFixitiesOrphanTypeDeclarationRedefinedIdentOverlappingNamesInLet UnknownName UnknownImportUnknownImportDataConstructor UnknownExportUnknownExportDataConstructor ScopeConflictScopeShadowing DeclConflictExportConflictDuplicateModuleDuplicateTypeClassDuplicateInstanceDuplicateTypeArgument InvalidDoBind InvalidDoLetCycleInDeclarationCycleInTypeSynonymCycleInTypeClassDeclarationCycleInModulesNameIsUndefinedUndefinedTypeVariablePartiallyAppliedSynonym EscapedSkolemTypesDoNotUnifyKindsDoNotUnifyConstrainedTypeUnifiedOverlappingInstancesNoInstanceFoundAmbiguousTypeVariables UnknownClassPossiblyInfiniteInstance CannotDeriveInvalidDerivedInstanceExpectedTypeConstructorInvalidNewtypeInstance MissingNewtypeSuperclassInstanceUnverifiableSuperclassInstanceCannotFindDerivingTypeDuplicateLabelDuplicateValueDeclarationArgListLengthsDifferOverlappingArgNamesMissingClassMemberExtraneousClassMember ExpectedTypeIncorrectConstructorArityExprDoesNotHaveTypePropertyIsMissingAdditionalPropertyTypeSynonymInstanceOrphanInstanceInvalidNewtypeInvalidInstanceHeadTransitiveExportErrorTransitiveDctorExportError ShadowedNameShadowedTypeVar UnusedTypeVarWildcardInferredTypeHoleInferredTypeMissingTypeDeclarationOverlappingPatternIncompleteExhaustivityCheckMisleadingEmptyTypeImportImportHidingModule UnusedImportUnusedExplicitImportUnusedDctorImportUnusedDctorExplicitImportDuplicateSelectiveImportDuplicateImportDuplicateImportRefDuplicateExportRef IntOutOfRangeImplicitQualifiedImportImplicitQualifiedImportReExportImplicitImport HidingImportCaseBinderLengthDiffersIncorrectAnonymousArgumentInvalidOperatorInBinder!CannotGeneralizeRecursiveFunctionCannotDeriveNewtypeForDataExpectedWildcardCannotUseBindWithDoClassInstanceArityMismatchUserDefinedWarningUnusableDeclarationCannotDefinePrimModulesMixedAssociativityErrorNonAssociativeError TypeSearchTSBeforeTSAftertsAfterIdentifierstsAfterRecordFieldsContext MkUnguardedTypeFixityDeclarationValueFixityDeclaration ValueDeclonTypeSearchTypesonTypeSearchTypesM getModuleNamegetModuleSourceSpangetModuleDeclarationsaddDefaultImport importPrim compDecRefdeclRefSourceSpan declRefName getTypeRef getTypeOpRef getValueRef getValueOpRefgetTypeClassRef getKindRef isModuleRef isImplicit isExplicitoverTypeDeclarationgetTypeDeclarationunwrapTypeDeclarationoverValueDeclarationgetValueDeclarationmapTypeInstanceBodytraverseTypeInstanceBody declSourceAnndeclSourceSpandeclName isValueDecl isDataDecl isImportDeclisExternDataDeclisExternKindDecl isFixityDecl getFixityDecl isExternDeclisTypeClassInstanceDeclarationisTypeClassDeclaration flattenDecls$fEqDeclarationRef$fShowTypeSearch$fShowHintCategory$fEqHintCategory$fEqExportSource$fOrdExportSource$fShowExportSource$fGenericExportSource$fNFDataExportSource$fShowDeclarationRef$fGenericDeclarationRef$fNFDataDeclarationRef$fEqImportDeclarationType$fShowImportDeclarationType$fShowTypeDeclarationData$fEqTypeDeclarationData$fShowValueDeclarationData$fFunctorValueDeclarationData$fFoldableValueDeclarationData!$fTraversableValueDeclarationData$fEqValueFixity$fOrdValueFixity$fShowValueFixity$fEqTypeFixity$fOrdTypeFixity$fShowTypeFixity$fShowWhereProvenance$fShowAssocList $fEqAssocList$fOrdAssocList$fFoldableAssocList$fFunctorAssocList$fTraversableAssocList$fShowPathTree $fEqPathTree $fOrdPathTree$fFunctorPathTree$fFoldablePathTree$fTraversablePathTree$fShowPathNode $fEqPathNode $fOrdPathNode$fFunctorPathNode$fFoldablePathNode$fTraversablePathNode$fShowDoNotationElement $fShowGuard$fShowTypeInstanceBody$fShowErrorMessageHint$fShowSimpleErrorMessage$fFromJSONDeclarationRef$fToJSONDeclarationRef$fFromJSONImportDeclarationType$fToJSONImportDeclarationType isTrueExpr$fFromJSONExportSource$fToJSONExportSource ScopedIdent LocalIdent ToplevelIdent guardedExprMmapGuardedExprlitMeverywhereOnValuesTopDownMeverywhereOnValuesMeverythingWithContextOnValueseverywhereWithContextOnValuesMinScopeeverythingWithScope accumTypes accumKinds overTypes$fShowScopedIdent$fEqScopedIdent$fOrdScopedIdentexportedDeclarations isExporteddesugarLetPatternModule PrinterStateindent PlainStringStrPosSMapEmitemit addMappingparensparensT parensPos intercalaterunPlainString addMapping'bumpPosaddPosemptyPrinterState blockIndent withIndent currentIndentprettyPrintManyobjectKeyRequiresQuotingbeforebeforeWithSpaceendWith $fEmitStrPos$fMonoidStrPos$fSemigroupStrPos$fEmitPlainString$fSemigroupPlainString$fMonoidPlainStringprettyPrintKindPrettyPrintConstraintPrettyPrintType PPTUnknown PPTypeVarPPTypeLevelStringPPTypeWildcardPPTypeConstructorPPTypeOpPPSkolem PPTypeAppPPConstrainedType PPKindedTypePPBinaryNoParensTypePPParensInTypePPForAll PPFunctionPPRecordPPRow PPTruncatedconvertPrettyPrintType typeAtomAsBoxprettyPrintTypeAtom typeAsBoxsuggestedTypeAsBoxprettyPrintTypeprettyPrintTypeWithUnicodeprettyPrintSuggestedTypeprettyPrintLabelprettyPrintObjectKeyprettyPrintValueprettyPrintBinderAtomprettyPrintBinderExternsDeclarationEDType EDTypeSynonymEDDataConstructorEDValueEDClass EDInstanceEDKind edTypeName edTypeKindedTypeDeclarationKindedTypeSynonymNameedTypeSynonymArgumentsedTypeSynonymTypeedDataCtorNameedDataCtorOriginedDataCtorTypeCtoredDataCtorTypeedDataCtorFields edValueName edValueType edClassNameedClassTypeArgumentsedClassMembersedClassConstraintsedFunctionalDependenciesedInstanceClassNameedInstanceNameedInstanceTypesedInstanceConstraintsedInstanceChainedInstanceChainIndex edKindNameExternsTypeFixityefTypeAssociativityefTypePrecedenceefTypeOperator efTypeAlias ExternsFixityefAssociativity efPrecedence efOperatorefAlias ExternsImporteiModule eiImportType eiImportedAs ExternsFile efVersion efModuleName efExports efImports efFixitiesefTypeFixitiesefDeclarations efSourceSpanapplyExternsFileToEnvironmentmoduleToExternsFile$fShowExternsImport$fShowExternsFixity$fShowExternsTypeFixity$fShowExternsDeclaration$fShowExternsFile$fFromJSONExternsImport$fToJSONExternsImport$fFromJSONExternsFixity$fToJSONExternsFixity$fFromJSONExternsTypeFixity$fToJSONExternsTypeFixity$fFromJSONExternsDeclaration$fToJSONExternsDeclaration decodeExterns$fFromJSONExternsFile$fToJSONExternsFile PPEOptions ppeCodeColorppeFullppeLevel ppeShowDocsppeRelativeDirectoryLevelErrorWarningTypeMap umSkolemMap umUnknownMap umNextIndexMultipleErrorsrunMultipleErrorsErrorSuggestion errorSpan errorModulefindHintstripModuleAndSpan errorCodenonEmpty errorMessage errorMessage'errorMessage''errorMessage''' singleErroronErrorMessagesaddHintaddHintsdefaultUnknownMapunwrapErrorMessagereplaceUnknownsonTypesInErrorMessageonTypesInErrorMessageM errorDocUrierrorSuggestionsuggestionSpanshowSuggestion ansiColoransiColorReset colorCode colorCodeBoxdefaultCodeColordefaultPPEOptionsprettyPrintSingleErrorprettyPrintExportprettyPrintImportprettyPrintRefprettyPrintMultipleErrorsprettyPrintMultipleWarningsprettyPrintMultipleWarningsBoxprettyPrintMultipleErrorsBoxprettyPrintMultipleErrorsWithprettyPrintParseErrorprettyPrintParseErrorMessageslinelineS renderBoxtoTypelevelStringrethrow reifyErrors reflectErrorswarnAndRethrowrethrowWithPositionwarnWithPositionwarnAndRethrowWithPosition withPositionpositionedError filterErrorsescalateWarningWhenparU$fShowMultipleErrors$fSemigroupMultipleErrors$fMonoidMultipleErrors $fShowTypeMap $fShowLevelUnknown CheckStatecheckEnv checkNextType checkNextKindcheckNextSkolemcheckNextSkolemScopecheckCurrentModulecheckSubstitution checkHints Substitution substType substKindemptySubstitutionemptyCheckState bindNames bindTypeswithScopedTypeVarswithErrorMessageHintgetHintsrethrowWithPositionTCwarnAndRethrowWithPositionTCwithTypeClassDictionariesgetTypeClassDictionarieslookupTypeClassDictionaries#lookupTypeClassDictionariesForClassbindLocalVariablesbindLocalTypeVariablesmakeBindingGroupVisiblewithBindingGroupVisiblepreservingNameslookupVariable getVisibilitycheckVisibilitylookupTypeVariablegetEnvgetLocalContextputEnv modifyEnvrunCheck runCheck' guardWithcaptureSubstitutioncapturingSubstitutionwithFreshSubstitutionwithoutWarningsunsafeCheckCurrentModule SynonymMapreplaceAllTypeSynonymsreplaceAllTypeSynonymsMnewSkolemConstantintroduceSkolemScopenewSkolemScope skolemizeskolemizeTypesInValueskolemEscapeCheck freshType solveTypesubstituteTypeunknownsInType unifyTypes alignRowsWith unifyRowsreplaceVarWithUnknownreplaceTypeWildcards varIfUnknownsubsumeskindOfkindOfWithScopedVarskindsOf kindsOfAll SolverOptionssolverShouldGeneralizesolverDeferErrorsInstanceContextreplaceTypeClassDictionariesentailsnewDictionaries$fMonoidMatched$fSemigroupMatched$fShowEvidence $fEqEvidence$fShowEntailsResult $fEqMatched $fShowMatched$fFunctorMatched typeSearchBindingGroupTypeRecursiveBindingGroupNonRecursiveBindingGrouptypesOf$fShowBindingGroupType$fEqBindingGroupType$fOrdBindingGroupTypedesugarTypeDeclarationsModuleReapplyFromOpChaintoAssoc parseValueparseOpmatchOpopTablematchOperatorsmatchTypeOperatorsmatchExprOperatorsmatchBinderOperatorsdesugarSignedLiterals rebracketrebracketFilteredcheckFixityExportsdesugarObjectConstructors desugarDecl ExportModeInternalReExportEnvExports exportedTypesexportedTypeOpsexportedTypeClassesexportedValuesexportedValueOps exportedKindsImports importedTypesimportedTypeOpsimportedDataConstructorsimportedTypeClassesimportedValuesimportedValueOpsimportedModulesimportedQualModules importedKindsImportProvenance FromImplicit FromExplicitLocal ImportRecord importNameimportSourceModuleimportSourceSpanimportProvenance nullImports nullExportsenvModuleSourceSpanenvModuleImportsenvModuleExports primExportsprimEnv exportType exportTypeOpexportTypeClass exportValue exportValueOp exportKind getExportscheckImportConflicts$fEqImportProvenance$fOrdImportProvenance$fShowImportProvenance$fEqImportRecord$fOrdImportRecord$fShowImportRecord $fShowImports $fShowExports$fEqExportMode$fShowExportMode ImportDef findImportsresolveImportsresolveModuleImportwarnDuplicateRefsfindExportableresolveExportsdesugarDoModuledesugarCasesModuledesugarCaseGuards desugarCasesdesugarTypeClassestypeClassMemberNamesuperClassDictionaryNamescreateBindingGroupsModulecollapseBindingGroupsModulecreateBindingGroupscollapseBindingGroupsdesugarAdoModuleModuleSignature sigSourceSpan sigModuleName sigImports ModuleGraph sortModulesmoduleSignatureunMakerunMakemakeIO readTextFile$fMonadBaseControlIOMake$fMonadBaseIOMake $fFunctorMake$fApplicativeMake $fMonadMake $fMonadIOMake$fMonadErrorMake$fMonadWriterMake$fMonadReaderMake UsedImports lintImportsdesugarImportsWithEnvcheckExhaustiveExprlint checkNewtypetypeCheckModulederiveInstances$fMonoidNewtypeDerivedInstances"$fSemigroupNewtypeDerivedInstances$fShowNewtypeDerivedInstancesdesugar FixityAlias RenderedCodeRenderedCodeElementSyntaxKeywordSymbol ValueLevel TypeLevel KindLevelLinkNoLinkContainingModule ThisModule OtherModuleasContainingModulemaybeToContainingModulecontainingModuleToMaybefromContainingModule fromQualifiedasRenderedCodeElementasRenderedCode outputWithspsyntaxkeyword keywordForall keywordDatakeywordNewtype keywordType keywordClasskeywordInstance keywordWhere keywordFixity keywordKind keywordAsidentdataCtortypeCtortypeOptypeVarkindalias aliasName$fFromJSONContainingModule$fToJSONContainingModule$fFromJSONLink $fToJSONLink$fFromJSONNamespace$fToJSONNamespace$fNFDataNamespace$fToJSONRenderedCodeElement$fToJSONRenderedCode$fShowContainingModule$fEqContainingModule$fOrdContainingModule $fShowLink$fEqLink $fOrdLink$fShowNamespace $fEqNamespace$fOrdNamespace$fGenericNamespace$fShowRenderedCodeElement$fEqRenderedCodeElement$fOrdRenderedCodeElement$fShowRenderedCode$fEqRenderedCode$fOrdRenderedCode$fSemigroupRenderedCode$fMonoidRenderedCode renderKind renderRow renderType renderType'renderTypeAtomrenderTypeAtom' LinkLocation LocalModule DepsModule BuiltinModuleDocLink linkLocation linkTitle linkNamespace LinksContext ctxGithub ctxModuleMapctxResolvedDependenciesctxPackageName ctxVersion ctxVersionTag InPackageFromDep PackageErrorCompilerTooOldErrorInPackageMetaInvalidVersionInvalidDeclarationTypeInvalidChildDeclarationType InvalidFixity InvalidKindInvalidDataDeclType InvalidTime GithubRepo runGithubRepo GithubUser runGithubUserChildDeclarationInfo ChildInstanceChildDataConstructorChildTypeClassMemberChildDeclaration cdeclTitle cdeclCommentscdeclSourceSpan cdeclInfoDeclarationInfoAliasDeclaration declTitle declComments declChildrendeclInfomodName modCommentsmodDeclarations modReExports ManifestErrorVerifiedPackageUploadedPackage NotYetKnownPackagepkgMeta pkgVersion pkgVersionTag pkgTagTime pkgModules pkgModuleMappkgResolvedDependencies pkgGithub pkgUploaderpkgCompilerVersion Constraint'Kind'Type' verifyPackage packageNamejsonTimeFormat formatTime parseTimeconvertFundepsToStringsdeclInfoToStringdeclInfoNamespace isTypeClassisValueisType isValueAlias isTypeAliasisKindfilterChildrenchildDeclInfoToStringchildDeclInfoNamespaceisTypeClassMemberisDataConstructor takeLocal takeLocals ignorePackagegetLinkgetLinksContextparseUploadedPackageparseVerifiedPackage asPackageparseTimeEitherasUploadedPackage asNotYetKnownasVerifiedPackagedisplayPackageError asGithubUser asVersion parseVersion'asModule asDeclaration asReExportpOr asInPackageasFixity asFixityAliasparseAssociativityasAssociativityasDeclarationInfoasTypeArgumentsasKindasType asFunDepsasDataDeclTypeasChildDeclarationasChildDeclarationInfo asSourcePos asConstraintasQualifiedProperNameasQualifiedIdent asSourceAnn asModuleMapbookmarksAsModuleMapasResolvedDependenciesparsePackageName'mapLeftasGithub asSourceSpanassocListToJSON$fToJSONNotYetKnown$fFromJSONNotYetKnown$fNFDataNotYetKnown$fToJSONDeclarationInfo$fNFDataDeclarationInfo$fToJSONChildDeclarationInfo$fNFDataChildDeclarationInfo$fToJSONChildDeclaration$fNFDataChildDeclaration$fToJSONDeclaration$fNFDataDeclaration$fToJSONGithubUser$fFromJSONGithubUser$fNFDataGithubUser$fToJSONGithubRepo$fNFDataGithubRepo$fNFDataPackageError$fToJSONInPackage$fFunctorInPackage$fNFDataInPackage$fToJSONModule$fNFDataModule$fToJSONPackage$fFromJSONPackage$fNFDataPackage$fNFDataLinksContext$fNFDataLinkLocation$fNFDataDocLink$fShowNotYetKnown$fEqNotYetKnown$fOrdNotYetKnown$fGenericNotYetKnown$fShowDeclarationInfo$fEqDeclarationInfo$fOrdDeclarationInfo$fGenericDeclarationInfo$fShowChildDeclarationInfo$fEqChildDeclarationInfo$fOrdChildDeclarationInfo$fGenericChildDeclarationInfo$fShowChildDeclaration$fEqChildDeclaration$fOrdChildDeclaration$fGenericChildDeclaration$fShowGithubUser$fEqGithubUser$fOrdGithubUser$fGenericGithubUser$fShowGithubRepo$fEqGithubRepo$fOrdGithubRepo$fGenericGithubRepo$fShowPackageError$fEqPackageError$fOrdPackageError$fGenericPackageError$fShowInPackage $fEqInPackage$fOrdInPackage$fGenericInPackage $fShowPackage $fEqPackage $fOrdPackage$fGenericPackage$fShowLinksContext$fEqLinksContext$fOrdLinksContext$fGenericLinksContext$fShowLinkLocation$fEqLinkLocation$fOrdLinkLocation$fGenericLinkLocation $fShowDocLink $fEqDocLink $fOrdDocLink$fGenericDocLinktags dumpEtags dumpCtagsprimDocsModuleprimRowDocsModuleprimTypeErrorDocsModulerenderDeclarationrenderChildDeclarationrenderConstraintrenderConstraints notQualifiedident' dataCtor'typeApp toTypeVarconvertSingleModuleconvertCommentsupdateReExports$fMonoidTypeClassEnv$fSemigroupTypeClassEnv$fShowTypeClassEnvASTUnaryBinaryIndexerFunctionBlockVariableIntroduction AssignmentWhileForForInIfElseReturnReturnNoResultThrow InstanceOfBinaryOperatorAddSubtractMultiplyDivideModulusEqualTo NotEqualToLessThanLessThanOrEqualTo GreaterThanGreaterThanOrEqualToAndOr BitwiseAnd BitwiseOr BitwiseXor ShiftLeft ShiftRightZeroFillShiftRight UnaryOperatorNegateNot BitwiseNotPositiveNewwithSourceSpan getSourceSpan everywhereeverywhereTopDowneverywhereTopDownM everything$fShowUnaryOperator$fEqUnaryOperator$fShowBinaryOperator$fEqBinaryOperator $fShowAST$fEqASTtcoapplyAll replaceIdent replaceIdents isReassigned isReboundisUsedtargetVariable isUpdatedremoveFromBlockisDictisDict'removeCodeAfterReturnStatementsremoveUndefinedApp magicDoEff magicDoEffect magicDoSTinlineST etaConvertunThunk evaluateIifesinlineVariablesinlineCommonValuesinlineCommonOperatorsinlineFnCompositioninlineUnsafeCoerceinlineUnsafePartialcollapseNestedBlockscollapseNestedIfsoptimizemoduleToCoreFnrenameInModules moduleToJSONmoduleFromJSON moduleToJsprettyPrintJSWithSourceMaps prettyPrintJScommentcomments sourcePos sourceSpan convertKind convertType convertExpr convertBinderconvertDeclarationconvertImportDecl convertModule pureResultparseModulesFromFilesparseFromFilesparseModuleFromFile parseFromFileunwrapParserErrortoMultipleErrorstoPositionedError MakeActionsgetInputTimestampgetOutputTimestamp readExternscodegen ffiCodegenprogressExternsProgressMessageCompilingModule RebuildPolicy RebuildNever RebuildAlwaysbuildMakeActionscheckForeignDecls$fShowRebuildPolicy$fEqRebuildPolicy$fOrdRebuildPolicy$fShowProgressMessage$fEqProgressMessage$fOrdProgressMessage BuildPlan markComplete needsRebuild collectErrorscollectResults getResult construct rebuildModulemakeinferForeignModulesversion OtherError ProcessFailedIOExceptionThrown JSONSourceFromFileFromResolutions InternalErrorCouldntParseGitTagDateRepositoryFieldErrorRepositoryFieldMissingBadRepositoryType NotOnGithub UserErrorPackageManifestNotFoundResolutionsFileNotFoundCouldntDecodePackageManifestTagMustBeCheckedOutAmbiguousVersionsBadRepositoryFieldNoLicenseSpecifiedInvalidLicenseMissingDependencies CompileErrorDirtyWorkingTreeResolutionsFileErrorPackageWarningNoResolvedVersionUnacceptableVersionDirtyWorkingTree_WarnLegacyResolutionsFormat printErrorprintErrorToStdout renderErrorrenderWarnings printWarnings$fMonoidCollectedWarnings$fSemigroupCollectedWarnings$fShowPackageWarning$fShowRepositoryFieldError$fShowUserError$fShowInternalError$fShowJSONSource$fShowOtherError$fShowCollectedWarnings$fEqCollectedWarnings$fOrdCollectedWarnings DirectiveHelpQuitReloadClearBrowseShowPasteCompletePrint ReplQuery QueryLoaded QueryImport QueryPrintCommand ExpressionShowHelp BrowseModuleQuitPSCi ReloadState ClearStateDeclsTypeOfKindOfShowInfo PasteLines CompleteStrSetInteractivePrintImportedModule PSCiState PSCiConfig psciFileGlobspsciImportedModulespsciLetBindingspsciLoadedExternspsciInteractivePrint psciImports psciExportsinitialPSCiStateinitialInteractivePrintpsciEnvironmentpsciImportedModuleNamesupdateImportedModulesupdateLoadedExterns updateLetssetInteractivePrint replQueriesreplQueryStrings showReplQueryparseReplQuery$fShowPSCiConfig$fShowPSCiState $fEqReplQuery$fShowReplQuery $fShowCommand $fEqDirective$fShowDirective directivesdirectiveStringsdirectiveStrings'strings stringsFor stringFordirectivesFor' directivesFordirectiveStringsForparseDirectivehelpguideURL helpMessageprologueMessagenoInputMessagesupportModuleMessage quitMessagetextTprintModuleSignatures parseDotFile parseCommand CompletionMliftCompletionM completion completion'formatCompletions$fShowCompletionContextDigraph _unDigraph GraphName _unGraphNameGraph graphNamedigraphSuperMap _unSuperMap prettyPrinttypeClassGraphtypeClassPrologue typeClassBodytypeClassEpilogue superClasses $fOrdSuperMap $fEqSuperMap $fEqGraphName$fShowGraphName $fEqDigraph $fShowDigraph $fEqGraph $fShowGraph JSONResultwarningserrors JSONErrorpositionmessage errorLinkfilename suggestionallSpans replacement replaceRange ErrorPosition startLine startColumnendLine endColumn$fShowErrorPosition$fEqErrorPosition$fOrdErrorPosition$fShowErrorSuggestion$fEqErrorSuggestion$fShowJSONError $fEqJSONError$fShowJSONResult$fEqJSONResult$fFromJSONErrorPosition$fToJSONErrorPosition$fFromJSONJSONError$fToJSONJSONError$fFromJSONJSONResult$fToJSONJSONResult toJSONErrors toJSONError$fFromJSONErrorSuggestion$fToJSONErrorSuggestionIdeTypeOperator_ideTypeOpName_ideTypeOpAlias_ideTypeOpPrecedence_ideTypeOpAssociativity_ideTypeOpKindIdeValueOperator_ideValueOpName_ideValueOpAlias_ideValueOpPrecedence_ideValueOpAssociativity_ideValueOpType IdeInstance_ideInstanceModule_ideInstanceName_ideInstanceTypes_ideInstanceConstraints IdeTypeClass _ideTCName _ideTCKind_ideTCInstancesIdeDataConstructor _ideDtorName_ideDtorTypeName _ideDtorTypeIdeTypeSynonym_ideSynonymName_ideSynonymType_ideSynonymKindIdeType _ideTypeName _ideTypeKind _ideTypeDtorsIdeValue_ideValueIdent _ideValueTypeIdeDeclaration IdeDeclValue IdeDeclTypeIdeDeclTypeSynonymIdeDeclDataConstructorIdeDeclTypeClassIdeDeclValueOperatorIdeDeclTypeOperator IdeDeclModule IdeDeclKind ModuleMap ModuleIdent _IdeDeclValue _IdeDeclType_IdeDeclTypeSynonym_IdeDeclDataConstructor_IdeDeclTypeClass_IdeDeclValueOperator_IdeDeclTypeOperator _IdeDeclKind_IdeDeclModuleanyOf$fShowIdeValue $fEqIdeValue $fOrdIdeValue$fGenericIdeValue$fNFDataIdeValue $fShowIdeType $fEqIdeType $fOrdIdeType$fGenericIdeType$fNFDataIdeType$fShowIdeTypeSynonym$fEqIdeTypeSynonym$fOrdIdeTypeSynonym$fGenericIdeTypeSynonym$fNFDataIdeTypeSynonym$fShowIdeDataConstructor$fEqIdeDataConstructor$fOrdIdeDataConstructor$fGenericIdeDataConstructor$fNFDataIdeDataConstructor$fShowIdeInstance$fEqIdeInstance$fOrdIdeInstance$fGenericIdeInstance$fNFDataIdeInstance$fShowIdeTypeClass$fEqIdeTypeClass$fOrdIdeTypeClass$fGenericIdeTypeClass$fNFDataIdeTypeClass$fShowIdeValueOperator$fEqIdeValueOperator$fOrdIdeValueOperator$fGenericIdeValueOperator$fNFDataIdeValueOperator$fShowIdeTypeOperator$fEqIdeTypeOperator$fOrdIdeTypeOperator$fGenericIdeTypeOperator$fNFDataIdeTypeOperator$fShowIdeDeclaration$fEqIdeDeclaration$fOrdIdeDeclaration$fGenericIdeDeclaration$fNFDataIdeDeclaration ideValueIdent ideValueType ideTypeDtors ideTypeKind ideTypeNameideSynonymKindideSynonymNameideSynonymType ideDtorName ideDtorTypeideDtorTypeNameideTCInstances ideTCKind ideTCNameideInstanceConstraintsideInstanceModuleideInstanceNameideInstanceTypesideValueOpAliasideValueOpAssociativityideValueOpNameideValueOpPrecedenceideValueOpType Annotation _annLocation_annExportedFrom_annTypeAnnotation_annDocumentationIdeDeclarationAnn_idaAnnotation_idaDeclarationideTypeOpAliasideTypeOpAssociativity ideTypeOpKind ideTypeOpNameideTypeOpPrecedence$fShowAnnotation$fEqAnnotation$fOrdAnnotation$fGenericAnnotation$fNFDataAnnotation$fShowIdeDeclarationAnn$fEqIdeDeclarationAnn$fOrdIdeDeclarationAnn$fGenericIdeDeclarationAnn$fNFDataIdeDeclarationAnnannDocumentationannExportedFrom annLocationannTypeAnnotation IdeNamespaced IdeNamespace IdeNSValue IdeNSType IdeNSKind IdeNSModuleSuccessCompletionResult TextResult UsagesResultMultilineTextResult ImportList ModuleListRebuildSuccess Completion complModulecomplIdentifier complTypecomplExpandedType complLocationcomplDocumentationcomplExportedFromMatchIdeVolatileState vsAstDatavsDeclarationsvsCachedRebuild IdeFileState fsExterns fsModulesIdeState ideFileStateideVolatileStateIdeIdeEnvironment ideStateVarideConfigurationIdeConfigurationconfOutputPath confLogLevel confGlobsconfEditorMode IdeLogLevelLogDebugLogPerfLogAll LogDefaultLogNoneAstDataTypeAnnotationsDefinitionSites idaAnnotationidaDeclarationemptyAnn emptyIdeStateemptyFileStateemptyVolatileStateidentifierFromDeclarationRef encodeSuccess encodeImport$fToJSONCompletion$fToJSONSuccess$fFromJSONIdeNamespace$fShowIdeLogLevel$fEqIdeLogLevel$fShowIdeFileState $fShowMatch $fEqMatch$fFunctorMatch$fShowCompletion$fEqCompletion$fOrdCompletion $fShowSuccess$fShowIdeNamespace$fEqIdeNamespace$fOrdIdeNamespace$fGenericIdeNamespace$fNFDataIdeNamespace$fShowIdeNamespaced$fEqIdeNamespaced$fOrdIdeNamespaced$fGenericIdeNamespaced$fNFDataIdeNamespaced $fShowAstData $fEqAstData $fOrdAstData$fGenericAstData$fNFDataAstData$fFunctorAstData$fFoldableAstData$fShowIdeVolatileState$fShowIdeStateidePrimDeclarations labelTimespeclogPerfdisplayTimeSpecDeclarationTypeValueSynonymDataConstructor TypeClass ValueOperator TypeOperatordeclarationType$fFromJSONDeclarationType$fShowDeclarationType$fEqDeclarationType$fOrdDeclarationTypeIdeError GeneralErrorNotFoundModuleFileNotFound ParseError RebuildErrorprettyPrintTypeSingleLine$fToJSONIdeError$fShowIdeErrorreadExternFileconvertExternsmodulesAsMarkdownmoduleAsMarkdown codeToStringrunDocs $fShowFirst $fEqFirst $fOrdFirstHtmlRenderContext buildDocLink renderDocLinkrenderSourceLinkHtmlOutputModulehtmlOutputModuleLocalshtmlOutputModuleReExports HtmlOutput htmlIndex htmlModules declNamespacenullRenderContext packageAsHtml moduleAsHtml makeFragmentrenderMarkdown$fShowHtmlOutputModule$fFunctorHtmlOutputModule$fShowHtmlOutput$fFunctorHtmlOutputfixCRLF readUTF8FileTwriteUTF8FileT readUTF8File writeUTF8FilesupportModuleNamesupportModuleIsDefined loadModuleloadAllModulescreateTemporaryModulecreateTemporaryModuleForKindcreateTemporaryModuleForImports importDecl indexFile modulesDir internalSpan handleCommandidentifierFromIdeDeclarationnamespaceForDeclaration discardAnn withEmptyAnn unwrapMatchvalueOperatorAliasTtypeOperatorAliasTencodeTdecodeT properNameTidentTopNameT ideReadFileextractAstInformationextractTypeAnnotations extractSpansReexportResult reResolvedreFailedprettyPrintReexportResultreexportHasFailuresresolveReexportsresolveReexports'$fNFDataReexportResult$fShowReexportResult$fEqReexportResult$fFunctorReexportResult$fGenericReexportResult resetIdeStategetLoadedModulenamesgetExternFiles insertModule getFileState getAllModules insertExternsinsertExternsSTM cacheRebuild cachedRebuildpopulateVolatileStateSyncpopulateVolatileStatepopulateVolatileStateSTMresolveInstancesresolveOperatorsForModule resolveDataConstructorsForModulewatcher findUsagesfindReexportingModulesdirectDependantseligibleModules applySearchWildcardAnnotationsexplicitAnnotations noAnnotations caseSplit makePattern addClause rebuildFilerebuildFileAsyncrebuildFileSyncMatcher flexMatcher runMatcher$fFromJSONMatcher$fSemigroupMatcher$fMonoidMatcherFilter moduleFilternamespaceFilter exactFilter prefixFilterdeclarationTypeFilter applyFilters$fFromJSONFilter$fShowDeclarationFilter $fShowFilterCompletionOptions coMaxResultscoGroupReexportsgetCompletionsgetExactMatchesgetExactCompletionsdefaultCompletionOptionsapplyCompletionOptions simpleExportcompletionFromMatch$fFromJSONCompletionOptions$fShowNamespaced$fEqNamespaced$fOrdNamespacedListType LoadedModulesAvailableModules ImportCommandAddImplicitImportAddQualifiedImportAddImportForIdentifierLoadLoadSync CaseSplit AddClause FindUsagesListRebuild RebuildSyncCwdReset typeFilterstypeCurrentModulecompleteFilterscompleteMatchercompleteCurrentModulecompleteOptions caseSplitLinecaseSplitBegin caseSplitEndcaseSplitAnnotations caseSplitType addClauseLineaddClauseAnnotations usagesModuleusagesIdentifierusagesNamespacelistType commandName$fFromJSONImportCommand$fFromJSONListType$fFromJSONCommand$fShowImportCommand$fEqImportCommandparseImportsFromFilesliceImportSectionaddImplicitImportaddImplicitImport'addQualifiedImportaddQualifiedImport'addExplicitImport'addImportForIdentifierprettyPrintImport'prettyPrintImportSection answerRequest parseImport collectDocsPrepareMPublishOptionspublishGetVersionpublishGetTagTimepublishWorkingTreeDirtypublishCompileOutputDirpublishManifestFilepublishResolutionsFiledefaultPublishOptionsunsafePreparePackagepreparePackage runPrepareMwarn userError otherErrorpreparePackage' getModulesgetGitWorkingTreeStatuscheckCleanWorkingTreegetVersionFromGitTaggetManifestRepositoryInfo$fMonadIOPrepareM$fFunctorPrepareM$fApplicativePrepareM$fMonadPrepareM$fMonadWriterPrepareM$fMonadErrorPrepareM$fShowTreeStatus$fEqTreeStatus$fOrdTreeStatus$fEnumTreeStatus$fShowDependencyStatus$fEqDependencyStatusghc-prim GHC.TypesTrueFalse codePointsHappyStkbase GHC.MaybeNothingclosedRecordFieldsoptimizeUnusedPartialFn getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName ModuleElementKeycheckImportPathwithDepstoModulecompile isModuleEmptycodeGenfilterDataConstructorsfilterInstancestypeInstanceConstituentsisDctorExportedreorderdesugarLetPatternprettyPrintRowWithlistprettyPrintValueAtom occursCheckCoercionModeSingModedefaultCoercion subsumes' freshKind solveKindsubstituteKind unifyKinds solveTypes starIfUnknowninfer EntailsResultSolvedUnsolvedDeferredMatching TypeClassDictEvidence NamedInstance WarnInstanceIsSymbolInstanceEmptyClassInstancenamedInstanceIdentifier pairwiseAll pairwiseAny checkSubsumeaccessorSearchSplitBindingGroup_splitBindingGroupUntyped_splitBindingGroupTyped_splitBindingGroupNames TypedValue'tvToExprtypeDictionaryForBindingGroupcheckTypedBindingGroupElementtypeForBindingGroupElement checkTypeKindinstantiatePolyTypeWithUnknownsinfer' inferBinderbinderRequiresMonotypeinstantiateForBinders checkBinderscheckcheck'checkPropertiescheckFunctionApplicationcheckFunctionApplication'ensureNoDuplicateProperties FixityRecordGHC.NumprimBooleanExportsprimOrderingExportsprimRowExportsprimRowListExportsprimSymbolExportsprimTypeErrorExports mkPrimExports addExportthrowDeclConflictthrowExportConflictthrowExportConflict' resolveImport filterModule desugarDodesugarGuardedExprs validateCasestoBindingGroup desugarAdo usedModulesIO mtl-2.2.2Control.Monad.Error.Class MonadErrorelaborateExportsreorderExportsrenameInModuleRedundancyError qualifyNamegetConstructors initialize genericMergemissingCasesSinglemissingCasesMultipleisExhaustiveGuardGHC.Base otherwise missingCasescheckExhaustivecheckTypeSynonyms typeCheckAllcheckTypeClassInstanceNewtypeDerivedInstances ndiClassesndiDerivedInstancesextractNewtypeNamederiveInstanceMaybetryAlltryParseunpackFixityAliaspure ApplicativelookupPrimClassOfDeclarationAugmentIntermediateDeclaration AugmentType AugmentClassaugmentDeclarations mkDeclaration TypeClassEnvenvUnhandledMembers envValuesenvTypeClasses getReExportscollectDeclarationslookupTypeDeclarationlookupModuleDeclarations handleEnvfilterTypeClassMemberstypeClassConstraintForfindQualModulesimportToCoreFnexternToCoreFnexportToCoreFnmkTypeClassConstructor properToIdent RenameState rsBoundNames rsUsedNames runRenamenewScope updateScope lookupIdentfindDeclIdents renameInDecl renameInValuerenameInLiteralrenameInCaseAlternativerenameInBinderprettyPrintJS'renderProgressMessageinsertValueTypespartiallyDesugarpsciExpression psciImportpsciDeclarationfindCompletionshaskeline-0.7.4.3#System.Console.Haskeline.CompletioncompleteWordWithPrevcompletionContext printErrorsrebuildhandleReloadStatehandleClearStatehandleExpression handleDeclshandleShowLoadedModuleshandleShowImportedModules handleImport handleTypeOf handleKindOf handleBrowsehandleCompletehandleSetInteractivePrintinsertModuleSTMgetFileStateSTMgetVolatileStategetVolatileStateSTMsetVolatileStateSTM reloadFileSearch matchesRefMakeActionsEnvrebuildModuleOpen shushProgress shushCodegen sortExternsopenModuleExports ImportParse ipModuleNameipStartipEnd ipImportsparseImportsFromFile'addExplicitImportfindAvailableExternsfindAllSourceFilesloadModulesAsynccompileForDocsoperateAndRetaggetModulePackageInfo NoResolution ResolvedOtherResolvedVersion getTagTime isValidSPDX asResolutionsasLegacyResolutions handleDeps