h&b1"      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                              !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! " # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & ' ' ' ' ' ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * + + + + + + , , ,,,,,,,,,,,,,,,,------...............................................................................................................................................................////////////////////000000000000111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111122233333334555555555555555556666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666677777777777777777777889::::::::::::::::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<<<=>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>???????@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@AAAABBBBBBCCCCCCCCCCCCCCCCCCCCCDDDDDDDDDEFFFFFFFFFFFFFFGGGGGGGGGGGGGGGGGGGHIJJJJJJJJJJKLMNNOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOPPPPQRRSTTTUUUUUUVWWWWWWWWWWWXXYZ[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[\\\\\\]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]^__________```aaaabbbbbbbbbbccdeeeeeeeeeefghiiijjkllmmmmmmmmmmnnnnnnnnnnooooooooooooppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppqqqrsssssssttuvvvvvvvvvwwxyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyzzz{{{{{{{{{{||||}}~~~~                                                                                                                                !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" Safe-Inferred "%&'(/189:;A module is just a list of elements of the types listed above." purescript purescript3Prepare an error message for consumption by humans.'()*+,-./0124356789:;<=>?@0124356789:;<=>+,-.?'()*@/ Safe-Inferred""%&'(/189:;Declare a list of variables; shorthand for repeatedly calling "." purescriptFor every variable declared within, create a pattern synonym prefixed with P_? having type `forall a. (Eq a, IsString a) => (ModuleName, a)`." purescriptFor every variable declared within, cerate a pattern synonym prefixed with I_ having type `Qualified Ident`." purescriptFor every variable declared within, cerate a pattern synonym prefixed with S_1 having type `forall a. (Eq a, IsString a) => a`." purescriptPrefix the names of all enclosed declarations with the provided string, to prevent collisions with other identifiers. For example, `prefixWith "function"` would turn I_apply into I_functionApply, and  C_Example into C_FunctionExample.""""""""""""""" Safe-Inferred#"%&'(-/189:;=X.Y.Z The value with which the dictionary can be accessed at runtime purescript8How to obtain this instance via superclass relationships purescriptThe name of the type class to which this type class instance applies purescriptQuantification of type variables in the instance head and dependencies purescript3The kinds to which this type class instance applies purescript3The types to which this type class instance applies purescriptType class dependencies which must be satisfied to construct this dictionary purescriptIf this instance was unnamed, the type to use when describing it in error messages purescriptGenerate a name for a superclass reference which can be used in generated code.0 Safe-Inferred "%&'(/189:; b, b -> a, b -> c``` In this case, a must differ when b differs, and vice versa - each is determined by the other. Both a and b: can be used in selecting a type class instance. However, c% cannot - it is fully determined by a and b.Define a graph of type class arguments with edges being fundep determiners to determined. Each argument also has a self looping edge. An argument is fully determined if doesn't appear at the start of a path of strongly connected components. An argument is not fully determined otherwise.The way we compute this is by saying: an argument X is fully determined if there are arguments that determine X that X does not determine. This is the same thing: everything X determines includes everything in its SCC, and everything determining X is either before it in an SCC path, or in the same SCC. purescriptKind of ground types 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$Smart constructor for function types purescriptThe primitive types in the external environment with their associated kinds. There are also pseudo Fail, Warn, and Partial; types that correspond to the classes with the same names. 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 Lens s s a b -> (a -> (r, b)) -> m r (%% ~):: MonadState s m =( Lens s s a b -> (a -> m (r, b)) -> m r Replacing the `=` with "1 was inspired by analogy with the following pair: 7(.=) :: MonadState s m => Lens s s a b -> b -> m () ( ~):: MonadState s m = Lens s s a b -> m b -> m () #I regret any confusion that ensues.Note that there are two interpretations that could reasonably be expected for this type. (%% ~):: MonadState s m =( Lens s s a b -> (a -> m (r, b)) -> m r One is: * Get the focused a value from the monad * Run the computation * Get the new state from the returned monad * Take the returned b" value and set it in the new state!The other is: * Get the focused a value from the monad * Run the computation * Take the returned b value and set it in the *original* state * Put the result into the returned monadThis operator corresponds to the second interpretation. The purpose of this, and part of the purpose of having this operator at all instead of composing simpler operators, is to enable using the lens only once (on the original state) instead of twice (for a get and a set on different states)." purescript&Append a value at a given scope depth." purescript9Remove and return an entire scope from a map of bindings." purescript#The monad in which CSE takes place." purescriptMap from the shape of an expression to an identifier created to represent that expression, organized by scope depth." purescriptRun a CSEMonad computation; the return value is augmented with a map of identifiers that should be replaced in the final expression because they didn't end up needing to be floated." purescriptMark all expressions floated out of this computation as "plural". This pass assumes that any given Abs may be invoked multiple times, so any expressions inside the Abs but floated out of it also count as having multiple uses, even if they only appear once within the Abs. Consequently, any expressions that can be floated out of an Abs won't be reinlined at the end." purescript,Run the provided computation in a new scope." purescript?Record a list of identifiers as being bound in the given scope." purescriptRun the provided computation in a new scope in which the provided identifiers are bound non-recursively." purescriptProduce, or retrieve from the state, an identifier for referencing the given expression, at and below the given depth." purescript6Use a map to substitute local Vars in a list of Binds." purescriptStore in the monad a new binding for the given expression, returning a Var referencing it. The provided CSESummary will be transformed to reflect the replacement." purescriptTake possession of the Binds intended to be added to the current scope, removing them from the state, and return the list of Binds along with whatever value is returned by the provided computation." purescriptLike getNewBinds, but also stores the Binds in a Let wrapping the provided expression. If said expression is already a Let, adds these Binds to that Let instead." purescriptFeed the Writer part of the monad with the requirements of this name." purescript9Collect all the Idents put in scope by a list of Binders. purescriptFloat synthetic Apps (right now, the only Apps marked as synthetic are type class dictionaries being fed to functions with constraints, superclass accessors, and instances of IsSymbol) to a new or existing Let as close to the top level as possible." purescriptplease read as Lens s s a b"44 Safe-Inferred "%&'(/189:; aIn this example identity is the identifier and forall a. a -> a the type. purescriptA role declaration assigns a list of roles to a type constructor's parameters, e.g.: $type role T representational phantomIn this example, T is the identifier and epresentational, phantom] is the list of roles (T# presumably having two parameters). purescript8The data type which specifies type of import declaration purescript,An import with no explicit list: `import M`. purescriptAn import with an explicit list of references to import: `import M (foo)` purescriptAn 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 class purescriptA type operator purescript)A type constructor with data constructors purescriptA value purescriptA value-level operator purescript:A type class instance, created during typeclass desugaring purescriptA module, in its entirety purescriptA 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 purescriptError message hints, providing more detailed information about failure. purescriptHolds the data necessary to do type directed search for typed holes purescriptAn Environment captured for later consumption by type directed search purescript8The identifiers that fully satisfy the subsumption check purescriptRecord fields that are available on the first argument to the typed hole purescript&A map of locally-bound names in scope. purescriptReturn a module's name. purescriptReturn a module's source span. purescriptReturn a module's declarations. purescriptAdd an import declaration for a module if it does not already explicitly import it.Will not import an unqualified module if that module has already been imported qualified. (See #2197) purescriptAdds import declarations to a module for an implicit Prim import and Prim | qualified as Prim, as necessary. purescript A traversal for TypeInstanceBody purescript,Test if a declaration is a value declaration purescript0Test if a declaration is a data type declaration purescript3Test if a declaration is a type synonym declaration purescript(Test if a declaration is a module import purescript+Test if a declaration is a role declaration purescript3Test if a declaration is a data type foreign import purescript-Test if a declaration is a fixity declaration purescript)Test if a declaration is a foreign import purescript:Test if a declaration is a type class instance declaration purescript1Test if a declaration is a type class declaration purescript6Test if a declaration is a kind signature declaration. purescriptRecursively flatten data binding groups in the list of declarations7 Safe-Inferred "%&'(/189:; Safe-Inferred "%&'(/189:;Temporarily bind a collection of names to local type variables purescript-Update the visibility of all names to Defined purescriptUpdate 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 purescriptRun 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 messageA Safe-Inferred""%&'()*/189:;Replace fully applied type synonyms by explicitly providing a .B Safe-Inferred "%&'(/189:; N a -> N b example = coerce yield a wanted Coercible (N a) (N b) that we can decompose to  Coercible a b then discharge with the given if the newtype unwrapping rules do not apply.# purescriptThe constructor may not be in scope or may not belong to a newtype.# purescript?A successful canonicalization result has two possible outcomes:# purescript8Canonicalization can yield a set of derived constraints,# purescriptor we can learn the constraint is irreducible. Irreducibility is not necessarily an error, we may make further progress by interacting with inerts.# purescriptA successful interaction between an irreducible constraint and an inert given constraint has two possible outcomes:# purescript/The interaction can yield a derived constraint,# purescriptor we can learn the irreducible constraint is redundant and discharge it. purescript'State of the wanted constraints solver. purescriptA set of irreducible given constraints which do not interact together, but which could interact with the wanteds. purescriptA set of irreducible wanted constraints which do not interact together, nor with any given. purescript$Wanted constraints yet to be solved. purescript&State of the given constraints solver. purescriptA set of irreducible given constraints which do not interact together. purescript#Given constraints yet to be solved. purescriptInitialize the given constraints solver state with the givens to solve. purescript1The given constraints solver follows these steps: Solving can diverge for recursive newtypes, so we check the solver depth and abort if we crossed an arbitrary limit.For instance the declarations: newtype N a = N (a -> N a) example :: forall a b. N a -> N b example = coerce yield the wanted Coercible (N a) (N b)- which we can unwrap on both sides to yield Coercible (a -> N a) (b -> N b)', which we can then decompose back to  Coercible a b and Coercible (N a) (N b). We pick a constraint from the unsolved queue. If the queue is empty we are done, otherwise we unify the constraint arguments kinds and continue.+Then we try to canonicalize the constraint. purescriptInitialize the wanted constraints solver state with an inert set of givens and the two parameters of the wanted to solve. purescriptThe wanted constraints solver follows similar steps than the given solver, except for: When canonicalization fails we can swallow the error, but only if the wanted interacts with the givens.For instance the declarations: data D a = D a type role D nominal example :: forall a b. Coercible (D a) (D b) => D a -> D b example = coerce yield an insoluble wanted Coercible (D a) (D b)0 which is discharged by the given. But we want !example :: forall a b. D a -> D b to fail. Irreducible wanted constraints don't interact with the inert wanteds set, because doing so would yield confusing error messages.For instance the declarations: data D a = D a example :: forall a. D a a -> D Boolean Char example = coerce yield the wanted "Coercible (D a a) (D Boolean Char)+, which is decomposed to the irreducibles Coercible a Boolean and Coercible a Char. Would we interact the latter with the former, we would report an insoluble Coercible Boolean Char.# purescriptUnifying constraints arguments kinds isn't strictly necessary but yields better error messages. For instance we cannot solve the constraint +Coercible (D :: Type -> Type) (D a :: Type) because its arguments kinds don't match and trying to unify them will say so, which is more helpful than simply saying that no type class instance was found.A subtle thing to note is that types with polymorphic kinds can be annotated with kind applications mentioning unknowns that we may have solved by unifying the kinds.For instance the declarations: data D :: forall k. k -> Type data D a = D type role D representational example :: D D -> D D example = coerce yield a wanted =Coercible (D @(k1 -> Type) (D @k1)) (D @(k2 -> Type) (D @k2)), which we decompose to Coercible (D @k1) (D @k2), where k1 and k29 are unknowns. This constraint is not reflexive because D @k1 and D @k25 are differents but both arguments kinds unify with  k -> Type, where k6 is a fresh unknown, so applying the substitution to D @k1 and D @k2 yields a Coercible (D @k) (D @k) constraint which could be trivially solved by reflexivity instead of having to saturate the type constructors.# purescript?Interact an irreducible constraint with an inert set of givens.# purescriptA given constraint of the form  Coercible a b( can discharge constraints of the form  Coercible a b and  Coercible b a.# purescript&Two canonical constraints of the form Coercible tv ty1 and Coercible tv ty23 can interact together and yield a new constraint Coercible ty1 ty2&. Canonicality matters to avoid loops.For instance the declarations: data D a = D a newtype N a = N (D (N a)) example :: forall a. Coercible a (D a) => a -> N a example = coerce yield a non canonical wanted Coercible a (N a)+ that we can unwrap on the right to yield Coercible a (D (N a))2. Would it interact with the non canonical given Coercible a (D a) it would give Coercible (D a) (D (N a)), then decompose back to Coercible a (N a).# purescript&Two canonical constraints of the form Coercible tv1 ty1 and Coercible tv2 ty23 can interact together and yield a new constraint Coercible tv2 ty2[ty1/tv1]2. Once again, canonicality matters to avoid loops.For instance the declarations: data D a = D a example :: forall a b. Coercible b (D b) => a -> b example = coerce &yield an irreducible canonical wanted  Coercible a b2. Would it interact with the non canonical given Coercible b (D b) it would give Coercible a (D b)<, which would keep interacting indefinitely with the given.# purescript#A canonical constraint of the form Coercible tv1 ty1 can rewrite the right hand side of an irreducible constraint of the form Coercible tv2 ty2 by substituting ty1 for every occurrence of tv1* at representational and phantom role in ty2). Nominal occurrences are left untouched.# purescript3Rewrite the head of a type application of the form  tv a_0 .. a_n.# purescriptRewrite the representational and phantom arguments of a type application of the form  D a_0 .. a_n.# purescriptAn irreducible given constraint must kick out of the inert set any constraint it can rewrite when it becomes inert, otherwise solving would be sensitive to the order of constraints. Wanteds cannot rewrite other wanteds so this applies only to givens.For instance the declaration: example :: forall f g a b. Coercible a (f b) => Coercible f g => Proxy f -> a -> g b example _ = coerce yields the irreducible givens Coercible a (f b) and  Coercible f g. Would we not kick out the former when adding the latter to the inert set we would not be able to rewrite it to Coercible a (g b) and discharge the wanted, but inverting the givens would work.# purescriptA constraint of the form Coercible tv ty is canonical when tv does not occur in ty=. Non canonical constraints do not interact to prevent loops.# purescriptCanonicalization takes a wanted constraint and try to reduce it to a set of simpler constraints whose satisfaction will imply the goal.# purescriptConstraints of the form  Coercible a b can be solved if the two arguments are the same. Since we currently don't support higher-rank arguments in instance heads, term equality is a sufficient notion of "the same".# purescriptConstraints of the form )Coercible (T1 a_0 .. a_n) (T2 b_0 .. b_n)", where both arguments have kind k1 -> k2, yield a constraint ?Coercible (T1 a_0 .. a_n c_0 .. c_m) (T2 b_0 .. b_n c_0 .. c_m), where both arguments are fully saturated with the same unknowns and have kind Type.# purescriptConstraints of the form Coercible ( label_0 :: a_0, .. label_n :: a_n | r ) ( label_0 :: b_0, .. label_n :: b_n | s ) yield a constraint  Coercible r s and constraints on the types for each label in both rows. Labels exclusive to one row yield a failure.# purescriptUnwraps a newtype and yields its underlying type with the newtype arguments substituted in (e.g.  N[D/a] = D given newtype N a = N a and  data D = D).# purescriptLooks up a given name and, if it names a newtype, returns the names of the type's parameters, the type the newtype wraps and the names of the type's fields.# purescript Behaves like # but also returns whether the newtype constructor is in scope and the module from which it is imported, or "( if it is defined in the current module.# purescriptConstraints of the form Coercible (N a_0 .. a_n) b yield a constraint  Coercible a b" if unwrapping the newtype yields a.# purescriptConstraints of the form Coercible a (N b_0 .. b_n) yield a constraint  Coercible a b" if unwrapping the newtype yields b.# purescript#Decomposes constraints of the form 'Coercible (D a_0 .. a_n) (D b_0 .. b_n) into constraints on their representational arguments, ignoring phantom arguments and failing on unequal nominal arguments.$For instance given the declarations: data D a b c = D a b type role D nominal representational phantom We can decompose Coercible (D a b d) (D a c e) into  Coercible b c, but decomposing Coercible (D a c d) (D b c d) would fail.# purescriptConstraints of the form 'Coercible (D a_0 .. a_n) (D b_0 .. b_n) , where D8 is not a newtype, yield constraints on their arguments.# purescriptConstraints of the form )Coercible (D1 a_0 .. a_n) (D2 b_0 .. b_n) , where D1 and D2 are different type constructors and neither of them are newtypes, are insoluble.# purescriptWanted constraints of the form 'Coercible (N a_0 .. a_n) (N b_0 .. b_n) , where N is a newtype whose constructor is out of scope, yield constraints on their arguments only when no given constraint can discharge them.We cannot decompose given constraints because newtypes are not necessarily injective with respect to representational equality.#For instance given the declaration: newtype Const a b = MkConst a type role Const representational representational Decomposing a given !Coercible (Const a a) (Const a b) constraint to  Coercible a b when MkConst is out of scope would let us coerce arbitrary types in modules where MkConst is imported, because the given is easily satisfied with the newtype unwrapping rules.Moreover we do not decompose wanted constraints if they could be discharged by a given constraint.For instance the declaration: example :: forall a b. Coercible (Const a a) (Const a b) => Const a a -> Const a b example = coerce yield an irreducible given !Coercible (Const a a) (Const a b) when MkConst2 is out of scope. Would we decompose the wanted !Coercible (Const a a) (Const a b) to  Coercible a b6 we would not be able to discharge it with the given.# purescriptConstraints of the form )Coercible (N1 a_0 .. a_n) (N2 b_0 .. b_n) , where N1 and N2 are different type constructors and either of them is a newtype whose constructor is out of scope, are irreducible.# purescriptConstraints of the form Coercible tv1 tv2 may be irreducibles, but only when the variables are lexicographically ordered. Reordering variables is necessary to prevent loops.For instance the declaration: example :: forall a b. Coercible a b => Coercible b a => a -> b example = coerce yields the irreducible givens  Coercible a b and  Coercible b a which would repeatedly kick each other out the inert set whereas reordering the latter to  Coercible a b, makes it redundant and let us discharge it.# purescriptConstraints of the form Coercible tv ty are irreducibles.# purescriptConstraints of the form Coercible ty tv are reordered to Coercible tv ty to satisfy the canonicality requirement of having the type variable on the left.# purescriptConstraints of the form Coercible (f a_0 .. a_n) b are irreducibles.# purescriptConstraints of the form Coercible a (f b_0 .. b_n) b are irreducibles.G Safe-Inferred "%&'(/189:; {[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 `_`) 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 true) 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# purescriptMain 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. purescriptExhaustivity checkingZ Safe-Inferred "%&'(/189:;>= 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 moduleb Safe-Inferred "%&'(/189:; purescriptApply a series of optimizer passes to simplified JavaScript code# purescriptTake all top-level ASTs and return a function for expanding top-level variables during the various inlining steps in .Everything that gets inlined as an optimization is of a form that would have been lifted to a top-level binding during CSE, so for purposes of inlining we can save some time by only expanding variables bound at that level and not worrying about any inner scopes.e Safe-Inferred "%&'(/189:;g Safe-Inferred "%&'(/189:; y1!0),0!0 x = _ _ -> y#2!1 a#2!* x = (_ -> y0!0)0!1 z#0!* x = Just { a: a#0!0, b: b#0!0 } x = let foo = (y#1!* a b1!*)1!* in foo + 1(Note that this analysis is quite ignorant of any actual control flow choices made at run time. It doesn't even track what happens to a reference after it has been locally bound by a Let or Case. Instead, it just assumes the worst--once locally bound to a new name, it imagines that absolutely anything could happen to that new name and thus to the underlying reference. But the value-to-weight ratio of this approach is perhaps surprisingly high.)Every subexpression gets a delay and a force, but we are only interested in references to other bindings in the binding group, so the traversal only exposes s to the provided function.$ purescriptGiven a maximum index and a function that returns a map of edges to next indices, returns an array for each index up to maxIndex of maps from the indices reachable from the current index, to the maximum force applied to those indices. purescriptTransform a recursive binding group, reordering the bindings within when a correct initialization order can be statically determined, and rewriting bindings and references to be lazy otherwise.j Safe-Inferred "%&'(/189:;Check the type annotation of a typed value in a binding group.$ purescriptInfer a type for a value in a binding group which lacks an annotation.$ purescriptRemove any ForAlls and ConstrainedType constructors in a type by introducing new unknowns or TypeClassDictionary values.This is necessary during type checking to avoid unifying a polymorphic type with a unification variable.$ purescriptMatch against TUnknown and call insertUnkName, failing otherwise.$ purescriptInfer 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.$ purescriptCheck the types of the return values in a set of binders in a case statement$ purescriptCheck 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 lax parameter controls whether or not every record member has to be provided. For object updates, this is not the case.$ purescriptCheck 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 typeThe elaborated expression for the function application (since we might need to insert type class dictionaries, etc.)$ purescript(Check the type of a function application$ purescriptEnsure a set of property names and value does not contain duplicate labels$ purescriptTest if this is an internal value to be excluded from error hints$ purescript=Introduce a hint only if the given expression is not internal$ purescriptThe 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 termt Safe-Inferred "%&'(/189:; f a`. purescriptWraps enough information to properly render the kind signature of a datanewtypetype/class declaration. 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. purescriptAn operator alias declaration, with the member the alias is for and the operator's fixity. 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. purescriptConvenience function for formatting a time in the format expected by this module. purescriptConvenience function for parsing a time in the format expected by this module. purescript>Discard any children which do not satisfy the given predicate. 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. 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 Safe-Inferred "%&'(/189:;A function for tagging a module with the package it comes fromA 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.$ purescriptCollect 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.Filters 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.$ purescriptGet 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. Safe-Inferred "%&'(/189:;Matches any occurrence 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.25 ! !  Safe-Inferred "%&'(/189:;Looks up the given identifier in the currently loaded modules.2Throws an error if the identifier cannot be found.If exactly one match is found, adds an explicit import to the importsectionIf 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.% purescriptIf none of the elements of the list satisfy the given predicate  predicate!, then prepend the default value def to the given list. Otherwise, update the first element of the list that satisfies  predicate with the updating function update.! 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!!!!!!!!!!!!!! Safe-Inferred "%&'(/189:;>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>???????@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@AAAABBBBBBCCCCCCCCCCCCCCCCCCCCCDDDDDDDDDEFFFFFFFFFFFFFFGGGGGGGGGGGGGGGGGGGHIJJJJJ JJJJJKLMNNOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOPPPPQRRSTTTUUUUUUVWWWWWWWWWWWXXYZ[[[[[[ [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[\\\\\\]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]^__________```aaaabbbbbbbbbbccdeeeeeeee ee fghiiijjkllmmmmmmmmmmnnnnnnnnnnooooooooooooppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppqqqrsssssssttuvvvvvvvvvwwxyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy y y yyyyyyyyyyyyyyyyy y y y yyyyyyyyyyyyyyyyyyyyyyyyzzz{{{{{{{{{{||||}}~~~~                                                                                                                                       !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!'!,!,!!!3!3!3!3!3!3!3!3!3!3!3!3!3!!!!!!!3!3!3!3!3!3!3!3!3!3!3!3!3!3!3!3!4!!!8!8!8!8!8!8!9!;!<!<!?!?!C!C!C!D!E!E!E!E!E!F!F!F!F!F!F!F!F!F!F!F!F!F!F!F!F!F!F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"F"G"G"G"G"G"G"GG"G"G"G"G"G"G"G"G"G"G"G"G"G"G"H"H"O"O"O"O"O"O"O"O"O"O"O"O"O"P"R"S"T"T"U"V"W"W"Y"Y"Y"Y"Y"Y"Y"Y"""Y"Y"!"["["["d"f"f"f"f"f"g"g"g"g"g!g"g"g"g"g"g"g"h"i"i"""i"l""""""""r"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#s#s#s#s#t#t#t#uv#v###w#w#w"#|#}#}#}#}#}#}#}#~#~#~#~#~#~#~#~#~#~!~#~###!!#"###################################################################(purescript-0.15.7-3xSYkQR1O27GufieOHVqoELanguage.PureScriptLanguage.PureScript.Crash(Language.PureScript.Publish.BoxesHelpersControl.Monad.LoggerControl.Monad.SupplyControl.Monad.Supply.ClassLanguage.PureScript.BundleLanguage.PureScript.Comments!Language.PureScript.AST.SourcePos,Language.PureScript.AST.Declarations.ChainId!Language.PureScript.AST.OperatorsLanguage.PureScript.Docs.Css+Language.PureScript.Docs.Utils.MonoidExtras*Language.PureScript.Ide.Filter.Declaration"Language.PureScript.Interactive.IOLanguage.PureScript.NamesLanguage.PureScript.Make.CacheLanguage.PureScript.CoreFn.Meta"Language.PureScript.Constants.Prim%Language.PureScript.CodeGen.JS.CommonLanguage.PureScript.OptionsLanguage.PureScript.PSStringLanguage.PureScript.Label"Language.PureScript.Constants.Libs Language.PureScript.AST.Literals"Language.PureScript.CoreFn.BindersLanguage.PureScript.CoreFn.Expr%Language.PureScript.CoreFn.Traversals!Language.PureScript.CoreFn.Module+Language.PureScript.Publish.Registry.Compat!Language.PureScript.Publish.UtilsLanguage.PureScript.RolesLanguage.PureScript.CST.Types"Language.PureScript.CST.Traversals'Language.PureScript.CST.Traversals.Type!Language.PureScript.CST.PositionsLanguage.PureScript.CST.LayoutLanguage.PureScript.CST.FlattenLanguage.PureScript.CST.PrintLanguage.PureScript.CST.ErrorsLanguage.PureScript.CST.MonadLanguage.PureScript.CST.UtilsLanguage.PureScript.CST.LexerLanguage.PureScript.CST.ParserLanguage.PureScript.TraversalsLanguage.PureScript.Types)Language.PureScript.TypeClassDictionaries5Language.PureScript.TypeChecker.Entailment.IntCompareLanguage.PureScript.EnvironmentLanguage.PureScript.CoreFn.AnnLanguage.PureScript.CoreFn.CSE$Language.PureScript.CoreFn.OptimizerLanguage.PureScript.AST.Binders$Language.PureScript.AST.Declarations"Language.PureScript.AST.Traversals Language.PureScript.AST.Exported$Language.PureScript.Sugar.LetPattern!Language.PureScript.Pretty.Common Language.PureScript.Pretty.Types!Language.PureScript.Pretty.Values$Language.PureScript.Linter.WildcardsLanguage.PureScript.Errors%Language.PureScript.TypeChecker.Roles%Language.PureScript.TypeChecker.Monad(Language.PureScript.TypeChecker.Synonyms'Language.PureScript.TypeChecker.Skolems%Language.PureScript.TypeChecker.Kinds%Language.PureScript.TypeChecker.Unify+Language.PureScript.TypeChecker.Subsumption4Language.PureScript.TypeChecker.Entailment.Coercible*Language.PureScript.TypeChecker.Entailment*Language.PureScript.TypeChecker.TypeSearch*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.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.BindingGroups%Language.PureScript.Sugar.AdoNotation&Language.PureScript.ModuleDependencies"Language.PureScript.Linter.Imports%Language.PureScript.Linter.ExhaustiveLanguage.PureScript.Linter+Language.PureScript.Docs.RenderedCode.Types0Language.PureScript.Docs.RenderedCode.RenderTypeLanguage.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.CoreImp.Module"Language.PureScript.CoreFn.DesugarLanguage.PureScript.Renamer!Language.PureScript.CoreFn.ToJSON#Language.PureScript.CoreFn.Laziness#Language.PureScript.CoreFn.FromJSONLanguage.PureScript.CodeGen.JS&Language.PureScript.CodeGen.JS.PrinterLanguage.PureScript.CST.ConvertLanguage.PureScript.CSTLanguage.PureScript.AST.UtilsLanguage.PureScript.Externs%Language.PureScript.Sugar.TypeClasses(Language.PureScript.TypeChecker.Deriving%Language.PureScript.TypeChecker.TypesLanguage.PureScript.TypeChecker.Language.PureScript.Sugar.TypeClasses.Deriving#Language.PureScript.Sugar.OperatorsLanguage.PureScript.Sugar.NamesLanguage.PureScript.SugarLanguage.PureScript.Docs.TypesLanguage.PureScript.Docs.TagsLanguage.PureScript.Docs.RenderLanguage.PureScript.Docs.Prim'Language.PureScript.Docs.Convert.Single*Language.PureScript.Docs.Convert.ReExports Language.PureScript.Docs.ConvertSystem.IO.UTF8Language.PureScript.Make.Monad Language.PureScript.Make.Actions"Language.PureScript.Make.BuildPlanLanguage.PureScript.MakeLanguage.PureScript.Graph*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.Module*Language.PureScript.Interactive.CompletionLanguage.PureScript.InteractiveLanguage.PureScript.HierarchyLanguage.PureScript.Errors.JSONLanguage.PureScript.Ide.TypesLanguage.PureScript.Ide.PrimLanguage.PureScript.Ide.LoggingLanguage.PureScript.Ide.ErrorLanguage.PureScript.Ide.Util!Language.PureScript.Ide.ReexportsLanguage.PureScript.Ide.Matcher"Language.PureScript.Ide.SourceFileLanguage.PureScript.Ide.Imports&Language.PureScript.Ide.Filter.ImportsLanguage.PureScript.Ide.FilterLanguage.PureScript.Ide.ExternsLanguage.PureScript.Ide.StateLanguage.PureScript.Ide.UsageLanguage.PureScript.Ide.Rebuild"Language.PureScript.Ide.Completion'Language.PureScript.Ide.Imports.Actions!Language.PureScript.Ide.CaseSplitLanguage.PureScript.Ide.CommandLanguage.PureScript.Ide#Language.PureScript.Docs.AsMarkdownLanguage.PureScript.Docs.AsHtml Language.PureScript.Docs.CollectLanguage.PureScript.PublishData.Text.PureScript Language.PureScript.Constants.THdesugarImportsLanguage.PureScript.ASTLanguage.PureScript.PrettyAx%Language.PureScript.Docs.RenderedCodeLanguage.PureScript.CoreImpLanguage.PureScript.CoreFnLanguage.PureScript.CodeGenPaths_purescript L.P.RenamerrenameInModuleMakeLanguage.PureScript.Docs text-1.2.5.0Data.Text.InternalTextbaseGHC.Stack.Types HasCallStack"boxes-0.1.5-3ffKcxTGdB94KP3b7BKthbText.PrettyPrint.BoxesnullBoxBoxLogger runLogger runLogger'$fMonadBaseControlIOLogger$fMonadBaseIOLogger$fMonadWriterwLogger$fMonadIOLogger $fMonadLogger$fApplicativeLogger$fFunctorLoggerSupplySupplyT unSupplyT runSupplyT evalSupplyT runSupply$fFunctorSupplyT$fApplicativeSupplyT$fMonadSupplyT$fMonadTransSupplyT$fMonadErroreSupplyT$fMonadWriterwSupplyT$fMonadReaderrSupplyT$fAlternativeSupplyT$fMonadPlusSupplyT MonadSupplyfreshpeek freshName$fMonadSupplyRWST$fMonadSupplyWriterT$fMonadSupplyStateT$fMonadSupplySupplyTForeignModuleImports cjsImports esImportsForeignModuleExports cjsExports esExportsModuleModuleIdentifier ModuleTypeRegularForeign ErrorMessageUnsupportedModulePathInvalidTopLevelUnableToParseModuleUnsupportedImportUnsupportedExport ErrorInModuleMissingEntryPointMissingMainModuleprintErrorMessagegetExportedIdentifiersgetImportedModules$fToJSONModuleIdentifier$fToJSONModuleElement$fToJSONModule$fMonoidForeignModuleExports$fSemigroupForeignModuleExports$fMonoidForeignModuleImports$fSemigroupForeignModuleImports$fShowForeignModuleImports$fShowForeignModuleExports $fShowModule$fShowModuleElement$fShowExportType$fEqExportType$fOrdExportType$fShowVisibility$fEqVisibility$fOrdVisibility$fShowErrorMessage$fShowModuleIdentifier$fEqModuleIdentifier$fOrdModuleIdentifier$fShowModuleType$fEqModuleType$fOrdModuleTypeComment LineComment BlockComment$fSerialiseComment$fNFDataComment $fShowComment $fEqComment $fOrdComment$fGenericComment$fFromJSONComment$fToJSONComment SourceSpanspanName spanStartspanEnd SourcePos sourcePosLinesourcePosColumn SourceAnn NullSourceAnnNullSourceSpandisplaySourcePosdisplaySourcePosShortdisplayStartEndPosdisplayStartEndPosShortdisplaySourceSpaninternalModuleSourceSpannullSourceSpan nullSourceAnn nonEmptySpanwidenSourceSpanwidenSourceAnn$fFromJSONSourcePos$fToJSONSourcePos$fFromJSONSourceSpan$fToJSONSourceSpan$fShowSourceSpan$fEqSourceSpan$fOrdSourceSpan$fGenericSourceSpan$fNFDataSourceSpan$fSerialiseSourceSpan$fShowSourcePos $fEqSourcePos$fOrdSourcePos$fGenericSourcePos$fNFDataSourcePos$fSerialiseSourcePosChainId mkChainId $fEqChainId $fOrdChainId $fShowChainId$fNFDataChainId$fSerialiseChainId internalErrorFixity AssociativityInfixlInfixrInfix Precedence showAssoc readAssoc$fFromJSONAssociativity$fToJSONAssociativity$fSerialiseAssociativity$fNFDataAssociativity$fToJSONFixity$fSerialiseFixity$fNFDataFixity $fShowFixity $fEqFixity $fOrdFixity$fGenericFixity$fShowAssociativity$fEqAssociativity$fOrdAssociativity$fGenericAssociativity normalizeCss normalizeCssT pursuitCss pursuitCssT mintersperseDeclarationTypeValueTypeSynonymDataConstructor TypeClass ValueOperator TypeOperator$fToJSONDeclarationType$fFromJSONDeclarationType$fShowDeclarationType$fEqDeclarationType$fOrdDeclarationTypefindNodeProcessreadNodeProcessWithExitCodegetHistoryFilename Qualified QualifiedBy BySourcePos ByModuleName ModuleNameProperNameTypeTypeNameConstructorName ClassName Namespace ProperName runProperName OpNameType ValueOpName TypeOpName AnyOpNameOpName runOpNameIdentGenIdent UnusedIdent InternalIdentInternalIdentDataRuntimeLazyFactoryLazyName IdentName ValOpNameTyNameTyOpName DctorName TyClassNameModNameByNullSourcePos getIdentName getValOpName getTypeName getTypeOpName getDctorName getClassName unusedIdentrunIdent showIdent freshIdent freshIdent' isPlainIdentshowOp eraseOpName coerceOpNamecoerceProperName runModuleNamemoduleNameFromStringisBuiltinModuleName isBySourcePosbyMaybeModuleNametoMaybeModuleName showQualifiedgetQualqualify mkQualified disqualify disqualifyFor isQualified isUnqualifiedisQualifiedWith$fSerialiseInternalIdentData$fNFDataInternalIdentData$fSerialiseIdent $fNFDataIdent$fFromJSONOpName$fToJSONOpName$fSerialiseOpName$fNFDataOpName$fFromJSONProperName$fToJSONProperName$fSerialiseProperName$fNFDataProperName$fFromJSONKeyModuleName$fToJSONKeyModuleName$fFromJSONModuleName$fToJSONModuleName$fNFDataModuleName$fSerialiseName $fNFDataName$fSerialiseQualifiedBy$fNFDataQualifiedBy$fFromJSONQualified$fToJSONQualified$fSerialiseQualified$fNFDataQualified$fShowQualified $fEqQualified$fOrdQualified$fFunctorQualified$fFoldableQualified$fTraversableQualified$fGenericQualified$fShowQualifiedBy$fEqQualifiedBy$fOrdQualifiedBy$fGenericQualifiedBy$fEqName $fOrdName $fShowName $fGenericName$fShowModuleName$fEqModuleName$fOrdModuleName$fGenericModuleName$fSerialiseModuleName$fShowProperName$fEqProperName$fOrdProperName$fGenericProperName $fShowOpName $fEqOpName $fOrdOpName$fGenericOpName $fShowIdent $fEqIdent $fOrdIdent$fGenericIdent$fShowInternalIdentData$fEqInternalIdentData$fOrdInternalIdentData$fGenericInternalIdentData$fFromJSONInternalIdentData$fToJSONInternalIdentData$fFromJSONIdent $fToJSONIdent CacheInfo unCacheInfoCacheDb ContentHashhash checkChanged removeModulesnormaliseForCache$fFromJSONContentHash$fToJSONContentHash$fShowCacheInfo $fEqCacheInfo$fOrdCacheInfo$fSemigroupCacheInfo$fMonoidCacheInfo$fFromJSONCacheInfo$fToJSONCacheInfo$fShowContentHash$fEqContentHash$fOrdContentHashConstructorType ProductTypeSumTypeMeta IsConstructor IsNewtypeIsTypeClassConstructor IsForeignIsWhereIsSyntheticApp $fShowMeta$fEqMeta $fOrdMeta$fShowConstructorType$fEqConstructorType$fOrdConstructorType QuoteLabelQuoteDocBesideAboveWarnFailM_Prim_TypeError SymbolCons SymbolCompare SymbolAppend M_Prim_Symbol RowListNil RowListCons RowToListRowListM_Prim_RowListRowUnionRowNubRowLacksRowCons M_Prim_RowLTGTEQ TypeOrderingM_Prim_Ordering IntToStringIntMul IntCompareIntAdd M_Prim_Int Coercible M_Prim_CoerceTrueFalseM_Prim_Boolean I_undefined S_undefinedSymbolStringRowRecordNumberIntFunction ConstraintCharBooleanArrayPartialM_Prim primModulesmoduleNameToJs identToJs properToJs anyNameToJsisValidJsIdentifieridentCharToTextnameIsJsReservednameIsJsBuiltIn jsAnyReserved jsKeywordsjsSometimesReservedjsFutureReservedjsFutureReservedStrict jsOldReserved jsLiterals CodegenTargetJS JSSourceMapCoreFnDocsOptionsoptionsVerboseErrorsoptionsNoCommentsoptionsCodegenTargetsdefaultOptionscodegenTargets $fShowOptions$fEqCodegenTarget$fOrdCodegenTarget$fShowCodegenTargetPSStringtoUTF16CodeUnitsdecodeStringWithReplacementdecodeStringEither decodeStringprettyPrintStringprettyPrintStringJSmkString$fFromJSONPSString$fToJSONPSString$fIsStringPSString$fShowPSString$fSerialisePSString$fNFDataPSString $fEqPSString $fOrdPSString$fSemigroupPSString$fMonoidPSString$fGenericPSStringLabelrunLabel$fSerialiseLabel $fNFDataLabel $fShowLabel $fEqLabel $fOrdLabel$fIsStringLabel$fSemigroupLabel $fMonoidLabel $fToJSONLabel$fFromJSONLabel$fGenericLabelEffectDictionariesedApplicativeDict edBindDict edMonadDictedWhileedUntil stRefValueeffDictionarieseffectDictionariesstDictionariesP_unsafeCoerceM_Unsafe_Coerce P_runSTFnP_mkSTFnM_Control_Monad_ST_UncurriedP_writeP_runP_readP_newP_modifyM_Control_Monad_ST_InternalI_profunctorRmapI_lcmapI_dimapS_dimap ProfunctorM_Data_ProfunctorI_unsafePartialP_unsafePartialM_Partial_UnsafeNewtypeM_Data_NewtypeP_zshrP_xorP_shrP_shlP_or P_complementP_andM_Data_Int_BitsP_runFnS_runFnP_mkFnS_mkFnM_Data_Function_Uncurried S_sequence S_traverse I_traverse TraversableM_Data_TraversableI_foldrS_foldrI_foldlS_foldl I_foldMap S_foldMapFoldableM_Data_Foldable I_rtraverse I_ltraverse S_bisequence S_bitraverse I_bitraverse BitraversableM_Data_Bitraversable I_bifoldr S_bifoldr I_bifoldl S_bifoldl I_bifoldMap S_bifoldMap BifoldableM_Data_Bifoldable P_runEffectFn P_mkEffectFnM_Effect_UncurriedM_Effect P_runEffFn P_mkEffFnM_Control_Monad_Eff_UncurriedM_Control_Monad_EffI_cmapS_cmap ContravariantM_Data_Functor_ContravariantI_rmapI_lmapI_bimapS_bimap BifunctorM_Data_Bifunctor P_unsafeIndex M_Data_ArrayIsSymbol M_Data_SymbolP_semiringNumber P_semiringIntP_zeroP_oneP_mulP_addM_Data_SemiringP_semigroupStringP_appendI_appendM_Data_Semigroup P_ringNumber P_ringIntP_subS_subP_negateS_negate M_Data_Ring ReflectableM_Data_ReflectableC_LTC_GTC_EQOrderingM_Data_Ordering P_ordString P_ordNumberP_ordInt P_ordChar P_ordBooleanP_lessThanOrEq P_lessThanP_greaterThanOrEq P_greaterThan I_compare1 S_compare1Ord1 I_compare S_compareOrd M_Data_OrdI_mempty M_Data_MonoidP_heytingAlgebraBooleanP_notI_notP_disjI_disjP_conjI_conjM_Data_HeytingAlgebraC_InrC_InlSum C_ProductProductC_NoConstructorsNoConstructors C_NoArguments NoArguments C_Constructor Constructor C_ArgumentArgumentI_toI_fromGenericM_Data_Generic_RepI_mapS_mapFunctorM_Data_FunctorI_flipI_constI_functionApplyFlippedI_functionApplyM_Data_FunctionP_euclideanRingNumberP_divM_Data_EuclideanRing P_eqString P_eqNumberP_eqIntP_eqChar P_eqBooleanP_notEqI_eq1S_eq1Eq1I_eqP_eqS_eqEq M_Data_EqP_boundedBooleanP_topP_bottomM_Data_BoundedP_semigroupoidFnP_composeFlipped P_composeM_Control_Semigroupoid P_categoryFn P_identity I_identityM_Control_Category P_discardUnit P_discard S_discardDiscardP_bindS_bindM_Control_BindI_pureP_pureS_pureM_Control_ApplicativeI_applyS_applyM_Control_ApplyLiteralNumericLiteral StringLiteral CharLiteralBooleanLiteral ArrayLiteral ObjectLiteral $fEqLiteral $fOrdLiteral $fShowLiteral$fFunctorLiteralBinder NullBinder LiteralBinder VarBinderConstructorBinder NamedBinderextractBinderAnn $fEqBinder $fOrdBinder $fShowBinder$fFunctorBinderCaseAlternativecaseAlternativeBinderscaseAlternativeResultGuardBindNonRecRecExprAccessor ObjectUpdateAbsAppVarCaseLet extractAnn modifyAnn$fFunctorCaseAlternative$fEqCaseAlternative$fOrdCaseAlternative$fShowCaseAlternative$fEqExpr $fOrdExpr $fShowExpr $fFunctorExpr$fEqBind $fOrdBind $fShowBind $fFunctorBindeverywhereOnValuestraverseCoreFnmoduleSourceSpanmoduleComments moduleName modulePath moduleImports moduleExportsmoduleReExports moduleForeign moduleDecls$fFunctorModulewidth indentWidthparaindentedsuccessivelyIndentedvcatspacer bulletedList bulletedListT printToStderr PursJsonErrorMalformedLocationFieldPursJson pursJsonNamepursJsonLicensepursJsonLocationpursJsonDescriptionpursJsonDependenciestoBowerPackageshowPursJsonError asPursJson$fNFDataPursJsonError$fEqPursJsonError$fShowPursJsonError$fOrdPursJsonError$fGenericPursJsonError globRelativepurescriptSourceFilesRoleNominalRepresentationalPhantom$fSerialiseRole $fNFDataRole $fShowRole$fEqRole $fOrdRole $fGenericRole displayRole$fFromJSONRole $fToJSONRoleBinderWildcard 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 RecordFieldExprHole ExprSection ExprIdentExprConstructor ExprBooleanExprChar ExprString ExprNumber ExprArray ExprRecord ExprParens ExprTyped ExprInfixExprOp ExprOpName ExprNegateExprRecordAccessorExprRecordUpdateExprApp ExprLambdaExprIfExprCaseExprLetExprDoExprAdoroleTok roleValue ForeignValue ForeignData ForeignKind PatternGuard patBinderpatExpr GuardedExprgrdBar grdPatternsgrdSepgrdWhereGuarded UnconditionalValueBindingFieldsvalName valBinders valGuarded FixityFields fxtKeywordfxtPrecfxtOpFixityOp FixityValue FixityType InstanceHead instKeyword instNameSepinstConstraints instClass instTypes ClassFundepFundepDeterminedFundepDetermines ClassHead clsKeywordclsSuperclsNameclsVars clsFundepsDataCtor dataCtorAnn dataCtorNamedataCtorFieldsDataHead dataHdKeyword dataHdName dataHdVarsImport ImportValueImportOp ImportType ImportTypeOp ImportClass ImportDeclimpAnn impKeyword impModuleimpNamesimpQualInstanceBindingInstanceBindingSignatureInstanceBindingNameInstanceinstHeadinstBody DeclarationDeclDataDeclType DeclNewtype DeclClassDeclInstanceChain DeclDeriveDeclKindSignature DeclSignature DeclValue DeclFixity DeclForeignDeclRole DataMembersDataAllDataEnumeratedExport ExportValueExportOp ExportType ExportTypeOp ExportClass ExportModulemodAnn modKeyword modNamespace modExportsmodWhere modImportsmodDeclsmodTrailingComments rowLabelsrowTailConstraintParensTypeVarBinding TypeVarKinded TypeVarNameTypeVarTypeConstructor TypeWildcardTypeHole TypeStringTypeIntTypeRow TypeRecord TypeForall TypeKindedTypeAppTypeOpTypeArr TypeArrNameTypeConstrained TypeParens TypeUnaryRowOneOrDelimitedOneManyDelimitedNonEmpty 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 $fEqModule $fOrdModule$fFoldableModule$fTraversableModule$fGenericModule$fShowDeclaration$fEqDeclaration$fOrdDeclaration$fFunctorDeclaration$fFoldableDeclaration$fTraversableDeclaration$fGenericDeclaration$fShowInstance $fEqInstance $fOrdInstance$fFunctorInstance$fFoldableInstance$fTraversableInstance$fGenericInstance$fShowInstanceBinding$fEqInstanceBinding$fOrdInstanceBinding$fFunctorInstanceBinding$fFoldableInstanceBinding$fTraversableInstanceBinding$fGenericInstanceBinding$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$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$fFoldableBinder$fTraversableBinder$fGenericBinder$fShowRecordLabeled$fEqRecordLabeled$fOrdRecordLabeled$fFunctorRecordLabeled$fFoldableRecordLabeled$fTraversableRecordLabeled$fGenericRecordLabeled $fShowForeign $fEqForeign $fOrdForeign$fFunctorForeign$fFoldableForeign$fTraversableForeign$fGenericForeign$fShowFixityFields$fEqFixityFields$fOrdFixityFields$fGenericFixityFields$fShowFixityOp $fEqFixityOp $fOrdFixityOp$fGenericFixityOp$fShowInstanceHead$fEqInstanceHead$fOrdInstanceHead$fFunctorInstanceHead$fFoldableInstanceHead$fTraversableInstanceHead$fGenericInstanceHead$fShowClassHead $fEqClassHead$fOrdClassHead$fFunctorClassHead$fFoldableClassHead$fTraversableClassHead$fGenericClassHead$fShowClassFundep$fEqClassFundep$fOrdClassFundep$fGenericClassFundep$fShowDataCtor $fEqDataCtor $fOrdDataCtor$fFunctorDataCtor$fFoldableDataCtor$fTraversableDataCtor$fGenericDataCtor$fShowDataHead $fEqDataHead $fOrdDataHead$fFunctorDataHead$fFoldableDataHead$fTraversableDataHead$fGenericDataHead$fShowImportDecl$fEqImportDecl$fOrdImportDecl$fFunctorImportDecl$fFoldableImportDecl$fTraversableImportDecl$fGenericImportDecl $fShowImport $fEqImport $fOrdImport$fFunctorImport$fFoldableImport$fTraversableImport$fGenericImport $fShowExport $fEqExport $fOrdExport$fFunctorExport$fFoldableExport$fTraversableExport$fGenericExport$fShowDataMembers$fEqDataMembers$fOrdDataMembers$fFunctorDataMembers$fFoldableDataMembers$fTraversableDataMembers$fGenericDataMembers $fShowRow$fEqRow$fOrdRow $fFunctorRow $fFoldableRow$fTraversableRow $fGenericRow $fShowType$fEqType $fOrdType $fFunctorType$fFoldableType$fTraversableType $fGenericType$fShowConstraint$fEqConstraint$fOrdConstraint$fFunctorConstraint$fFoldableConstraint$fTraversableConstraint$fGenericConstraint$fShowTypeVarBinding$fEqTypeVarBinding$fOrdTypeVarBinding$fFunctorTypeVarBinding$fFoldableTypeVarBinding$fTraversableTypeVarBinding$fGenericTypeVarBinding$fShowOneOrDelimited$fEqOneOrDelimited$fOrdOneOrDelimited$fFunctorOneOrDelimited$fFoldableOneOrDelimited$fTraversableOneOrDelimited$fGenericOneOrDelimited $fShowLabeled $fEqLabeled $fOrdLabeled$fFunctorLabeled$fFoldableLabeled$fTraversableLabeled$fGenericLabeled$fShowSeparated $fEqSeparated$fOrdSeparated$fFunctorSeparated$fFoldableSeparated$fTraversableSeparated$fGenericSeparated $fShowWrapped $fEqWrapped $fOrdWrapped$fFunctorWrapped$fFoldableWrapped$fTraversableWrapped$fGenericWrapped$fShowQualifiedName$fEqQualifiedName$fOrdQualifiedName$fFunctorQualifiedName$fFoldableQualifiedName$fTraversableQualifiedName$fGenericQualifiedName $fFunctorName$fFoldableName$fTraversableName$fShowSourceToken$fEqSourceToken$fOrdSourceToken$fGenericSourceToken $fShowToken $fEqToken $fOrdToken$fGenericToken$fShowSourceStyle$fEqSourceStyle$fOrdSourceStyle$fGenericSourceStyle$fShowTokenAnn $fEqTokenAnn $fOrdTokenAnn$fGenericTokenAnn$fShowLineFeed $fEqLineFeed $fOrdLineFeed$fGenericLineFeed$fFunctorComment$fShowSourceRange$fEqSourceRange$fOrdSourceRange$fGenericSourceRangeeverythingOnSeparatedeverythingOnTypes TokenRange advanceTokenadvanceLeadingadvanceTrailing tokenDelta qualDelta multiLine commentDelta lineDelta textDelta applyDeltasepLast toSourceRangewidensrcRange nameRange qualRange wrappedRange moduleRange exportRangeimportDeclRange importRangedataMembersRange declRange dataHeadRange dataCtorRangeclassHeadRangeclassFundepRange instanceRangeinstanceHeadRangeinstanceBindingRange foreignRangevalueBindingFieldsRange guardedRangeguardedExprRange whereRange typeRangeconstraintRangetypeVarBindingRange exprRangeletBindingRangedoStatementRange binderRangerecordUpdateRange LayoutDelimLytRoot LytTopDeclLytTopDeclHead LytDeclGuardLytCaseLytCaseBinders LytCaseGuardLytLambdaBindersLytParenLytBrace LytSquareLytIfLytThen LytProperty LytForallLytTickLytLet LytLetStmtLytWhereLytOfLytDoLytAdo LayoutStack isIndented isTopDecllytToken insertLayout unwindLayout$fShowLayoutDelim$fEqLayoutDelim$fOrdLayoutDelim flattenModuleflattenDataHeadflattenDataCtorflattenClassHeadflattenClassFundepflattenInstanceflattenInstanceHeadflattenInstanceBindingflattenValueBindingFields flattenBinderflattenRecordLabeledflattenRecordAccessorflattenRecordUpdate flattenLambdaflattenIfThenElse flattenCaseOf flattenLetInflattenDoBlockflattenAdoBlockflattenDoStatement flattenExprflattenLetBinding flattenWhereflattenPatternGuardflattenGuardedExprflattenGuardedflattenFixityFieldsflattenFixityOpflattenForeign flattenRoleflattenDeclarationflattenQualifiedName flattenName flattenLabel flattenExportflattenDataMembersflattenImportDecl flattenImportflattenWrappedflattenSeparatedflattenOneOrDelimitedflattenLabeled flattenType flattenRowflattenTypeVarBindingflattenConstraint printToken printTokens printModuleprintLeadingCommentprintTrailingComment ParserWarning ParserErrorParserErrorInfoerrRangeerrTokserrStackerrTypeParserWarningTypeWarnDeprecatedRowSyntaxWarnDeprecatedForeignKindSyntaxWarnDeprecatedKindImportSyntaxWarnDeprecatedKindExportSyntax!WarnDeprecatedCaseOfOffsideSyntaxParserErrorTypeErrWildcardInTypeErrConstraintInKind ErrHoleInTypeErrExprInBinderErrExprInDeclOrBinder ErrExprInDeclErrBinderInDeclErrRecordUpdateInCtrErrRecordPunInUpdateErrRecordCtrInUpdateErrTypeInConstraint ErrElseInDeclErrInstanceNameMismatchErrUnknownFundepErrImportInDeclErrGuardInLetBinder ErrKeywordVarErrKeywordSymbol ErrQuotedPunErrTokenErrLineFeedInStringErrAstralCodePointInChar ErrCharEscapeErrNumberOutOfRangeErrLeadingZeroErrExpectedFractionErrExpectedExponentErrExpectedHexErrReservedSymbol ErrCharInGap ErrModuleNameErrQualifiedName ErrEmptyDo ErrLexeme"ErrConstraintInForeignImportSyntaxErrEof ErrCustomprettyPrintErrorprettyPrintErrorMessageprettyPrintWarningMessage$fShowParserErrorInfo$fEqParserErrorInfo$fShowParserWarningType$fEqParserWarningType$fOrdParserWarningType$fShowParserErrorType$fEqParserErrorType$fOrdParserErrorTypeParserParserM ParserState parserBuff parserErrorsparserWarningsLexStatelexPos lexLeading lexSourcelexStack LexResult runParserrunTokenParserthrow parseError mkParserError addFailure parseFail' parseFail addWarningpushBack tryPrefixoneOf manyDelimitedtokenmunch$fMonadParserM$fApplicativeParserM$fFunctorParserM$fShowParserState$fShowLexState TmpModuleDecl TmpImportTmpChain getOpNameQualifiedOpNamegetQualifiedOpName_getProperNameQualifiedProperNamegetQualifiedProperNamequalifiedProperName properName getProperNamequalifiedOpNameopName placeholderunexpectedNameunexpectedQualunexpectedLabelunexpectedExprunexpectedBinderunexpectedRecordUpdateunexpectedRecordLabeled rangeToksunexpectedToks separated toModuleNameupperToModuleNametoQualifiedNametoNametoLabeltoStringtoChartoNumbertoInt toBoolean toConstraint isConstrainedtoBinderConstructortoRecordFields checkFundeps toModuleDeclscheckNoWildcardscheckNoForallsrevert reservedNamesisValidModuleNamespaceisLeftFatArrow$fShowTmpModuleDecllenient lexModulelex lexTopLevel lexWithState isUnquotedKey PartialResult resPartialresFull parseType parseExpr parseIdent parseOperator parseDeclparseImportDeclP parseDeclP parseExprP parseTypePparseModuleNamePparseQualIdentPparse parseModule$fFunctorPartialResultsndMsndM'thirdMpairMeitherMdefS RowListItem rowListAnn rowListLabel rowListType constraintAnnconstraintClassconstraintKindArgsconstraintArgsconstraintDataConstraintDataPartialConstraintDataTUnknownTypeLevelString TypeLevelIntKindAppForAllConstrainedTypeSkolemREmptyRCons KindedTypeBinaryNoParensType ParensInType WildcardData HoleWildcardUnnamedWildcardIgnoredWildcard SkolemScoperunSkolemScopeSourceConstraint SourceType REmptyKinded srcTUnknown srcTypeVarsrcTypeLevelStringsrcTypeLevelIntsrcTypeWildcardsrcTypeConstructor srcTypeApp srcKindApp srcForAllsrcConstrainedType srcREmptysrcRCons srcKindedTypetoREmptyKindedisREmpty srcConstraintmapConstraintArgsoverConstraintArgsmapConstraintArgsAlloverConstraintArgsAllconstraintDataToJSONconstraintToJSON typeToJSONconstraintDataFromJSONconstraintFromJSON typeFromJSONsrcRowListItem rowToListrowToSortedList rowFromList alignRowsWith isMonoTypemkForAllreplaceTypeVarsreplaceAllTypeVarsusedTypeVariablesfreeTypeVariablescompleteBinderListquantifymoveQuantifiersToFrontcontainsForAllunknownscontainsUnknowns eraseKindAppseraseForAllKindAnnotations unapplyTypesunapplyConstraintssrcInstanceTypeeverywhereOnTypeseverywhereOnTypesMeverywhereOnTypesTopDownMeverythingWithContextOnTypes annForType getAnnForType setAnnForTypeeqType eqMaybeType compareTypecompareMaybeType eqConstraintcompareConstraint$fSerialiseSkolemScope$fNFDataSkolemScope$fFromJSONWildcardData$fToJSONWildcardData$fSerialiseWildcardData$fNFDataWildcardData$fFromJSONConstraintData$fToJSONConstraintData$fSerialiseConstraintData$fNFDataConstraintData$fFromJSONConstraint$fFromJSONConstraint0$fFromJSONConstraint1$fFromJSONType$fFromJSONType0$fFromJSONType1$fToJSONConstraint $fToJSONType$fSerialiseConstraint$fNFDataConstraint$fSerialiseType $fNFDataType$fShowRowListItem$fGenericRowListItem$fFunctorRowListItem$fFoldableRowListItem$fTraversableRowListItem$fShowConstraintData$fEqConstraintData$fOrdConstraintData$fGenericConstraintData$fShowWildcardData$fEqWildcardData$fOrdWildcardData$fGenericWildcardData$fShowSkolemScope$fEqSkolemScope$fOrdSkolemScope$fToJSONSkolemScope$fFromJSONSkolemScope$fGenericSkolemScope NamedDictTypeClassDictionaryInScopetcdChaintcdIndextcdValuetcdPath tcdClassName tcdForAlltcdInstanceKindstcdInstanceTypestcdDependenciestcdDescriptionsuperclassName"$fNFDataTypeClassDictionaryInScope $fShowTypeClassDictionaryInScope#$fFunctorTypeClassDictionaryInScope$$fFoldableTypeClassDictionaryInScope'$fTraversableTypeClassDictionaryInScope#$fGenericTypeClassDictionaryInScope PSOrderingContextRelationEqualLessThan solveRelation mkRelationmkFacts$fFunctorRelation$fShowRelation $fEqRelation $fOrdRelation DataDeclTypeDataTypeKindDataType TypeSynonym ExternDataLocalTypeVariable ScopedTypeVarNameKindPrivatePublicExternalNameVisibility UndefinedDefinedFrontierFunctionalDependency fdDeterminers fdDetermined TypeClassDatatypeClassArgumentstypeClassMemberstypeClassSuperclassestypeClassDependenciestypeClassDeterminedArgumentstypeClassCoveringSetstypeClassIsEmpty EnvironmentnamestypesdataConstructors typeSynonymstypeClassDictionaries typeClassesinitEnvironmentmakeTypeClassDatacomputeCoveringSetsshowDataDeclTypekindTypekindConstraint kindSymbolkindDoc kindOrdering kindRowListkindRow kindOfREmpty tyFunctiontyStringtyChartyNumbertyInt tyBooleantyArraytyRecordtyVartyForallfunction-:> primClass primTypes allPrimTypesprimBooleanTypesprimCoerceTypesprimOrderingTypes primRowTypesprimRowListTypesprimSymbolTypes primIntTypesprimTypeErrorTypes primClassesallPrimClassesprimCoerceClassesprimRowClassesprimRowListClassesprimSymbolClassesprimIntClassesprimTypeErrorClasseslookupConstructor lookupValue dictTypeName' dictTypeNameisDictTypeNamenominalRolesForKind kindArity unapplyKinds$fToJSONFunctionalDependency$fFromJSONFunctionalDependency$fSerialiseFunctionalDependency$fNFDataFunctionalDependency$fNFDataTypeClassData$fSerialiseNameVisibility$fNFDataNameVisibility$fSerialiseNameKind$fNFDataNameKind$fFromJSONDataDeclType$fToJSONDataDeclType$fSerialiseDataDeclType$fNFDataDataDeclType$fSerialiseTypeKind$fNFDataTypeKind$fNFDataEnvironment$fShowEnvironment$fGenericEnvironment$fShowTypeKind $fEqTypeKind$fGenericTypeKind$fShowDataDeclType$fEqDataDeclType$fOrdDataDeclType$fGenericDataDeclType$fShowNameKind $fEqNameKind$fGenericNameKind$fShowNameVisibility$fEqNameVisibility$fGenericNameVisibility$fShowTypeClassData$fGenericTypeClassData$fShowFunctionalDependency$fGenericFunctionalDependencyAnnssAnnremoveComments$fMonoidPluralityMap$fSemigroupPluralityMap$fGenericCSESummary$fSemigroupCSESummary$fMonoidCSESummary$fEqBindingTypeoptimizeCommonSubexpressionsoptimizeCoreFnOpBinderBinaryNoParensBinderParensInBinderPositionedBinder TypedBinder binderNamesbinderNamesWithSpans isIrrefutable AssocList runAssocListPathNodeLeafBranchPathTreeDoNotationElementDoNotationValueDoNotationBind DoNotationLetPositionedDoNotationElementWhereProvenance FromWhereFromLet UnaryMinusBinaryNoParensParensObjectUpdateNestedUnusedOp TypedValueDoAdoTypeClassDictionaryDeferredDictionaryDerivedInstancePlaceholderAnonymousArgumentHolePositionedValueConditionGuardKindSignatureForDataSig NewtypeSigTypeSynonymSigClassSigTypeInstanceBodyDerivedInstanceNewtypeInstanceExplicitInstanceInstanceDerivationStrategyKnownClassStrategyNewtypeStrategy TypeFixity ValueFixityDataDeclarationDataBindingGroupDeclarationTypeSynonymDeclarationKindDeclarationRoleDeclarationTypeDeclarationValueDeclarationBoundValueDeclarationBindingGroupDeclarationExternDeclarationExternDataDeclarationFixityDeclarationImportDeclarationTypeClassDeclarationTypeInstanceDeclarationDataConstructorDeclarationValueDeclarationDatavaldeclSourceAnn valdeclIdent valdeclNamevaldeclBindersvaldeclExpressionTypeDeclarationDatatydeclSourceAnn tydeclIdent tydeclTypeRoleDeclarationDatardeclSourceAnn rdeclIdent rdeclRolesImportDeclarationTypeImplicitExplicitHiding ExportSourceexportSourceImportedFromexportSourceDefinedInDeclarationRef TypeClassRef TypeOpRefTypeRefValueRef ValueOpRefTypeInstanceRef ModuleRef ReExportRef NameSource UserNamed CompilerNamed HintCategoryExprHintKindHint CheckHint PositionHint SolverHintDeclarationHint OtherHintErrorMessageHintErrorUnifyingTypesErrorInExpressionErrorInInstanceErrorInSubsumptionErrorCheckingAccessorErrorCheckingTypeErrorCheckingKindErrorCheckingGuardErrorInferringTypeErrorInferringKindErrorInApplicationErrorInDataConstructorErrorInTypeConstructorErrorInBindingGroupErrorInDataBindingGroupErrorInTypeSynonymErrorInValueDeclarationErrorInTypeDeclarationErrorInTypeClassDeclarationErrorInKindDeclarationErrorInRoleDeclarationErrorInForeignImportErrorInForeignImportDataErrorSolvingConstraint$MissingConstructorImportForCoerciblePositionedErrorRelatedPositions TypeSearchTSBeforeTSAftertsAfterIdentifierstsAfterRecordFields MkUnguardedTypeFixityDeclarationValueFixityDeclaration ValueDeclonTypeSearchTypesonTypeSearchTypesM getModuleNamegetModuleSourceSpangetModuleDeclarationsaddDefaultImport importPrimdeclRefSourceSpan declRefName getTypeRef getTypeOpRef getValueRef getValueOpRefgetTypeClassRef isModuleRef isExplicitgetTypeDeclarationunwrapTypeDeclarationgetValueDeclarationmapDataCtorFieldstraverseDataCtorFieldsmapTypeInstanceBodytraverseTypeInstanceBody declSourceAnndeclSourceSpandeclName isValueDecl isDataDeclisTypeSynonymDecl isImportDecl isRoleDeclisExternDataDecl isFixityDecl getFixityDecl isExternDeclisTypeClassInstanceDeclisTypeClassDecl isKindDecl flattenDecls$fOrdDeclarationRef$fEqDeclarationRef$fNFDataKindSignatureFor$fShowDoNotationElement $fShowGuard$fShowTypeInstanceBody$fShowErrorMessageHint$fShowPathTree $fEqPathTree $fOrdPathTree$fFunctorPathTree$fFoldablePathTree$fTraversablePathTree$fShowPathNode $fEqPathNode $fOrdPathNode$fFunctorPathNode$fFoldablePathNode$fTraversablePathNode$fShowAssocList $fEqAssocList$fOrdAssocList$fFoldableAssocList$fFunctorAssocList$fTraversableAssocList$fShowWhereProvenance$fEqKindSignatureFor$fOrdKindSignatureFor$fShowKindSignatureFor$fGenericKindSignatureFor $fShowInstanceDerivationStrategy$fEqTypeFixity$fOrdTypeFixity$fShowTypeFixity$fEqValueFixity$fOrdValueFixity$fShowValueFixity $fShowDataConstructorDeclaration$fEqDataConstructorDeclaration$fShowValueDeclarationData$fFunctorValueDeclarationData$fFoldableValueDeclarationData!$fTraversableValueDeclarationData$fShowTypeDeclarationData$fEqTypeDeclarationData$fShowRoleDeclarationData$fEqRoleDeclarationData$fEqImportDeclarationType$fShowImportDeclarationType$fGenericImportDeclarationType $fSerialiseImportDeclarationType$fShowDeclarationRef$fGenericDeclarationRef$fNFDataDeclarationRef$fSerialiseDeclarationRef$fEqExportSource$fOrdExportSource$fShowExportSource$fGenericExportSource$fNFDataExportSource$fSerialiseExportSource$fShowNameSource$fGenericNameSource$fNFDataNameSource$fSerialiseNameSource$fShowHintCategory$fEqHintCategory$fShowTypeSearch$fFromJSONNameSource$fToJSONNameSource$fFromJSONExportSource$fToJSONExportSource$fFromJSONDeclarationRef$fToJSONDeclarationRef isTrueExprisAnonymousArgument$fFromJSONImportDeclarationType$fToJSONImportDeclarationType ScopedIdent LocalIdent ToplevelIdent guardedExprMmapGuardedExprlitMeverywhereOnValuesTopDownMeverywhereOnValuesMeverythingOnValueseverythingWithContextOnValueseverywhereWithContextOnValueseverywhereWithContextOnValuesMinScopeeverythingWithScope accumTypes overTypes$fShowScopedIdent$fEqScopedIdent$fOrdScopedIdentexportedDeclarations isExporteddesugarLetPatternModule PrinterStateindent PlainStringStrPosSMapEmitemit addMappingparensT parensPos intercalaterunPlainString addMapping'bumpPosaddPos blockIndent withIndent currentIndentobjectKeyRequiresQuotingbeforebeforeWithSpaceendWith $fEmitStrPos$fMonoidStrPos$fSemigroupStrPos$fEmitPlainString$fSemigroupPlainString$fMonoidPlainStringPrettyPrintConstraintPrettyPrintType PPTUnknown PPTypeVarPPTypeLevelStringPPTypeLevelIntPPTypeWildcardPPTypeConstructorPPTypeOpPPSkolem PPTypeApp PPKindArgPPConstrainedType PPKindedTypePPBinaryNoParensTypePPParensInTypePPForAll PPFunctionPPRecordPPRow PPTruncatedconvertPrettyPrintType typeAtomAsBoxprettyPrintTypeAtom typeAsBox typeDiffAsBoxprettyPrintTypeprettyPrintTypeWithUnicodeprettyPrintSuggestedTypeprettyPrintLabelprettyPrintObjectKeyprettyPrintValueprettyPrintBinderAtomprettyPrintBinder*ignoreWildcardsUnderCompleteTypeSignatures PPEOptions ppeCodeColorppeFullppeLevel ppeShowDocsppeRelativeDirectoryppeFileContentsLevelErrorWarningTypeMap umSkolemMap umUnknownMap umNextIndexMultipleErrorsrunMultipleErrorsErrorSuggestionSimpleErrorMessageInternalCompilerErrorModuleNotFoundErrorParsingFFIModuleErrorParsingCSTModuleWarningParsingCSTModuleMissingFFIModuleUnnecessaryFFIModuleMissingFFIImplementationsUnusedFFIImplementationsInvalidFFIIdentifierDeprecatedFFIPrimeDeprecatedFFICommonJSModuleUnsupportedFFICommonJSExportsUnsupportedFFICommonJSImports FileIOError InfiniteType InfiniteKindMultipleValueOpFixitiesMultipleTypeOpFixitiesOrphanTypeDeclarationOrphanKindDeclarationOrphanRoleDeclarationRedefinedIdentOverlappingNamesInLet UnknownName UnknownImportUnknownImportDataConstructor UnknownExportUnknownExportDataConstructor ScopeConflictScopeShadowing DeclConflictExportConflictDuplicateModuleDuplicateTypeClassDuplicateInstanceDuplicateTypeArgument InvalidDoBind InvalidDoLetCycleInDeclarationCycleInTypeSynonymCycleInTypeClassDeclarationCycleInKindDeclarationCycleInModulesNameIsUndefinedUndefinedTypeVariablePartiallyAppliedSynonym EscapedSkolemTypesDoNotUnifyKindsDoNotUnifyConstrainedTypeUnifiedOverlappingInstancesNoInstanceFoundAmbiguousTypeVariables UnknownClassPossiblyInfiniteInstance!PossiblyInfiniteCoercibleInstance CannotDeriveInvalidDerivedInstanceExpectedTypeConstructorInvalidNewtypeInstance MissingNewtypeSuperclassInstanceUnverifiableSuperclassInstanceCannotFindDerivingTypeDuplicateLabelDuplicateValueDeclarationArgListLengthsDifferOverlappingArgNamesMissingClassMemberExtraneousClassMember ExpectedTypeIncorrectConstructorArityExprDoesNotHaveTypePropertyIsMissingAdditionalPropertyOrphanInstanceInvalidNewtypeInvalidInstanceHeadTransitiveExportErrorTransitiveDctorExportErrorHiddenConstructors ShadowedNameShadowedTypeVar UnusedTypeVar UnusedNameUnusedDeclarationWildcardInferredTypeHoleInferredTypeMissingTypeDeclarationMissingKindDeclarationOverlappingPatternIncompleteExhaustivityCheckImportHidingModule UnusedImportUnusedExplicitImportUnusedDctorImportUnusedDctorExplicitImportDuplicateSelectiveImportDuplicateImportDuplicateImportRefDuplicateExportRef IntOutOfRangeImplicitQualifiedImportImplicitQualifiedImportReExportImplicitImport HidingImportCaseBinderLengthDiffersIncorrectAnonymousArgumentInvalidOperatorInBinder!CannotGeneralizeRecursiveFunctionCannotDeriveNewtypeForDataExpectedWildcardCannotUseBindWithDoClassInstanceArityMismatchUserDefinedWarningUnusableDeclarationCannotDefinePrimModulesMixedAssociativityErrorNonAssociativeError QuantificationCheckFailureInKind QuantificationCheckFailureInType'VisibleQuantificationCheckFailureInTypeUnsupportedTypeInKind RoleMismatch#InvalidCoercibleInstanceDeclarationUnsupportedRoleDeclarationRoleDeclarationArityMismatchDuplicateRoleDeclaration!CannotDeriveInvalidConstructorArg errorSpan errorModulefindHintstripModuleAndSpan errorCodenonEmpty errorMessage errorMessage'errorMessage''errorMessage''' singleErroronErrorMessagesaddHintaddHintsdefaultUnknownMapunwrapErrorMessagereplaceUnknownsonTypesInErrorMessageonTypesInErrorMessageM errorDocUrierrorSuggestionsuggestionSpanshowSuggestion ansiColoransiColorReset colorCode colorCodeBoxcommasAndConjunctiondefaultCodeColordefaultPPEOptionsprettyPrintSingleErrorprettyPrintExportprettyPrintImportprettyPrintRefprettyPrintKindSignatureFor"prettyPrintSuggestedTypeSimplifiedprettyPrintMultipleErrorsprettyPrintMultipleWarningsprettyPrintMultipleWarningsBoxprettyPrintMultipleErrorsBoxprettyPrintMultipleErrorsWithlinelineS renderBoxtoTypelevelStringrethrowwarnAndRethrowrethrowWithPositionwarnWithPositionwarnAndRethrowWithPosition withPositionwithoutPositionpositionedErrorescalateWarningWhenparUinternalCompilerError $fShowLevel $fShowTypeMap$fShowMultipleErrors$fSemigroupMultipleErrors$fMonoidMultipleErrors$fShowSimpleErrorMessage lookupRoles checkRolescheckRoleDeclarationArity inferRolesinferDataBindingGroupRoles$fMonoidRoleMap$fSemigroupRoleMapUnknown CheckStatecheckEnv checkNextTypecheckNextSkolemcheckNextSkolemScopecheckCurrentModulecheckCurrentModuleImportscheckSubstitution checkHints#checkConstructorImportsForCoercible Substitution substType substUnsolved substNamesUnkLevel insertUnkName lookupUnkNameemptySubstitutionemptyCheckState bindNames bindTypeswithScopedTypeVarswithErrorMessageHintgetHintsrethrowWithPositionTCwarnAndRethrowWithPositionTCwithTypeClassDictionariesgetTypeClassDictionarieslookupTypeClassDictionaries#lookupTypeClassDictionariesForClassbindLocalVariablesbindLocalTypeVariablesmakeBindingGroupVisiblewithBindingGroupVisiblepreservingNameslookupVariable getVisibilitycheckVisibilitylookupTypeVariablegetEnvgetLocalContextputEnv modifyEnvrunCheck guardWithcapturingSubstitutionwithFreshSubstitutionwithoutWarningsunsafeCheckCurrentModuledebugEnv debugTypedebugConstraint debugTypes debugNamesdebugDataConstructorsdebugTypeSynonymsdebugTypeClassDictionariesdebugTypeClasses debugValuedebugSubstitution $fOrdUnkLevel $fEqUnkLevel$fShowUnkLevelKindMap SynonymMapreplaceAllTypeSynonymsreplaceAllTypeSynonymsMnewSkolemConstantintroduceSkolemScopenewSkolemScope skolemizeskolemizeTypesInValueskolemEscapeCheck freshKindfreshKindWithKindunknownsWithKinds inferKind checkKindinstantiateKind subsumesKind unifyKinds unifyKinds' checkTypeKind elaborateKindkindOfWithUnknownskindOfkindOfWithScopedVars kindOfDatakindOfTypeSynonym kindOfClasscheckConstraintcheckInstanceDeclarationcheckKindDeclaration kindsOfAll freshTypefreshTypeWithKind solveTypesubstituteTypeunknownsInType unifyTypes unifyRowsreplaceTypeWildcards varIfUnknownsubsumesWantedSolverState"$sel:inertGivens:WantedSolverState#$sel:inertWanteds:WantedSolverState&$sel:unsolvedWanteds:WantedSolverStateGivenSolverState!$sel:inertGivens:GivenSolverState$$sel:unsolvedGivens:GivenSolverStateinitialGivenSolverState solveGivensinitialWantedSolverState solveWanteds insoluble SolverOptionssolverShouldGeneralizesolverDeferErrorsInstanceContext findDictsreplaceTypeClassDictionariesentailsnewDictionaries$fMonoidMatched$fSemigroupMatched $fEqMatched $fShowMatched$fFunctorMatched$fShowEntailsResult$fShowEvidence $fEqEvidence$fShowReflectable$fEqReflectable typeSearchdesugarTypeDeclarationsModuleReapplyFromOpChaintoAssoc parseValueparseOpmatchOpopTablematchOperatorsmatchTypeOperatorsmatchExprOperatorsmatchBinderOperatorsdesugarObjectConstructors desugarDecl ExportModeInternalReExportEnvExports exportedTypesexportedTypeOpsexportedTypeClassesexportedValuesexportedValueOpsImports importedTypesimportedTypeOpsimportedDataConstructorsimportedTypeClassesimportedValuesimportedValueOpsimportedModulesimportedQualModules importedKindsImportProvenance FromImplicit FromExplicitLocalPrim ImportRecord importNameimportSourceModuleimportSourceSpanimportProvenance nullImports nullExportsenvModuleExports primExportsprimEnv exportType exportTypeOpexportTypeClass exportValue exportValueOpcheckImportConflicts$fEqExportMode$fShowExportMode $fShowExports $fShowImports$fEqImportRecord$fOrdImportRecord$fShowImportRecord$fEqImportProvenance$fOrdImportProvenance$fShowImportProvenance ImportDef findImportsresolveImportsresolveModuleImportwarnDuplicateRefsfindExportableresolveExportsdesugarDoModuledesugarCasesModuledesugarCaseGuards desugarCasescreateBindingGroupsModulecreateBindingGroupscollapseBindingGroups$fEqVertexType$fOrdVertexType$fShowVertexTypedesugarAdoModuleDependencyDepthDirect TransitiveModuleSignature sigSourceSpan sigModuleName sigImports ModuleGraph sortModulesmoduleSignature UsedImports lintImportscheckExhaustiveExprlint FixityAlias RenderedCodeRenderedCodeElementSyntaxKeyword ValueLevel TypeLevelLinkNoLinkContainingModule ThisModule OtherModuleasContainingModulemaybeToContainingModule fromQualified outputWithspsyntaxkeyword keywordForall keywordData keywordType keywordClass keywordWhere keywordFixity keywordAsidentdataCtortypeCtortypeOptypeVarroleAnnalias aliasName$fFromJSONContainingModule$fToJSONContainingModule$fFromJSONLink $fToJSONLink$fFromJSONNamespace$fToJSONNamespace$fNFDataNamespace$fToJSONRenderedCodeElement$fToJSONRenderedCode$fShowRenderedCode$fEqRenderedCode$fOrdRenderedCode$fSemigroupRenderedCode$fMonoidRenderedCode$fShowRenderedCodeElement$fEqRenderedCodeElement$fOrdRenderedCodeElement$fShowNamespace $fEqNamespace$fOrdNamespace$fGenericNamespace $fShowLink$fEqLink $fOrdLink$fShowContainingModule$fEqContainingModule$fOrdContainingModule renderRow renderTyperenderTypeWithRole renderType'renderTypeAtomrenderTypeAtom'ASTUnaryBinaryIndexerModuleAccessorBlockVariableIntroduction AssignmentWhileForForInIfElseReturnReturnNoResultThrow InstanceOfInitializerEffects NoEffectsUnknownEffects CICommentsSourceCommentsPureAnnotationBinaryOperatorAddSubtractMultiplyDivideModulusEqualTo NotEqualToLessThanOrEqualTo GreaterThanGreaterThanOrEqualToAndOr BitwiseAnd BitwiseOr BitwiseXor ShiftLeft ShiftRightZeroFillShiftRight UnaryOperatorNegateNot BitwiseNotPositiveNewwithSourceSpan getSourceSpan everywhereeverywhereTopDowneverywhereTopDownM everything $fShowAST$fEqAST$fShowInitializerEffects$fEqInitializerEffects$fShowCIComments$fEqCIComments$fShowBinaryOperator$fEqBinaryOperator$fShowUnaryOperator$fEqUnaryOperatortcoRefapplyAll replaceIdent replaceIdents isReassigned isReboundtargetVariable isUpdatedremoveFromBlockrefPatternHelperremoveCodeAfterReturnStatementsremoveUndefinedAppremoveUnusedEffectFreeVars magicDoEff magicDoEffect magicDoSTinlineST etaConvertunThunk evaluateIifesinlineVariablesinlineCommonValuesinlineCommonOperatorsinlineFnCompositioninlineFnIdentityinlineUnsafeCoerceinlineUnsafePartialcollapseNestedBlockscollapseNestedIfsoptimize modHeadermodBodymoduleToCoreFn moduleToJSONapplyLazinessTransform$fSemigroupMaxRoseNode$fFunctorRecursiveGroupItem parseVersion'moduleFromJSON moduleToJsprettyPrintJSWithSourceMaps prettyPrintJScommentcomments sourcePos sourceSpan convertType convertExpr convertBinderconvertDeclarationconvertImportDecl convertModule pureResultparseModulesFromFilesparseFromFilesparseModuleFromFile parseFromFileunwrapParserErrortoMultipleErrorstoMultipleWarningstoPositionedErrortoPositionedWarninglamlamCaselamCase2mkRefmkVarMnmkVarmkBindermkLitmkCtor mkCtorBinder unguardedunwrapTypeConstructorExternsDeclarationEDType EDTypeSynonymEDDataConstructorEDValueEDClass EDInstance edTypeName edTypeKindedTypeDeclarationKindedTypeSynonymNameedTypeSynonymArgumentsedTypeSynonymTypeedDataCtorNameedDataCtorOriginedDataCtorTypeCtoredDataCtorTypeedDataCtorFields edValueName edValueType edClassNameedClassTypeArgumentsedClassMembersedClassConstraintsedFunctionalDependencies edIsEmptyedInstanceClassNameedInstanceNameedInstanceForAlledInstanceKindsedInstanceTypesedInstanceConstraintsedInstanceChainedInstanceChainIndexedInstanceNameSourceedInstanceSourceSpanExternsTypeFixityefTypeAssociativityefTypePrecedenceefTypeOperator efTypeAlias ExternsFixityefAssociativity efPrecedence efOperatorefAlias ExternsImporteiModule eiImportType eiImportedAs ExternsFile efVersion efModuleName efExports efImports efFixitiesefTypeFixitiesefDeclarations efSourceSpanexternsIsCurrentVersionapplyExternsFileToEnvironmentmoduleToExternsFileexternsFileName$fSerialiseExternsImport$fSerialiseExternsFixity$fSerialiseExternsTypeFixity$fSerialiseExternsDeclaration$fSerialiseExternsFile$fShowExternsFile$fGenericExternsFile$fShowExternsDeclaration$fGenericExternsDeclaration$fShowExternsTypeFixity$fGenericExternsTypeFixity$fShowExternsFixity$fGenericExternsFixity$fShowExternsImport$fGenericExternsImportdesugarTypeClassestypeClassMemberNamesuperClassDictionaryNamesderiveInstanceBindingGroupTypeRecursiveBindingGroupNonRecursiveBindingGrouptypesOf$fShowBindingGroupType$fEqBindingGroupType$fOrdBindingGroupType checkNewtypetypeCheckModulederiveInstancesRebracketCallerCalledByCompile CalledByDocsdesugarSignedLiterals rebracketrebracketFilteredcheckFixityExports$fEqRebracketCaller$fShowRebracketCaller externsEnvdesugar LinkLocation LocalModule DepsModule BuiltinModuleDocLink linkLocation linkTitle linkNamespace LinksContext ctxGithub ctxModuleMapctxResolvedDependenciesctxPackageName ctxVersion ctxVersionTag InPackageFromDep PackageErrorCompilerTooOldErrorInPackageMetaInvalidVersionInvalidDeclarationTypeInvalidChildDeclarationType InvalidFixity InvalidKindInvalidDataDeclTypeInvalidKindSignatureFor InvalidTime InvalidRole GithubRepo runGithubRepo GithubUser runGithubUserChildDeclarationInfo ChildInstanceChildDataConstructorChildTypeClassMemberChildDeclaration cdeclTitle cdeclCommentscdeclSourceSpan cdeclInfoKindInfo kiKeywordkiKindDeclarationInfoAliasDeclaration declTitle declComments declChildrendeclInfodeclKindmodName modCommentsmodDeclarations modReExports ManifestError BowerManifest PursManifestVerifiedPackageUploadedPackage NotYetKnownPackagepkgMeta pkgVersion pkgVersionTag pkgTagTime pkgModules pkgModuleMappkgResolvedDependencies pkgGithub pkgUploaderpkgCompilerVersion Constraint'Type'showManifestError verifyPackage packageNamejsonTimeFormat formatTime parseTimeconvertFundepsToStringsdeclInfoToStringdeclInfoNamespace isTypeClassisValueisType isValueAlias isTypeAliasfilterChildrenchildDeclInfoToStringchildDeclInfoNamespaceisTypeClassMemberisDataConstructor ignorePackagegetLinkgetLinksContext asPackageparseTimeEitherasUploadedPackage asNotYetKnowndisplayPackageError asGithubUser asVersionasModule asDeclaration asReExportpOr asInPackageasFixity asFixityAliasparseAssociativityasAssociativityasDeclarationInfo asKindInfoasKindSignatureForasTypeArgumentsasRoleasType asFunDepsasDataDeclTypeasChildDeclarationasChildDeclarationInfo asSourcePos asConstraintasQualifiedProperName asModuleMapbookmarksAsModuleMapasResolvedDependenciesparsePackageName'mapLeftasGithub asSourceSpankindSignatureForKeywordassocListToJSON$fToJSONNotYetKnown$fFromJSONNotYetKnown$fNFDataNotYetKnown$fNFDataManifestError$fToJSONDeclarationInfo$fNFDataDeclarationInfo$fToJSONKindInfo$fNFDataKindInfo$fToJSONChildDeclarationInfo$fNFDataChildDeclarationInfo$fToJSONChildDeclaration$fNFDataChildDeclaration$fToJSONDeclaration$fNFDataDeclaration$fToJSONGithubUser$fFromJSONGithubUser$fNFDataGithubUser$fToJSONGithubRepo$fNFDataGithubRepo$fNFDataPackageError$fToJSONInPackage$fFunctorInPackage$fNFDataInPackage$fNFDataModule$fToJSONPackage$fFromJSONPackage$fNFDataPackage$fNFDataLinksContext$fNFDataLinkLocation$fNFDataDocLink $fShowDocLink $fEqDocLink $fOrdDocLink$fGenericDocLink$fShowLinkLocation$fEqLinkLocation$fOrdLinkLocation$fGenericLinkLocation$fShowLinksContext$fEqLinksContext$fOrdLinksContext$fGenericLinksContext $fShowPackage $fEqPackage $fOrdPackage$fGenericPackage$fShowInPackage $fEqInPackage$fOrdInPackage$fGenericInPackage$fShowPackageError$fEqPackageError$fOrdPackageError$fGenericPackageError$fShowGithubRepo$fEqGithubRepo$fOrdGithubRepo$fGenericGithubRepo$fShowGithubUser$fEqGithubUser$fOrdGithubUser$fGenericGithubUser$fShowChildDeclaration$fEqChildDeclaration$fOrdChildDeclaration$fGenericChildDeclaration$fShowChildDeclarationInfo$fEqChildDeclarationInfo$fOrdChildDeclarationInfo$fGenericChildDeclarationInfo$fShowKindInfo $fEqKindInfo $fOrdKindInfo$fGenericKindInfo$fShowDeclarationInfo$fEqDeclarationInfo$fOrdDeclarationInfo$fGenericDeclarationInfo$fShowManifestError$fEqManifestError$fOrdManifestError$fGenericManifestError$fShowNotYetKnown$fEqNotYetKnown$fOrdNotYetKnown$fGenericNotYetKnowntags dumpEtags dumpCtags renderKindSigrenderDeclarationrenderChildDeclarationrenderConstraintrenderConstraints notQualifiedident' dataCtor'typeApp toTypeVarprimDocsModuleprimRowDocsModuleprimTypeErrorDocsModuleconvertSingleModuleconvertCommentsupdateReExports$fMonoidTypeClassEnv$fSemigroupTypeClassEnv$fShowTypeClassEnvfixCRLFreadUTF8FilesT readUTF8FileTwriteUTF8FileT readUTF8FileunMakerunMakemakeIO getTimestampgetTimestampMaybe readTextFile readJSONFilereadJSONFileIO readCborFilereadCborFileIOreadExternsFilehashFile writeTextFile writeJSONFile writeCborFilewriteCborFileIOcopyFile$fMonadBaseControlIOMake$fMonadBaseIOMake $fFunctorMake$fApplicativeMake $fMonadMake $fMonadIOMake$fMonadErrorMultipleErrorsMake$fMonadWriterMultipleErrorsMake$fMonadReaderOptionsMake MakeActionsgetInputTimestampsAndHashesgetOutputTimestamp readExternscodegen ffiCodegenprogress readCacheDb writeCacheDbwritePackageJsonoutputPrimDocsProgressMessageCompilingModule RebuildPolicy RebuildNever RebuildAlwaysrenderProgressMessage cacheDbFile readCacheDb' writeCacheDb'buildMakeActionscheckForeignDecls ffiCodegen'$fShowForeignModuleType$fShowProgressMessage$fEqProgressMessage$fOrdProgressMessage$fShowRebuildPolicy$fEqRebuildPolicy$fOrdRebuildPolicyBuildJobResultBuildJobSucceededBuildJobFailedBuildJobSkipped BuildPlanbpEnvbpIndexbuildJobSuccess markComplete needsRebuildcollectResults getResult construct rebuildModulerebuildModule'makeinferForeignModulesgraphversion OtherError ProcessFailedIOExceptionThrown JSONSourceFromFileFromResolutions InternalErrorCouldntParseGitTagDateRepositoryFieldErrorRepositoryFieldMissingBadRepositoryType NotOnGithub UserErrorPackageManifestNotFoundResolutionsFileNotFoundCouldntConvertPackageManifestCouldntDecodePackageManifestTagMustBeCheckedOutAmbiguousVersionsBadRepositoryFieldNoLicenseSpecifiedInvalidLicenseMissingDependencies CompileErrorDirtyWorkingTreeResolutionsFileErrorPackageWarningNoResolvedVersionUnacceptableVersionDirtyWorkingTreeWarn printError renderErrorrenderWarnings printWarnings$fMonoidCollectedWarnings$fSemigroupCollectedWarnings$fShowCollectedWarnings$fEqCollectedWarnings$fOrdCollectedWarnings$fShowOtherError$fShowJSONSource$fShowInternalError$fShowUserError$fShowRepositoryFieldError$fShowPackageWarning DirectiveHelpQuitReloadClearBrowseKindShowPasteCompletePrint ReplQuery QueryLoaded QueryImport QueryPrintCommand ExpressionShowHelp BrowseModuleQuitPSCi ReloadState ClearStateDeclsTypeOfKindOfShowInfo PasteLines CompleteStrSetInteractivePrintImportedModule PSCiState PSCiConfig psciFileGlobspsciImportedModulespsciLetBindingspsciLoadedExternspsciInteractivePrint psciImports psciExportsinitialPSCiStateinitialInteractivePrintpsciEnvironmentupdateImportedModulesupdateLoadedExterns updateLetssetInteractivePrint replQueriesreplQueryStrings showReplQueryparseReplQuery $fEqDirective$fShowDirective $fShowCommand $fEqReplQuery$fShowReplQuery$fShowPSCiState$fShowPSCiConfigdirectiveStringsdirectiveStrings' stringsFor stringFordirectivesFor' directivesFordirectiveStringsForhelpguideURL helpMessageprologueMessagenoInputMessagesupportModuleMessage quitMessagetextTprintModuleSignatures parseDotFile parseCommandsupportModuleNamesupportModuleIsDefinedloadAllModulescreateTemporaryModulecreateTemporaryModuleForKindcreateTemporaryModuleForImports importDecl indexFile modulesDir internalSpan CompletionMliftCompletionM completion completion'formatCompletions$fShowCompletionContext handleCommandDigraph _unDigraph GraphName _unGraphNameGraph graphNamedigraphSuperMap _unSuperMap prettyPrinttypeClassGraphtypeClassPrologue typeClassBodytypeClassEpilogue superClasses $fOrdSuperMap $fEqGraph $fShowGraph $fEqDigraph $fShowDigraph $fEqGraphName$fShowGraphName $fEqSuperMap JSONResultwarningserrors JSONErrorpositionmessage errorLinkfilename suggestionallSpans replacement replaceRange ErrorPosition startLine startColumnendLine endColumn$fShowJSONResult$fEqJSONResult$fShowJSONError $fEqJSONError$fShowErrorSuggestion$fEqErrorSuggestion$fShowErrorPosition$fEqErrorPosition$fOrdErrorPosition$fFromJSONErrorPosition$fToJSONErrorPosition$fFromJSONErrorSuggestion$fToJSONErrorSuggestion$fFromJSONJSONError$fToJSONJSONError toJSONErrors toJSONError$fFromJSONJSONResult$fToJSONJSONResultIdeTypeOperator_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 ModuleMap ModuleIdent _IdeDeclValue _IdeDeclType_IdeDeclTypeSynonym_IdeDeclDataConstructor_IdeDeclTypeClass_IdeDeclValueOperator_IdeDeclTypeOperator_IdeDeclModuleanyOf$fShowIdeDeclaration$fEqIdeDeclaration$fOrdIdeDeclaration$fGenericIdeDeclaration$fNFDataIdeDeclaration$fShowIdeTypeOperator$fEqIdeTypeOperator$fOrdIdeTypeOperator$fGenericIdeTypeOperator$fNFDataIdeTypeOperator$fShowIdeValueOperator$fEqIdeValueOperator$fOrdIdeValueOperator$fGenericIdeValueOperator$fNFDataIdeValueOperator$fShowIdeTypeClass$fEqIdeTypeClass$fOrdIdeTypeClass$fGenericIdeTypeClass$fNFDataIdeTypeClass$fShowIdeInstance$fEqIdeInstance$fOrdIdeInstance$fGenericIdeInstance$fNFDataIdeInstance$fShowIdeDataConstructor$fEqIdeDataConstructor$fOrdIdeDataConstructor$fGenericIdeDataConstructor$fNFDataIdeDataConstructor$fShowIdeTypeSynonym$fEqIdeTypeSynonym$fOrdIdeTypeSynonym$fGenericIdeTypeSynonym$fNFDataIdeTypeSynonym $fShowIdeType $fEqIdeType $fOrdIdeType$fGenericIdeType$fNFDataIdeType$fShowIdeValue $fEqIdeValue $fOrdIdeValue$fGenericIdeValue$fNFDataIdeValue ideValueIdent ideValueType ideTypeDtors ideTypeKind ideTypeNameideSynonymKindideSynonymNameideSynonymType ideDtorName ideDtorTypeideDtorTypeNameideTCInstances ideTCKind ideTCNameideValueOpAliasideValueOpAssociativityideValueOpNameideValueOpPrecedenceideValueOpType Annotation _annLocation_annExportedFrom_annTypeAnnotation_annDocumentationIdeDeclarationAnn_idaAnnotation_idaDeclarationideTypeOpAliasideTypeOpAssociativity ideTypeOpKind ideTypeOpNameideTypeOpPrecedence$fShowIdeDeclarationAnn$fEqIdeDeclarationAnn$fOrdIdeDeclarationAnn$fGenericIdeDeclarationAnn$fNFDataIdeDeclarationAnn$fShowAnnotation$fEqAnnotation$fOrdAnnotation$fGenericAnnotation$fNFDataAnnotationannDocumentationannExportedFrom annLocationannTypeAnnotation IdeNamespaced IdeNamespace IdeNSValue IdeNSType IdeNSModuleSuccessCompletionResult TextResult UsagesResultMultilineTextResult ImportList ModuleListRebuildSuccess Completion complModulecomplIdentifier complTypecomplExpandedType complLocationcomplDocumentationcomplExportedFromcomplDeclarationTypeMatchIdeVolatileState vsAstDatavsDeclarationsvsCachedRebuild IdeFileState fsExterns fsModulesIdeState ideFileStateideVolatileStateIdeIdeEnvironment ideStateVarideConfigurationideCacheDbTimestampIdeConfigurationconfOutputPath confLogLevel confGlobs IdeLogLevelLogDebugLogPerfLogAll LogDefaultLogNoneAstDataTypeAnnotationsDefinitionSites idaAnnotationidaDeclarationemptyAnn emptyIdeStateemptyFileStateemptyVolatileStateidentifierFromDeclarationRefdeclarationType encodeSuccess encodeImport$fToJSONCompletion$fToJSONSuccess$fFromJSONIdeNamespace$fShowIdeState$fShowIdeVolatileState $fShowAstData $fEqAstData $fOrdAstData$fGenericAstData$fNFDataAstData$fFunctorAstData$fFoldableAstData$fShowIdeNamespaced$fEqIdeNamespaced$fOrdIdeNamespaced$fGenericIdeNamespaced$fNFDataIdeNamespaced$fShowIdeNamespace$fEqIdeNamespace$fOrdIdeNamespace$fGenericIdeNamespace$fNFDataIdeNamespace $fShowSuccess$fShowCompletion$fEqCompletion$fOrdCompletion $fShowMatch $fEqMatch$fFunctorMatch$fShowIdeFileState$fShowIdeLogLevel$fEqIdeLogLevelidePrimDeclarations labelTimespeclogPerfdisplayTimeSpecIdeError GeneralErrorNotFoundModuleFileNotFound RebuildErrorprettyPrintTypeSingleLine$fToJSONIdeError$fShowIdeErroridentifierFromIdeDeclarationnamespaceForDeclaration discardAnn withEmptyAnn unwrapMatchvalueOperatorAliasTtypeOperatorAliasTencodeTdecodeT properNameTidentTopNameT ideReadFileReexportResult reResolvedreFailedprettyPrintReexportResultreexportHasFailuresresolveReexportsresolveReexports'$fNFDataReexportResult$fShowReexportResult$fEqReexportResult$fFunctorReexportResult$fGenericReexportResultMatcher flexMatcher runMatcher$fFromJSONMatcher$fSemigroupMatcher$fMonoidMatcherextractAstInformationextractTypeAnnotations extractSpansparseImportsFromFileparseImportsFromFile'sliceImportSectionprettyPrintImport'prettyPrintImportSection parseImport matchImportFilter moduleFilternamespaceFilter exactFilter prefixFilterdeclarationTypeFilterdependencyFilter applyFilters$fFromJSONFilter $fShowFilter$fShowDeclarationFilterreadExternFileconvertExterns resetIdeStategetOutputDirectoryupdateCacheTimestampgetLoadedModulenamesgetExternFiles insertModule getFileState getAllModules insertExternsinsertExternsSTM cacheRebuild cachedRebuildpopulateVolatileStateSyncpopulateVolatileStatepopulateVolatileStateSTMresolveInstancesresolveOperatorsForModule resolveDataConstructorsForModule findUsagesfindReexportingModulesdirectDependantseligibleModules applySearch rebuildFilerebuildFileAsyncrebuildFileSyncCompletionOptions coMaxResultscoGroupReexportsgetCompletionsgetExactMatchesgetExactCompletionsdefaultCompletionOptionsapplyCompletionOptions simpleExportcompletionFromMatch$fFromJSONCompletionOptions$fShowNamespaced$fEqNamespaced$fOrdNamespacedaddImplicitImportaddImplicitImport'addQualifiedImportaddQualifiedImport'addExplicitImport'addImportForIdentifier answerRequestWildcardAnnotationsexplicitAnnotations noAnnotations caseSplit makePattern addClauseListType LoadedModulesAvailableModules ImportCommandAddImplicitImportAddQualifiedImportAddImportForIdentifierLoadLoadSync CaseSplit AddClause FindUsagesListRebuild RebuildSyncCwdReset typeFilterstypeCurrentModulecompleteFilterscompleteMatchercompleteCurrentModulecompleteOptions caseSplitLinecaseSplitBegin caseSplitEndcaseSplitAnnotations caseSplitType addClauseLineaddClauseAnnotations usagesModuleusagesIdentifierusagesNamespacelistType commandName$fFromJSONImportCommand$fFromJSONListType$fFromJSONCommand$fShowImportCommand$fEqImportCommandmoduleAsMarkdown codeToStringrunDocs $fShowFirst $fEqFirst $fOrdFirstHtmlRenderContext buildDocLink renderDocLinkrenderSourceLinkHtmlOutputModulehtmlOutputModuleLocalshtmlOutputModuleReExports HtmlOutput htmlIndex htmlModulesnullRenderContext packageAsHtml moduleAsHtml makeFragmentrenderMarkdown$fShowHtmlOutput$fFunctorHtmlOutput$fShowHtmlOutputModule$fFunctorHtmlOutputModule collectDocsPrepareMPublishOptionspublishGetVersionpublishGetTagTimepublishWorkingTreeDirtypublishCompileOutputDirpublishManifestFilepublishResolutionsFiledefaultPublishOptionsunsafePreparePackagepreparePackage runPrepareMwarn userError otherErrorpreparePackage' getModulesgetGitWorkingTreeStatuscheckCleanWorkingTreegetVersionFromGitTaggetManifestRepositoryInfo$fMonadIOPrepareM$fShowDependencyStatus$fEqDependencyStatus$fShowTreeStatus$fEqTreeStatus$fOrdTreeStatus$fEnumTreeStatus$fFunctorPrepareM$fApplicativePrepareM$fMonadPrepareM$fMonadWriter[]PrepareM $fMonadErrorPackageErrorPrepareMspanUpTo ModuleElementKeydeclaremodclsclssdtyntyntystytysvarasPairasIdentasStringvars prefixWithghc-prim GHC.Types codePoints printToken'HappyStk GHC.MaybeNothingCSEEnvironment_depth_deepestTopLevelScope_bound CSESummary _scopesUsed_noFloatWithin _plurality _newBindings_toBeReinlined PluralityMapdiscuss%%<~!lens-5.1.1-1GSZQdHnqiK4z5Fc7xFD85Control.Lens.Lens%%=Control.Lens.Setter<~ addToScopepopScopeCSEMonadCSEState runCSEMonadenterAbsnewScopewithBoundIdentsnewScopeWithIdentsgenerateIdentFor replaceLocals floatExpr getNewBindsgetNewBindsAsLet summarizeNameidentsFromBindersclosedRecordFieldsGHC.Err undefinedfilterDataConstructorsfilterInstancestypeInstanceConstituentsisDctorExportedreorder tyToClassNamedesugarLetPatternprettyPrintRowWithlistprettyPrintValueAtomRoleMapinferDataDeclarationRolescheckIsSaturatedTypecheckQuantificationcheckTypeQuantification occursCheckCoercionModeSingModedefaultCoercion subsumes'UnwrapNewtypeError CannotUnwrapInfiniteNewtypeChainCannotUnwrapConstructor Canonicalized Irreducible Interaction Simplified Dischargedunifyinteract canDischargeinteractSameTyVarinteractDiffTyVarrewriterewriteTyVarApprewriteTyConAppkicksOutisCanonicalTyVarEqcanon canonRefl canonUnsaturatedHigherKindedTypecanonRow unwrapNewtypelookupNewtypeConstructorlookupNewtypeConstructorInScopecanonNewtypeLeftcanonNewtypeRight decomposecanonDecompositioncanonDecompositionFailurecanonNewtypeDecomposition canonNewtypeDecompositionFailure canonTypeVarscanonTypeVarLeftcanonTypeVarRightcanonApplicationLeftcanonApplicationRight EntailsResultSolvedUnsolvedDeferredMatching TypeClassDictReflectableIntReflectableStringReflectableBooleanReflectableOrderingEvidence NamedInstance WarnInstanceIsSymbolInstanceReflectableInstanceEmptyClassInstance asExpressionnamedInstanceIdentifier pairwiseAll pairwiseAnytails1 checkSubsumeaccessorSearchprimBooleanExportsprimCoerceExportsprimOrderingExportsprimRowExportsprimRowListExportsprimSymbolExportsprimIntExportsprimTypeErrorExports mkPrimExports addExportthrowDeclConflictthrowExportConflictthrowExportConflict' resolveImport filterModule desugarDodesugarGuardedExprs validateCasestoBindingGroup desugarAdo usedModulestoModuleRedundancyError qualifyNamegetConstructors initialize genericMergemissingCasesSinglemissingCasesMultipleisExhaustiveGuardGHC.Base otherwise missingCasescheckExhaustiveMaybetryAlltryParseunpackFixityAlias buildExpanderfindQualModulesimportToCoreFnexternToCoreFnexportToCoreFn properToIdent RenameState rsBoundNames rsUsedNames runRename updateScope lookupIdent renameInDecls renameInValuerenameInLiteralrenameInCaseAlternativerenameInBinder.= MaxRoseNodeonVarsWithDelayAndForce ApplicativesearchReachableprettyPrintJS'getDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirMentionsParamContraMentionsParamPro ParamUsageIsLParam MentionsParamMentionsParamBiMentionsParamContravariantlyextractNewtypeName filterTheseSplitBindingGroup_splitBindingGroupUntyped_splitBindingGroupTyped_splitBindingGroupNames TypedValue'tvToExprlookupTypeClasstypeDictionaryForBindingGroupcheckTypedBindingGroupElementtypeForBindingGroupElementinstantiatePolyTypeWithUnknownsinsertUnkName'inferinfer' inferBinderbinderRequiresMonotypeinstantiateForBinders checkBinderscheckcheck'checkPropertiescheckFunctionApplicationcheckFunctionApplication'ensureNoDuplicateProperties isInternalwithErrorMessageHint'checkTypeSynonyms typeCheckAllcheckTypeClassInstancerebracketModule FixityRecordGHC.NumnegateelaborateExportsreorderExportspurelookupPrimClassDeclarationAugmentIntermediateDeclaration AugmentType AugmentClassaugmentDeclarations mkDeclaration TypeClassEnvenvUnhandledMembers envValuesenvTypeClasses getReExportscollectDeclarationslookupTypeDeclarationlookupModuleDeclarations handleEnvfilterTypeClassMemberstypeClassConstraintForinsertValueTypesAndAdjustKindspartiallyDesugarIO mtl-2.2.2Control.Monad.Error.Class MonadErrorcatchDoesNotExistwritePackageJson' RebuildStatusstatusNewCacheInfostatusPrebuiltbjResultpsciExpression psciImportpsciDeclarationfindCompletions&haskeline-0.8.2-1KdUy2cFRS9C0a2COfN47O#System.Console.Haskeline.CompletioncompleteWordWithPrevcompletionContext printErrorsrebuildhandleReloadStatehandleClearStatehandleExpression handleDeclshandleShowLoadedModuleshandleShowImportedModules handleImport handleTypeOf handleKindOf handleBrowsehandleCompletehandleSetInteractivePrint ImportParse ipModuleNameipStartipEnd ipImportsinsertModuleSTMgetFileStateSTMgetVolatileStategetVolatileStateSTMsetVolatileStateSTMSearch matchesRefdayZerorebuildModuleOpen shushProgress shushCodegenenableForeignCheck sortExternsopenModuleExports updateCacheDbaddExplicitImportupdateAtFirstOrPrependfindAvailableExternsfindAllSourceFilesloadModulesAsynccompileForDocsoperateAndRetaggetModulePackageInfo NoResolution ResolvedOtherResolvedVersion getTagTime isValidSPDX asResolutions handleDeps