Skip to content

Commit f806178

Browse files
paf31paf31
committed
Merge pull request #10 from sharkdp/tryflare
Add Try Flare
2 parents d11036e + e998827 commit f806178

File tree

179 files changed

+356
-0
lines changed

Some content is hidden

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

179 files changed

+356
-0
lines changed

‎conf/flare.conf

Lines changed: 178 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,178 @@
1+
Type.Proxy
2+
Data.Int.Bits
3+
Data.String.Unsafe
4+
Unsafe.Coerce
5+
Prelude
6+
Math
7+
Global
8+
DOM.XHR.Types
9+
DOM.File.Types
10+
DOM
11+
Global.Unsafe
12+
Control.Timer
13+
Data.NaturalTransformation
14+
Control.Alt
15+
Control.Bind
16+
Control.Monad.Cont.Class
17+
Control.Monad.Reader.Class
18+
Control.Monad.Eff
19+
Data.Char
20+
Data.Exists
21+
Data.Function
22+
Control.Extend
23+
Control.Apply
24+
Control.Monad
25+
Data.Functor
26+
Data.Functor.Invariant
27+
Control.Lazy
28+
Data.Monoid
29+
Data.Bifunctor
30+
Control.Monad.Trans
31+
Control.Plus
32+
Control.Monad.ST
33+
Control.Monad.Eff.Class
34+
Control.Monad.Eff.Ref
35+
Control.Monad.Eff.Unsafe
36+
Control.Monad.Eff.Console
37+
Control.Comonad
38+
Control.Alternative
39+
Data.Monoid.Endo
40+
Control.Biapply
41+
Data.Monoid.Disj
42+
Data.Monoid.Conj
43+
Control.Comonad.Trans
44+
Data.Monoid.Multiplicative
45+
Data.Coyoneda
46+
Data.Monoid.Additive
47+
Data.Lazy
48+
Data.Monoid.Dual
49+
Data.Yoneda
50+
Control.Monad.Eff.Console.Unsafe
51+
Control.Monad.Eff.Ref.Unsafe
52+
Control.Comonad.Traced.Trans
53+
Control.MonadPlus
54+
Control.Biapplicative
55+
Data.Bifunctor.Flip
56+
Data.Bifunctor.Join
57+
Data.Bifunctor.Clown
58+
Data.Bifunctor.Wrap
59+
Data.Bifunctor.Joker
60+
Data.Bifunctor.Product
61+
Data.Bifoldable
62+
Data.Maybe
63+
Data.Bitraversable
64+
Data.StrMap.ST
65+
Data.String
66+
Data.Maybe.Last
67+
Text.Smolder.Markup
68+
Data.Maybe.First
69+
Data.Nullable
70+
Data.Array.ST
71+
Control.Monad.Eff.Exception
72+
Data.Maybe.Unsafe
73+
Data.Int
74+
Control.Monad.Eff.Exception.Unsafe
75+
Graphics.Canvas
76+
Graphics.Drawing.Color
77+
Control.Monad.Eff.Random
78+
Data.String.Regex
79+
Data.Foldable
80+
Text.Smolder.HTML.Attributes
81+
Text.Smolder.HTML
82+
Graphics.Drawing.Font
83+
Data.Traversable
84+
Signal
85+
Signal.Time
86+
Signal.Channel
87+
Signal.DOM
88+
Data.Tuple
89+
Data.Identity
90+
Data.Either
91+
Data.Distributive
92+
Control.Comonad.Traced
93+
Data.Functor.Coproduct
94+
Control.Monad.Error.Class
95+
Data.Either.Nested
96+
Data.Either.Unsafe
97+
Data.Foreign
98+
Control.Monad.Rec.Class
99+
Data.Inject
100+
Data.Unfoldable
101+
Control.Comonad.Env.Trans
102+
Data.Array
103+
Control.Comonad.Traced.Class
104+
Control.Monad.State.Class
105+
Data.Tuple.Nested
106+
Control.Comonad.Store.Trans
107+
Control.Monad.Writer.Class
108+
Data.Foreign.Index
109+
Data.Foreign.Keys
110+
Data.Foreign.NullOrUndefined
111+
Data.Foreign.Null
112+
Data.Foreign.Undefined
113+
Control.Monad.Cont.Trans
114+
Control.Comonad.Env.Class
115+
Data.List.Lazy
116+
Data.List
117+
Control.Comonad.Env
118+
Control.Monad.List.Trans
119+
Data.Enum
120+
Control.Comonad.Store.Class
121+
Control.Comonad.Store
122+
Control.Monad.Reader.Trans
123+
Control.Monad.Writer.Trans
124+
Control.Monad.RWS.Class
125+
Control.Monad.State.Trans
126+
Control.Monad.RWS.Trans
127+
Control.Monad.Except.Trans
128+
Control.Monad.Maybe.Trans
129+
Data.Array.Unsafe
130+
Data.Foreign.Class
131+
Data.Generic
132+
DOM.Event.EventPhase
133+
Control.Monad.Reader
134+
DOM.Node.NodeType
135+
Control.Monad.State
136+
Control.Monad.Writer
137+
DOM.Event.Types
138+
Control.Monad.RWS
139+
Control.Monad.Except
140+
Data.CatQueue
141+
Data.Map
142+
Data.List.Unsafe
143+
Graphics.Drawing
144+
Data.StrMap
145+
Data.List.ZipList
146+
Data.CatList
147+
Control.Monad.Free
148+
DOM.Event.EventTypes
149+
DOM.Node.Types
150+
DOM.Event.EventTarget
151+
DOM.Node.Document
152+
Flare
153+
DOM.Node.NonElementParentNode
154+
DOM.HTML.Types
155+
DOM.Node.ChildNode
156+
DOM.Node.HTMLCollection
157+
DOM.Node.NonDocumentTypeChildNode
158+
DOM.Event.Event
159+
DOM.Node.ParentNode
160+
DOM.Node.Element
161+
DOM.Node.NodeList
162+
DOM.Node.DocumentType
163+
DOM.Node.Node
164+
Data.StrMap.ST.Unsafe
165+
Data.StrMap.Unsafe
166+
DOM.HTML
167+
DOM.HTML.Location
168+
DOM.HTML.Document
169+
DOM.HTML.Window
170+
DOM.HTML.Navigator
171+
Control.Monad.Trampoline
172+
Control.Comonad.Cofree
173+
Flare.Drawing
174+
Text.Smolder.Renderer.Util
175+
Data.Set
176+
Text.Smolder.Renderer.String
177+
Flare.Smolder
178+
Test.FlareCheck

‎flare/Control.Alt.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"efExports":[{"TypeClassRef":"Alt"},{"ValueRef":{"Op":"<|>"}},{"ValueRef":{"Ident":"alt"}},{"TypeInstanceRef":{"Ident":"altArray"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Prelude"],"eiImportType":{"Implicit":[]}}],"efVersion":"0.8.0.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"],"Object"]},{"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_Prelude.Functor_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"],"Functor"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassTypeArguments":[["f",null]],"edClassConstraints":[[[["Prelude"],"Functor"],[{"tag":"TypeVar","contents":"f"}]]],"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":["a",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[[[["Control","Alt"],"Alt"],[{"tag":"TypeVar","contents":"f"}]]],{"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"}]}]}]}]},6]},7]},"edValueName":{"Op":"<|>"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Control","Alt"],"Alt"],[{"tag":"TypeVar","contents":"f"}]]],{"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":null,"efOperator":"<|>","efAssociativity":"infixl","efPrecedence":3}],"efModuleName":["Control","Alt"]}

‎flare/Control.Alternative.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +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":"/home/shark/Dropbox/Informatik/purescript/purescript-flarecheck/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"]}

‎flare/Control.Apply.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"efExports":[{"ValueRef":{"Ident":"lift5"}},{"ValueRef":{"Ident":"lift4"}},{"ValueRef":{"Ident":"lift3"}},{"ValueRef":{"Ident":"lift2"}},{"ValueRef":{"Op":"*>"}},{"ValueRef":{"Op":"<*"}}],"efImports":[{"eiImportedAs":null,"eiModule":["Prim"],"eiImportType":{"Implicit":[]}},{"eiImportedAs":null,"eiModule":["Prelude"],"eiImportType":{"Implicit":[]}}],"efVersion":"0.8.0.0","efDeclarations":[{"EDValue":{"edValueType":{"tag":"ForAll","contents":["g",{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["e",{"tag":"ForAll","contents":["d",{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Prelude"],"Apply"],[{"tag":"TypeVar","contents":"f"}]]],{"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":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"c"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"d"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"g"}]}]}]}]}]}]},{"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":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"d"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"g"}]}]}]}]}]}]}]}]},12]},13]},14]},15]},16]},17]},18]},"edValueName":{"Ident":"lift5"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["e",{"tag":"ForAll","contents":["d",{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Prelude"],"Apply"],[{"tag":"TypeVar","contents":"f"}]]],{"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":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"c"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"d"}]},{"tag":"TypeVar","contents":"e"}]}]}]}]}]},{"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":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"d"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"e"}]}]}]}]}]}]}]},26]},27]},28]},29]},30]},31]},"edValueName":{"Ident":"lift4"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["d",{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Prelude"],"Apply"],[{"tag":"TypeVar","contents":"f"}]]],{"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":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"c"}]},{"tag":"TypeVar","contents":"d"}]}]}]}]},{"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":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"d"}]}]}]}]}]}]},38]},39]},40]},41]},42]},"edValueName":{"Ident":"lift3"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Prelude"],"Apply"],[{"tag":"TypeVar","contents":"f"}]]],{"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":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},{"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":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]}]}]}]},48]},49]},50]},51]},"edValueName":{"Ident":"lift2"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Prelude"],"Apply"],[{"tag":"TypeVar","contents":"f"}]]],{"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":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"b"}]}]}]}]},6]},7]},8]},"edValueName":{"Op":"*>"}}},{"EDValue":{"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[[[["Prelude"],"Apply"],[{"tag":"TypeVar","contents":"f"}]]],{"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":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]},0]},1]},2]},"edValueName":{"Op":"<*"}}}],"efFixities":[{"efAlias":null,"efOperator":"<*","efAssociativity":"infixl","efPrecedence":4},{"efAlias":null,"efOperator":"*>","efAssociativity":"infixl","efPrecedence":4}],"efModuleName":["Control","Apply"]}

0 commit comments

Comments
 (0)