Skip to content

Commit 0697678

Browse files
committed
Externs
1 parent 58d6d0f commit 0697678

File tree

187 files changed

+300
-299
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

187 files changed

+300
-299
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
staging
12
.stack-work/
23
dist
34
.cabal-sandbox/

conf/core.conf

Lines changed: 115 additions & 115 deletions
Original file line numberDiff line numberDiff line change
@@ -1,184 +1,184 @@
1-
Unsafe.Coerce
21
Type.Proxy
3-
Partial
4-
Partial.Unsafe
52
Math
63
Global.Unsafe
4+
Unsafe.Coerce
75
Global
86
Data.String.Unsafe
9-
Data.Show
10-
Data.Unit
11-
Data.Void
12-
Data.Semiring
13-
Data.Semigroup
14-
Data.Ring
7+
Partial
158
Data.NaturalTransformation
9+
Data.Show
1610
Data.Int.Bits
17-
Data.HeytingAlgebra
18-
Data.Function.Uncurried
19-
Data.Exists
20-
Data.Eq
21-
Data.Ordering
22-
Data.CommutativeRing
23-
Data.EuclideanRing
24-
Data.Ord.Unsafe
25-
Data.Field
2611
Data.Char
27-
Data.BooleanAlgebra
2812
Data.Boolean
2913
Control.Semigroupoid
30-
Control.Lazy
14+
Data.Exists
15+
Partial.Unsafe
16+
Data.Void
17+
Data.Unit
3118
Control.Category
19+
Data.HeytingAlgebra
20+
Control.Lazy
21+
Data.Function.Uncurried
22+
Data.Semigroup
23+
Data.Semiring
24+
Data.Eq
3225
Data.Function
33-
Data.Functor
3426
Data.Bifunctor
27+
Data.BooleanAlgebra
28+
Data.Ring
29+
Data.Ordering
30+
Data.Monoid
31+
Data.Functor
32+
Control.Biapply
33+
Data.CommutativeRing
34+
Data.Ord.Unsafe
35+
Data.EuclideanRing
36+
Data.Ord
3537
Control.Extend
36-
Control.Comonad
37-
Control.Comonad.Trans
38-
Data.Functor.Contravariant
3938
Data.Functor.Invariant
40-
Data.Monoid
41-
Data.Predicate
39+
Control.Alt
40+
Control.Apply
41+
Data.Functor.Contravariant
42+
Data.Field
43+
Control.Biapplicative
44+
Control.Plus
45+
Control.Comonad
4246
Data.Monoid.Endo
43-
Data.Ord
47+
Data.Predicate
4448
Data.Op
45-
Data.Comparison
46-
Data.Bounded
47-
Control.Biapply
48-
Control.Biapplicative
49-
Data.Bifunctor.Wrap
50-
Data.Equivalence
51-
Data.Bifunctor.Product
5249
Data.Bifunctor.Flip
53-
Control.Apply
50+
Data.Bifunctor.Product
51+
Data.Bifunctor.Wrap
52+
Control.Comonad.Trans
5453
Control.Applicative
55-
Control.Bind
56-
Control.Monad
54+
Data.Bounded
55+
Data.Comparison
56+
Control.Alternative
5757
Data.Bifunctor.Clown
58-
Data.Bifunctor.Join
58+
Control.Bind
5959
Data.Bifunctor.Joker
60-
Data.Monoid.Additive
60+
Data.Bifunctor.Join
61+
Data.Equivalence
62+
Control.Monad
6163
Control.Monad.Eff
62-
Control.Monad.Eff.Class
63-
Control.Monad.Eff.Console
64-
Control.Monad.ST
64+
Prelude
65+
Data.Monoid.Multiplicative
66+
Data.Monoid.Additive
67+
Control.MonadZero
68+
Data.Monoid.Dual
6569
Data.Monoid.Conj
66-
Control.Monad.Eff.Unsafe
6770
Data.Monoid.Disj
68-
Data.Monoid.Dual
69-
Data.Monoid.Multiplicative
70-
Prelude
71-
Data.Bifoldable
71+
Data.Validation.Semigroup
7272
Control.Comonad.Traced.Trans
73-
Control.Monad.Cont.Class
74-
Control.Monad.Eff.Ref
75-
Control.Monad.Eff.Ref.Unsafe
73+
Data.Validation.Semiring
74+
Data.Profunctor
75+
Data.Lazy
76+
Data.Maybe
7677
Control.Monad.Reader.Class
7778
Control.Monad.Trans
78-
Data.Coyoneda
79-
Data.Lazy
80-
Data.Profunctor
79+
Control.Monad.Cont.Class
80+
Control.MonadPlus
81+
Control.Monad.Eff.Ref
82+
Control.Monad.Eff.Console
83+
Control.Monad.ST
84+
Control.Monad.Eff.Unsafe
85+
Control.Monad.Eff.Class
86+
Data.Bifoldable
8187
Data.Profunctor.Closed
82-
Data.Bitraversable
83-
Data.Validation.Semigroup
8488
Data.Yoneda
85-
Control.Alt
86-
Control.Plus
87-
Control.Alternative
88-
Control.MonadZero
89-
Control.MonadPlus
90-
Data.Maybe
89+
Data.Coyoneda
90+
Control.Monad.Eff.Ref.Unsafe
91+
Data.Maybe.First
9192
Data.String
92-
Data.StrMap.ST
9393
Data.Maybe.Last
94-
Data.Array.ST
94+
Data.StrMap.ST
9595
Data.Int
96-
Data.Maybe.First
96+
Data.Array.ST
97+
Data.Bitraversable
9798
Control.Monad.Eff.Random
9899
Data.Foldable
100+
Test.QuickCheck.LCG
99101
Data.Traversable
100-
Data.Const
101-
Data.Either
102102
Data.Identity
103103
Data.Tuple
104+
Data.Const
105+
Data.Either
104106
Data.Distributive
105-
Control.Monad.Rec.Class
106-
Data.Functor.Coproduct
107-
Data.String.Regex
107+
Control.Monad.Error.Class
108108
Data.Profunctor.Cochoice
109-
Data.Profunctor.Choice
109+
Control.Monad.Rec.Class
110110
Data.Foreign
111-
Data.Either.Nested
112-
Control.Monad.Error.Class
111+
Data.String.Regex
112+
Data.Functor.Coproduct
113113
Control.Monad.Eff.Exception
114+
Data.Either.Nested
115+
Data.Profunctor.Choice
114116
Control.Monad.Eff.Exception.Unsafe
115-
Data.Functor.Coproduct.Nested
116-
Data.Inject
117-
Data.Foreign.Keys
118-
Data.Foreign.Index
119-
Data.Foreign.Undefined
120117
Data.Foreign.NullOrUndefined
121-
Data.Foreign.Null
118+
Data.Unfoldable
119+
Data.Foreign.Undefined
122120
Data.Divide
121+
Data.Profunctor.Costrong
122+
Data.Tuple.Nested
123+
Data.Foreign.Keys
124+
Data.Foreign.Null
125+
Data.Profunctor.Strong
126+
Data.Foreign.Index
123127
Control.Comonad.Store.Trans
124-
Control.Comonad.Env.Trans
125-
Control.Comonad.Traced.Class
126-
Control.Monad.State.Class
127128
Control.Monad.Writer.Class
128-
Data.Profunctor.Costrong
129+
Control.Monad.State.Class
130+
Control.Comonad.Traced.Class
131+
Control.Comonad.Env.Trans
132+
Data.Inject
133+
Data.Functor.Coproduct.Nested
129134
Data.Divisible
135+
Data.List.Lazy
130136
Data.Decide
131-
Control.Comonad.Env.Class
132-
Control.Monad.Cont.Trans
133-
Data.Profunctor.Strong
134-
Control.Monad.Writer.Trans
135-
Control.Monad.Reader.Trans
136-
Control.Monad.State.Trans
137-
Control.Monad.RWS.Class
137+
Control.Monad.List.Trans
138+
Data.Enum
139+
Data.Array
140+
Data.Profunctor.Star
141+
Data.Profunctor.Costar
138142
Control.Comonad.Store.Class
139-
Control.Comonad.Env
140143
Control.Comonad.Traced
141-
Control.Monad.RWS.Trans
142-
Control.Monad.Maybe.Trans
143-
Control.Monad.Except.Trans
144-
Data.Tuple.Nested
145-
Data.Unfoldable
144+
Control.Monad.RWS.Class
145+
Control.Monad.State.Trans
146+
Control.Monad.Reader.Trans
147+
Control.Monad.Writer.Trans
148+
Control.Monad.Cont.Trans
149+
Control.Comonad.Env.Class
146150
Data.Decidable
147-
Data.Array
148-
Data.Profunctor.Star
149-
Control.Monad.List.Trans
150-
Data.Enum
151151
Control.Comonad.Store
152+
Control.Monad.Maybe.Trans
153+
Control.Monad.Except.Trans
154+
Control.Monad.RWS.Trans
155+
Data.Foreign.Class
156+
Data.Array.Partial
157+
Data.List.ZipList
158+
Data.Generic
152159
Control.Monad.Cont
153-
Control.Parallel
154-
Control.Monad.Reader
155160
Control.Monad.Writer
156161
Control.Monad.State
162+
Control.Monad.Reader
163+
Control.Comonad.Env
157164
Control.Monad.Except
158165
Control.Monad.RWS
159-
Data.Generic
160-
Data.Foreign.Class
161-
Data.Array.Partial
162-
Data.List.Lazy
163-
Test.QuickCheck.LCG
164-
Data.Validation.Semiring
165-
Data.List.ZipList
166166
Data.List
167-
Data.Semiring.Free
168167
Data.Map
169-
Data.List.Partial
170168
Data.CatQueue
171169
Test.QuickCheck.Gen
170+
Data.List.Partial
172171
Data.StrMap
172+
Data.Semiring.Free
173173
Data.CatList
174-
Control.Monad.Free
174+
Test.QuickCheck.Arbitrary
175175
Data.StrMap.Unsafe
176176
Data.StrMap.ST.Unsafe
177-
Test.QuickCheck.Arbitrary
177+
Control.Monad.Free
178+
Test.QuickCheck.Data.AlphaNumString
179+
Test.QuickCheck.Data.ApproxNumber
180+
Test.QuickCheck
178181
Control.Monad.Trampoline
179182
Control.Comonad.Cofree
180-
Test.QuickCheck
181-
Test.QuickCheck.Data.ApproxNumber
182-
Test.QuickCheck.Data.AlphaNumString
183183
Data.Graph
184184
Data.Set

core/Control.Alt.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"efExports":[{"TypeClassRef":"Alt"},{"ValueRef":{"Ident":"alt"}},{"ValueOpRef":"<|>"},{"PositionedDeclarationRef":[{"start":[3,5],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[3,24]},[],{"ModuleRef":["Data","Functor"]}]},{"TypeInstanceRef":{"Ident":"altArray"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Data","Functor"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,22],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,35]},[],{"TypeClassRef":"Functor"}]},{"PositionedDeclarationRef":[{"start":[6,37],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,40]},[],{"ValueRef":{"Ident":"map"}}]},{"PositionedDeclarationRef":[{"start":[6,42],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,46]},[],{"ValueRef":{"Ident":"void"}}]},{"PositionedDeclarationRef":[{"start":[6,48],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,52]},[],{"ValueOpRef":"$>"}]},{"PositionedDeclarationRef":[{"start":[6,54],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,59]},[],{"ValueOpRef":"<#>"}]},{"PositionedDeclarationRef":[{"start":[6,61],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,65]},[],{"ValueOpRef":"<$"}]},{"PositionedDeclarationRef":[{"start":[6,67],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[6,72]},[],{"ValueOpRef":"<$>"}]}]}},{"eiImportedAs":null,"eiModule":["Data","Semigroup"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,24],"name":"/Users/phil/Documents/Code/purescript/purescript/core-tests/bower_components/purescript-control/src/Control/Alt.purs","end":[7,30]},[],{"ValueRef":{"Ident":"append"}}]}]}}],"efTypeFixities":[],"efVersion":"0.9.0","efDeclarations":[{"EDType":{"edTypeName":"Alt","edTypeKind":{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"Star","contents":[]},{"tag":"Star","contents":[]}]},{"tag":"Star","contents":[]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymArguments":[["f",null]],"edTypeSynonymName":"Alt","edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["alt",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},null]},{"tag":"RCons","contents":["__superclass_Data.Functor.Functor_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Functor"],"Functor"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassTypeArguments":[["f",null]],"edClassConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],"edClassMembers":[[{"Ident":"alt"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},null]}]],"edClassName":"Alt"}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Control","Alt"],"Alt"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]},4]},5]},"edValueName":{"Ident":"alt"}}},{"EDInstance":{"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]}],"edInstanceConstraints":[],"edInstanceName":{"Ident":"altArray"},"edInstanceClassName":[["Control","Alt"],"Alt"]}}],"efFixities":[{"efAlias":[["Control","Alt"],{"Left":{"Ident":"alt"}}],"efOperator":"<|>","efAssociativity":"infixl","efPrecedence":3}],"efModuleName":["Control","Alt"]}
1+
{"efExports":[{"TypeClassRef":"Alt"},{"ValueRef":{"Ident":"alt"}},{"ValueOpRef":"<|>"},{"PositionedDeclarationRef":[{"start":[3,5],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[3,24]},[],{"ModuleRef":["Data","Functor"]}]},{"TypeInstanceRef":{"Ident":"altArray"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Data","Functor"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,22],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,35]},[],{"TypeClassRef":"Functor"}]},{"PositionedDeclarationRef":[{"start":[6,37],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,40]},[],{"ValueRef":{"Ident":"map"}}]},{"PositionedDeclarationRef":[{"start":[6,42],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,46]},[],{"ValueRef":{"Ident":"void"}}]},{"PositionedDeclarationRef":[{"start":[6,48],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,52]},[],{"ValueOpRef":"$>"}]},{"PositionedDeclarationRef":[{"start":[6,54],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,59]},[],{"ValueOpRef":"<#>"}]},{"PositionedDeclarationRef":[{"start":[6,61],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,65]},[],{"ValueOpRef":"<$"}]},{"PositionedDeclarationRef":[{"start":[6,67],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[6,72]},[],{"ValueOpRef":"<$>"}]}]}},{"eiImportedAs":null,"eiModule":["Data","Semigroup"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,24],"name":"/Users/phil/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alt.purs","end":[7,30]},[],{"ValueRef":{"Ident":"append"}}]}]}}],"efTypeFixities":[],"efVersion":"0.9.1","efDeclarations":[{"EDType":{"edTypeName":"Alt","edTypeKind":{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"Star","contents":[]},{"tag":"Star","contents":[]}]},{"tag":"Star","contents":[]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymArguments":[["f",null]],"edTypeSynonymName":"Alt","edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["alt",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},null]},{"tag":"RCons","contents":["__superclass_Data.Functor.Functor_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Functor"],"Functor"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassTypeArguments":[["f",null]],"edClassConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],"edClassMembers":[[{"Ident":"alt"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},null]}]],"edClassName":"Alt"}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Control","Alt"],"Alt"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]},4]},5]},"edValueName":{"Ident":"alt"}}},{"EDInstance":{"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]}],"edInstanceConstraints":[],"edInstanceName":{"Ident":"altArray"},"edInstanceClassName":[["Control","Alt"],"Alt"]}}],"efFixities":[{"efAlias":[["Control","Alt"],{"Left":{"Ident":"alt"}}],"efOperator":"<|>","efAssociativity":"infixl","efPrecedence":3}],"efModuleName":["Control","Alt"]}

0 commit comments

Comments
 (0)