File tree Expand file tree Collapse file tree 3 files changed +8
-8
lines changed Expand file tree Collapse file tree 3 files changed +8
-8
lines changed Original file line number Diff line number Diff line change 50
50
### Types
51
51
52
52
newtype Yoneda f a where
53
- Yoneda :: forall b. (a -> b) -> f b -> Yoneda f a
53
+ Yoneda :: ( forall b. (a -> b) -> f b) -> Yoneda f a
54
54
55
55
56
56
### Type Class Instances
126
126
data Free f a where
127
127
Pure :: a -> Free f a
128
128
Free :: f (Free f a) -> Free f a
129
- Gosub :: forall s. (forall r. (Unit -> Free f r) -> (r -> Free f a) -> s) -> s -> Free f a
129
+ Gosub :: ( forall s. (forall r. (Unit -> Free f r) -> (r -> Free f a) -> s) -> s) -> Free f a
130
130
131
131
type FreeC f a = Free (Coyoneda f) a
132
132
Original file line number Diff line number Diff line change 13
13
],
14
14
"dependencies" : {
15
15
"purescript-control" : " ~0.2.1" ,
16
- "purescript-either" : " ~0.1.3 " ,
17
- "purescript-exists" : " * " ,
18
- "purescript-transformers" : " ~0.2.1 " ,
19
- "purescript-lazy" : " ~0.1.0 " ,
20
- "purescript-foldable-traversable" : " ~0.1.3 "
16
+ "purescript-either" : " ~0.1.4 " ,
17
+ "purescript-exists" : " ~0.1.0 " ,
18
+ "purescript-transformers" : " ~0.3.0 " ,
19
+ "purescript-lazy" : " ~0.1.1 " ,
20
+ "purescript-foldable-traversable" : " ~0.1.4 "
21
21
}
22
22
}
Original file line number Diff line number Diff line change 2
2
"name" : " purescript-free" ,
3
3
"private" : true ,
4
4
"devDependencies" : {
5
- "gulp" : " 3.8.7 " ,
5
+ "gulp" : " 3.8.10 " ,
6
6
"gulp-clean" : " 0.2.4" ,
7
7
"gulp-util" : " 2.2.14" ,
8
8
"gulp-plumber" : " 0.5.6" ,
You can’t perform that action at this time.
0 commit comments