Skip to content

Commit e88b397

Browse files
paf31paf31
committed
Add thermite-aff to Try Thermite config
1 parent 763539a commit e88b397

File tree

154 files changed

+273
-184
lines changed

Some content is hidden

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

154 files changed

+273
-184
lines changed

‎conf/thermite.conf

Lines changed: 120 additions & 76 deletions
Original file line numberDiff line numberDiff line change
@@ -1,157 +1,201 @@
1+
DOM.File.Types
12
Data.Functor.Contravariant
23
DOM.XHR.Types
3-
DOM.File.Types
44
DOM
5-
Data.Int.Bits
6-
Data.String.Unsafe
75
Prelude
6+
Data.String.Unsafe
87
Math
8+
Data.Int.Bits
99
Unsafe.Coerce
10+
Control.Apply
11+
Control.Monad.Trans
12+
Control.Alt
13+
Data.Exists
14+
Data.Profunctor
15+
Control.Lazy
16+
Control.Extend
1017
Data.Predicate
18+
Data.Char
19+
Data.Functor
1120
Data.Bifunctor
12-
Control.Extend
21+
Control.Monad.Reader.Class
1322
Data.Lens.Internal.Void
14-
Control.Bind
15-
Control.Apply
16-
Control.Alt
17-
Data.Function
18-
Data.Monoid
1923
Control.Monad
20-
Data.Char
2124
Data.Functor.Invariant
22-
Data.Functor
25+
Data.Function
2326
Control.Monad.Eff
24-
Data.Profunctor
25-
Control.Lazy
26-
Data.Op
27+
Control.Bind
28+
Data.Monoid
29+
Control.Monad.Cont.Class
2730
Control.Plus
28-
Control.Comonad
2931
Control.Biapply
32+
Data.Profunctor.Closed
33+
Data.Lens.Internal.Exchange
34+
Control.Comonad
3035
Data.Monoid.Endo
31-
Data.Comparison
32-
Data.Monoid.Additive
33-
Data.Monoid.Multiplicative
34-
Data.Monoid.Conj
35-
Control.Alternative
36+
Control.Monad.ST
37+
Control.Monad.Eff.Unsafe
3638
Control.Monad.Eff.Class
37-
Data.Monoid.Disj
39+
Control.Monad.Eff.Console
40+
Data.Monoid.Conj
41+
Data.Monoid.Additive
3842
Data.Monoid.Dual
39-
Control.Monad.Eff.Unsafe
4043
Data.Lazy
41-
Control.Monad.ST
42-
Data.Profunctor.Closed
43-
Data.Lens.Internal.Exchange
44+
Data.Op
45+
Control.Comonad.Trans
46+
Data.Monoid.Disj
47+
Data.Monoid.Multiplicative
48+
Control.Alternative
49+
Data.Comparison
50+
Control.Monad.Eff.Console.Unsafe
51+
Control.Comonad.Traced.Trans
52+
Control.Biapplicative
4453
Control.MonadPlus
4554
Data.Equivalence
46-
Control.Biapplicative
47-
Data.Bifunctor.Wrap
4855
Data.Bifunctor.Clown
49-
Data.Bifunctor.Product
50-
Data.Maybe
5156
Data.Bifunctor.Join
52-
Data.Bifunctor.Joker
57+
Data.Bifunctor.Wrap
5358
Data.Bifunctor.Flip
59+
Data.Bifunctor.Product
60+
Data.Bifunctor.Joker
61+
Data.Maybe
5462
Data.Bifoldable
5563
Data.Bitraversable
56-
Data.String
57-
Data.Nullable
58-
Data.Maybe.First
5964
Data.Maybe.Last
60-
Control.Monad.Eff.Exception
6165
Data.StrMap.ST
62-
Data.Array.ST
66+
Data.Nullable
67+
Data.String
6368
Data.Maybe.Unsafe
64-
Control.Monad.Eff.Exception.Unsafe
69+
Control.Monad.Eff.Exception
70+
Data.Maybe.First
71+
Data.Array.ST
6572
Data.Int
73+
Control.Monad.Eff.Exception.Unsafe
6674
Data.String.Regex
6775
Data.Foldable
6876
Data.Traversable
69-
Data.Const
70-
Data.Identity
7177
Data.Either
7278
Data.Tuple
73-
Data.Functor.Coproduct
74-
Data.Profunctor.Choice
75-
Data.Either.Unsafe
79+
Data.Identity
80+
Data.Const
81+
Data.Distributive
82+
Control.Comonad.Traced
7683
Data.Profunctor.Cochoice
84+
Data.Profunctor.Choice
7785
Data.Foreign
86+
Control.Monad.Error.Class
87+
Data.Functor.Coproduct
88+
Data.Either.Unsafe
7889
Data.Either.Nested
7990
Control.Monad.Rec.Class
8091
Data.Lens.Internal.Tagged
8192
Data.Lens.Internal.Market
82-
Data.Functor.Product
83-
Data.Tuple.Nested
84-
Data.Profunctor.Strong
8593
Data.Profunctor.Costrong
94+
Data.Tuple.Nested
8695
Data.Unfoldable
96+
Control.Comonad.Env.Trans
97+
Control.Comonad.Store.Trans
8798
Data.Functor.Contravariant.Divisible
99+
Control.Monad.Writer.Class
100+
Control.Comonad.Traced.Class
101+
Control.Monad.State.Class
88102
Data.Array
103+
Data.Functor.Product
104+
Data.Profunctor.Strong
89105
Data.Foreign.Keys
90-
Data.Foreign.Undefined
91-
Data.Lens.Internal.Shop
92-
Data.Profunctor.Star
93106
Data.Foreign.Index
94-
Data.Foreign.Null
107+
Control.Monad.Free.Trans
108+
Data.Foreign.Undefined
109+
Control.Monad.Aff
95110
Data.Foreign.NullOrUndefined
96-
Data.List.Lazy
97-
Data.List
111+
Data.Foreign.Null
98112
Data.Enum
113+
Data.List
114+
Control.Comonad.Env
115+
Control.Comonad.Env.Class
116+
Data.List.Lazy
117+
Control.Comonad.Store
118+
Control.Monad.List.Trans
119+
Control.Comonad.Store.Class
120+
Control.Monad.Cont.Trans
121+
Data.Lens.Internal.Shop
122+
Data.Profunctor.Star
123+
Control.Monad.RWS.Class
124+
Control.Monad.Writer.Trans
125+
Control.Monad.Reader.Trans
126+
Control.Monad.State.Trans
127+
Control.Coroutine
128+
Control.Monad.Aff.AVar
129+
Data.Array.Unsafe
130+
Control.Monad.Aff.Unsafe
131+
Data.Foreign.Class
132+
Control.Monad.Aff.Console
99133
Data.Lens.Internal.Wander
134+
Control.Monad.Maybe.Trans
135+
Control.Monad.RWS.Trans
136+
Control.Monad.Except.Trans
137+
Control.Monad.Aff.Par
138+
DOM.Event.EventPhase
139+
DOM.Node.NodeType
140+
Control.Monad.Writer
141+
Control.Monad.State
142+
Control.Monad.Reader
100143
Data.Lens.Types
101-
Data.Lens.Getter
102-
Data.Lens.Traversal
144+
DOM.Event.Types
145+
Data.Lens.Prism
103146
Data.Lens.Lens
147+
Data.Lens.Traversal
104148
Data.Lens.Iso
105-
Data.Lens.Prism
149+
Data.Lens.Getter
106150
Data.Lens.Setter
107-
Data.Lens.Lens.Unit
108151
Data.Lens.Lens.Void
109152
Data.Lens.Lens.Tuple
110-
Data.Lens.Iso.Product
111-
Data.Lens.Iso.Coproduct
153+
Data.Lens.Lens.Unit
112154
Data.Lens.Prism.Maybe
155+
Control.Monad.RWS
113156
Data.Lens.Prism.Either
114-
DOM.Event.EventPhase
115-
DOM.Node.NodeType
157+
Data.List.ZipList
158+
Data.Lens.Iso.Coproduct
159+
Control.Monad.Except
160+
Data.Lens.Iso.Product
161+
Data.Lens.Common
116162
Data.Lens.Lens.Product
117-
Data.Array.Unsafe
118-
Data.Foreign.Class
163+
Control.Monad.Aff.Class
119164
Data.Lens.Prism.Coproduct
120-
Data.Lens.Common
121-
DOM.Event.Types
122-
Data.List.ZipList
123165
Data.StrMap
124166
Data.Lens.Fold
125-
Data.Map
126167
Data.List.Unsafe
168+
Data.Map
169+
Control.Coroutine.Aff
127170
DOM.Node.Types
128171
DOM.Event.EventTypes
129172
DOM.Event.EventTarget
173+
DOM.Node.Node
174+
DOM.Node.NonDocumentTypeChildNode
175+
DOM.Node.ChildNode
176+
DOM.Node.HTMLCollection
177+
DOM.HTML.Types
130178
DOM.Node.DocumentType
179+
DOM.Node.Element
131180
DOM.Node.NonElementParentNode
132-
DOM.Node.ParentNode
133181
DOM.Node.Document
134-
DOM.Node.NonDocumentTypeChildNode
135-
DOM.Node.NodeList
136-
DOM.Node.ChildNode
137-
DOM.Node.Node
138182
React
139-
DOM.Node.HTMLCollection
183+
DOM.Node.NodeList
140184
DOM.Event.Event
141-
DOM.Node.Element
142-
DOM.HTML.Types
143-
DOM.HTML.Window
185+
DOM.Node.ParentNode
186+
Data.StrMap.ST.Unsafe
187+
DOM.HTML.Location
144188
DOM.HTML
189+
DOM.HTML.Window
145190
DOM.HTML.Navigator
146-
DOM.HTML.Location
147-
React.DOM.Props
148191
Data.StrMap.Unsafe
149-
Data.StrMap.ST.Unsafe
150192
DOM.HTML.Document
151193
Data.Lens
194+
React.DOM.Props
152195
React.DOM
153196
Data.Set
154197
Data.Lens.Index
155198
Data.Lens.At
156199
React.DOM.SVG
157200
Thermite
201+
Thermite.Aff

‎thermite/Control.Alternative.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"efExports":[{"TypeClassRef":"Alternative"},{"TypeInstanceRef":{"Ident":"alternativeArray"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Prelude"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Control","Plus"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,22],"name":"/Users/paf31/Documents/Code/purescript/trypurescript/staging/bower_components/purescript-control/src/Control/Alternative.purs","end":[8,26]},[],{"TypeClassRef":"Plus"}]}]}}],"efVersion":"0.8.0.0","efDeclarations":[{"EDType":{"edTypeName":"Alternative","edTypeKind":{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"Star","contents":[]},{"tag":"Star","contents":[]}]},{"tag":"Star","contents":[]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymArguments":[["f",null]],"edTypeSynonymName":"Alternative","edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"RCons","contents":["__superclass_Prelude.Applicative_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prelude"],"Applicative"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"RCons","contents":["__superclass_Control.Plus.Plus_1",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Plus"],"Plus"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassTypeArguments":[["f",null]],"edClassConstraints":[[[["Prelude"],"Applicative"],[{"tag":"TypeVar","contents":"f"}]],[[["Control","Plus"],"Plus"],[{"tag":"TypeVar","contents":"f"}]]],"edClassMembers":[],"edClassName":"Alternative"}},{"EDInstance":{"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]}],"edInstanceConstraints":[],"edInstanceName":{"Ident":"alternativeArray"},"edInstanceClassName":[["Control","Alternative"],"Alternative"]}}],"efFixities":[],"efModuleName":["Control","Alternative"]}
1+
{"efExports":[{"TypeClassRef":"Alternative"},{"TypeInstanceRef":{"Ident":"alternativeArray"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Prelude"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Control","Plus"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,22],"name":"/Users/paf31/Documents/Code/purescript/try-thermite/staging/bower_components/purescript-control/src/Control/Alternative.purs","end":[8,26]},[],{"TypeClassRef":"Plus"}]}]}}],"efVersion":"0.8.0.0","efDeclarations":[{"EDType":{"edTypeName":"Alternative","edTypeKind":{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"Star","contents":[]},{"tag":"Star","contents":[]}]},{"tag":"Star","contents":[]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymArguments":[["f",null]],"edTypeSynonymName":"Alternative","edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"RCons","contents":["__superclass_Prelude.Applicative_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prelude"],"Applicative"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"RCons","contents":["__superclass_Control.Plus.Plus_1",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Plus"],"Plus"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassTypeArguments":[["f",null]],"edClassConstraints":[[[["Prelude"],"Applicative"],[{"tag":"TypeVar","contents":"f"}]],[[["Control","Plus"],"Plus"],[{"tag":"TypeVar","contents":"f"}]]],"edClassMembers":[],"edClassName":"Alternative"}},{"EDInstance":{"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]}],"edInstanceConstraints":[],"edInstanceName":{"Ident":"alternativeArray"},"edInstanceClassName":[["Control","Alternative"],"Alternative"]}}],"efFixities":[],"efModuleName":["Control","Alternative"]}

‎thermite/Control.Comonad.Env.Class.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"efExports":[{"TypeClassRef":"ComonadEnv"},{"ValueRef":{"Ident":"asks"}},{"ValueRef":{"Ident":"local"}},{"ValueRef":{"Ident":"ask"}},{"TypeInstanceRef":{"Ident":"comonadEnvTuple"}},{"TypeInstanceRef":{"Ident":"comonadEnvEnvT"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Prelude"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Control","Comonad"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,25],"name":"/Users/paf31/Documents/Code/purescript/try-thermite/staging/bower_components/purescript-transformers/src/Control/Comonad/Env/Class.purs","end":[7,32]},[],{"TypeClassRef":"Comonad"}]}]}},{"eiImportedAs":null,"eiModule":["Control","Comonad","Env","Trans"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,35],"name":"/Users/paf31/Documents/Code/purescript/try-thermite/staging/bower_components/purescript-transformers/src/Control/Comonad/Env/Class.purs","end":[8,43]},[],{"TypeRef":["EnvT",null]}]},{"PositionedDeclarationRef":[{"start":[8,45],"name":"/Users/paf31/Documents/Code/purescript/try-thermite/staging/bower_components/purescript-transformers/src/Control/Comonad/Env/Class.purs","end":[8,52]},[],{"ValueRef":{"Ident":"runEnvT"}}]}]}},{"eiImportedAs":null,"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,20],"name":"/Users/paf31/Documents/Code/purescript/try-thermite/staging/bower_components/purescript-transformers/src/Control/Comonad/Env/Class.purs","end":[10,29]},[],{"TypeRef":["Tuple",null]}]},{"PositionedDeclarationRef":[{"start":[10,31],"name":"/Users/paf31/Documents/Code/purescript/try-thermite/staging/bower_components/purescript-transformers/src/Control/Comonad/Env/Class.purs","end":[10,34]},[],{"ValueRef":{"Ident":"fst"}}]}]}}],"efVersion":"0.8.0.0","efDeclarations":[{"EDType":{"edTypeName":"ComonadEnv","edTypeKind":{"tag":"FunKind","contents":[{"tag":"Star","contents":[]},{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"Star","contents":[]},{"tag":"Star","contents":[]}]},{"tag":"Star","contents":[]}]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymArguments":[["e",null],["w",null]],"edTypeSynonymName":"ComonadEnv","edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"RCons","contents":["ask",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeVar","contents":"e"}]},null]},{"tag":"RCons","contents":["local",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}]},null]},{"tag":"RCons","contents":["__superclass_Control.Comonad.Comonad_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Object"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad"],"Comonad"]},{"tag":"TypeVar","contents":"w"}]}]},{"tag":"REmpty","contents":[]}]}]}]}]}}},{"EDClass":{"edClassTypeArguments":[["e",null],["w",null]],"edClassConstraints":[[[["Control","Comonad"],"Comonad"],[{"tag":"TypeVar","contents":"w"}]]],"edClassMembers":[[{"Ident":"ask"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeVar","contents":"e"}]},null]}],[{"Ident":"local"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}]},null]}]],"edClassName":"ComonadEnv"}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["w",{"tag":"ForAll","contents":["e2",{"tag":"ForAll","contents":["e1",{"tag":"ConstrainedType","contents":[[[[["Control","Comonad","Env","Class"],"ComonadEnv"],[{"tag":"TypeVar","contents":"e1"},{"tag":"TypeVar","contents":"w"}]]],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"e1"}]},{"tag":"TypeVar","contents":"e2"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"e1"}]}]},{"tag":"TypeVar","contents":"e2"}]}]}]},33]},34]},35]},"edValueName":{"Ident":"asks"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["e",{"tag":"ForAll","contents":["w",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Control","Comonad","Env","Class"],"ComonadEnv"],[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"w"}]]],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}]}]},0]},1]},2]},"edValueName":{"Ident":"local"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["e",{"tag":"ForAll","contents":["w",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Control","Comonad","Env","Class"],"ComonadEnv"],[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"w"}]]],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeVar","contents":"e"}]}]},30]},31]},32]},"edValueName":{"Ident":"ask"}}},{"EDInstance":{"edInstanceTypes":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"e"}]}],"edInstanceConstraints":[],"edInstanceName":{"Ident":"comonadEnvTuple"},"edInstanceClassName":[["Control","Comonad","Env","Class"],"ComonadEnv"]}},{"EDInstance":{"edInstanceTypes":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]}],"edInstanceConstraints":[[[["Control","Comonad"],"Comonad"],[{"tag":"TypeVar","contents":"w"}]]],"edInstanceName":{"Ident":"comonadEnvEnvT"},"edInstanceClassName":[["Control","Comonad","Env","Class"],"ComonadEnv"]}}],"efFixities":[],"efModuleName":["Control","Comonad","Env","Class"]}

0 commit comments

Comments
 (0)