Skip to content

Commit 58d6d0f

Browse files
authored
Updates for 0.9 (core libraries) (#19)
* Updates for 0.9 (core libraries) * Use 0.9.1
1 parent bda27fe commit 58d6d0f

File tree

195 files changed

+326
-272
lines changed

Some content is hidden

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

195 files changed

+326
-272
lines changed

conf/core.conf

Lines changed: 126 additions & 100 deletions
Original file line numberDiff line numberDiff line change
@@ -1,158 +1,184 @@
1-
Data.NaturalTransformation
2-
Global
3-
Data.Functor.Contravariant
4-
Data.Int.Bits
1+
Unsafe.Coerce
2+
Type.Proxy
3+
Partial
4+
Partial.Unsafe
55
Math
66
Global.Unsafe
7+
Global
78
Data.String.Unsafe
8-
Unsafe.Coerce
9-
Prelude
10-
Type.Proxy
11-
Data.Functor
12-
Data.Bifunctor
13-
Control.Monad
14-
Control.Apply
15-
Data.Monoid
16-
Control.Monad.Trans
9+
Data.Show
10+
Data.Unit
11+
Data.Void
12+
Data.Semiring
13+
Data.Semigroup
14+
Data.Ring
15+
Data.NaturalTransformation
16+
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
1726
Data.Char
27+
Data.BooleanAlgebra
28+
Data.Boolean
29+
Control.Semigroupoid
30+
Control.Lazy
31+
Control.Category
1832
Data.Function
19-
Control.Monad.Reader.Class
20-
Control.Monad.Eff
21-
Data.Validation
33+
Data.Functor
34+
Data.Bifunctor
2235
Control.Extend
23-
Control.Alt
24-
Data.Profunctor
25-
Data.Exists
36+
Control.Comonad
37+
Control.Comonad.Trans
38+
Data.Functor.Contravariant
2639
Data.Functor.Invariant
27-
Control.Lazy
28-
Control.Monad.Cont.Class
40+
Data.Monoid
2941
Data.Predicate
30-
Control.Bind
31-
Control.Biapply
32-
Data.Op
33-
Control.Plus
34-
Control.Monad.Eff.Ref
35-
Control.Monad.Eff.Class
36-
Control.Monad.Eff.Unsafe
37-
Control.Monad.ST
38-
Control.Monad.Eff.Console
39-
Data.Profunctor.Closed
4042
Data.Monoid.Endo
43+
Data.Ord
44+
Data.Op
4145
Data.Comparison
42-
Control.Comonad
43-
Control.Alternative
44-
Control.Monad.Eff.Console.Unsafe
45-
Control.Monad.Eff.Ref.Unsafe
46-
Data.Monoid.Disj
47-
Data.Lazy
48-
Data.Monoid.Multiplicative
49-
Control.Comonad.Trans
50-
Data.Monoid.Conj
51-
Data.Yoneda
52-
Data.Coyoneda
53-
Data.Monoid.Additive
54-
Data.Monoid.Dual
55-
Data.Equivalence
46+
Data.Bounded
47+
Control.Biapply
5648
Control.Biapplicative
57-
Control.MonadPlus
58-
Control.Comonad.Traced.Trans
59-
Data.Validation.Semiring
49+
Data.Bifunctor.Wrap
50+
Data.Equivalence
6051
Data.Bifunctor.Product
61-
Data.Bifunctor.Join
52+
Data.Bifunctor.Flip
53+
Control.Apply
54+
Control.Applicative
55+
Control.Bind
56+
Control.Monad
6257
Data.Bifunctor.Clown
58+
Data.Bifunctor.Join
6359
Data.Bifunctor.Joker
64-
Data.Bifunctor.Wrap
60+
Data.Monoid.Additive
61+
Control.Monad.Eff
62+
Control.Monad.Eff.Class
63+
Control.Monad.Eff.Console
64+
Control.Monad.ST
65+
Data.Monoid.Conj
66+
Control.Monad.Eff.Unsafe
67+
Data.Monoid.Disj
68+
Data.Monoid.Dual
69+
Data.Monoid.Multiplicative
70+
Prelude
6571
Data.Bifoldable
66-
Data.Bifunctor.Flip
67-
Data.Maybe
72+
Control.Comonad.Traced.Trans
73+
Control.Monad.Cont.Class
74+
Control.Monad.Eff.Ref
75+
Control.Monad.Eff.Ref.Unsafe
76+
Control.Monad.Reader.Class
77+
Control.Monad.Trans
78+
Data.Coyoneda
79+
Data.Lazy
80+
Data.Profunctor
81+
Data.Profunctor.Closed
6882
Data.Bitraversable
69-
Data.Maybe.First
83+
Data.Validation.Semigroup
84+
Data.Yoneda
85+
Control.Alt
86+
Control.Plus
87+
Control.Alternative
88+
Control.MonadZero
89+
Control.MonadPlus
90+
Data.Maybe
91+
Data.String
92+
Data.StrMap.ST
7093
Data.Maybe.Last
71-
Control.Monad.Eff.Exception
7294
Data.Array.ST
73-
Data.Maybe.Unsafe
74-
Data.StrMap.ST
75-
Data.String
7695
Data.Int
77-
Control.Monad.Eff.Exception.Unsafe
96+
Data.Maybe.First
7897
Control.Monad.Eff.Random
7998
Data.Foldable
80-
Data.String.Regex
81-
Test.QuickCheck.LCG
8299
Data.Traversable
83100
Data.Const
84-
Data.Identity
85101
Data.Either
102+
Data.Identity
86103
Data.Tuple
87-
Control.Comonad.Traced
88104
Data.Distributive
89-
Data.Either.Nested
90-
Data.Profunctor.Cochoice
91-
Control.Monad.Error.Class
105+
Control.Monad.Rec.Class
92106
Data.Functor.Coproduct
93-
Data.Foreign
107+
Data.String.Regex
108+
Data.Profunctor.Cochoice
94109
Data.Profunctor.Choice
95-
Data.Either.Unsafe
96-
Control.Monad.Rec.Class
110+
Data.Foreign
111+
Data.Either.Nested
112+
Control.Monad.Error.Class
113+
Control.Monad.Eff.Exception
114+
Control.Monad.Eff.Exception.Unsafe
115+
Data.Functor.Coproduct.Nested
97116
Data.Inject
98-
Data.Functor.Contravariant.Divisible
99-
Control.Comonad.Store.Trans
100-
Control.Comonad.Env.Trans
101-
Data.Profunctor.Strong
102-
Data.Profunctor.Costrong
103-
Control.Monad.State.Class
104-
Control.Comonad.Traced.Class
105-
Data.Array
106-
Control.Monad.Writer.Class
107-
Data.Unfoldable
108-
Data.Tuple.Nested
109-
Data.Foreign.NullOrUndefined
110117
Data.Foreign.Keys
111118
Data.Foreign.Index
112119
Data.Foreign.Undefined
120+
Data.Foreign.NullOrUndefined
113121
Data.Foreign.Null
114-
Data.Profunctor.Star
115-
Control.Comonad.Store
116-
Control.Comonad.Store.Class
117-
Control.Comonad.Env
122+
Data.Divide
123+
Control.Comonad.Store.Trans
124+
Control.Comonad.Env.Trans
125+
Control.Comonad.Traced.Class
126+
Control.Monad.State.Class
127+
Control.Monad.Writer.Class
128+
Data.Profunctor.Costrong
129+
Data.Divisible
130+
Data.Decide
118131
Control.Comonad.Env.Class
119132
Control.Monad.Cont.Trans
133+
Data.Profunctor.Strong
120134
Control.Monad.Writer.Trans
121135
Control.Monad.Reader.Trans
122-
Control.Monad.RWS.Class
123-
Control.Monad.List.Trans
124-
Data.Enum
125136
Control.Monad.State.Trans
126-
Data.List.Lazy
127-
Data.List
128-
Control.Monad.Except.Trans
137+
Control.Monad.RWS.Class
138+
Control.Comonad.Store.Class
139+
Control.Comonad.Env
140+
Control.Comonad.Traced
129141
Control.Monad.RWS.Trans
130142
Control.Monad.Maybe.Trans
143+
Control.Monad.Except.Trans
144+
Data.Tuple.Nested
145+
Data.Unfoldable
146+
Data.Decidable
147+
Data.Array
148+
Data.Profunctor.Star
149+
Control.Monad.List.Trans
150+
Data.Enum
151+
Control.Comonad.Store
152+
Control.Monad.Cont
131153
Control.Parallel
132-
Data.Array.Unsafe
133-
Data.Foreign.Class
134-
Data.Generic
135154
Control.Monad.Reader
136155
Control.Monad.Writer
156+
Control.Monad.State
137157
Control.Monad.Except
138158
Control.Monad.RWS
139-
Control.Monad.State
159+
Data.Generic
160+
Data.Foreign.Class
161+
Data.Array.Partial
162+
Data.List.Lazy
163+
Test.QuickCheck.LCG
164+
Data.Validation.Semiring
140165
Data.List.ZipList
141-
Data.CatQueue
142-
Data.Map
143-
Data.List.Unsafe
166+
Data.List
144167
Data.Semiring.Free
145-
Data.StrMap
168+
Data.Map
169+
Data.List.Partial
170+
Data.CatQueue
146171
Test.QuickCheck.Gen
172+
Data.StrMap
147173
Data.CatList
148174
Control.Monad.Free
149175
Data.StrMap.Unsafe
150176
Data.StrMap.ST.Unsafe
151177
Test.QuickCheck.Arbitrary
152178
Control.Monad.Trampoline
153179
Control.Comonad.Cofree
154-
Test.QuickCheck.Data.AlphaNumString
155180
Test.QuickCheck
156181
Test.QuickCheck.Data.ApproxNumber
157-
Data.Set
182+
Test.QuickCheck.Data.AlphaNumString
158183
Data.Graph
184+
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":{"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"]}
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"]}

0 commit comments

Comments
 (0)