This repository was archived by the owner on Nov 26, 2020. It is now read-only.
File tree 3 files changed +10
-10
lines changed
3 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
2
dist : trusty
3
3
sudo : required
4
- node_js : 6
4
+ node_js : stable
5
5
env :
6
6
- PATH=$HOME/purescript:$PATH
7
7
install :
Original file line number Diff line number Diff line change 2
2
"private" : true ,
3
3
"scripts" : {
4
4
"clean" : " rimraf output && rimraf .pulp-cache" ,
5
- "build" : " pulp build --censor-lib --strict"
5
+ "build" : " pulp build -- -- censor-lib --strict"
6
6
},
7
7
"devDependencies" : {
8
- "pulp" : " ^9 .0.1 " ,
9
- "purescript-psa" : " ^0.3.9 " ,
10
- "rimraf" : " ^2.5.0 "
8
+ "pulp" : " ^10 .0.4 " ,
9
+ "purescript-psa" : " ^0.5.0-rc.1 " ,
10
+ "rimraf" : " ^2.6.1 "
11
11
}
12
12
}
Original file line number Diff line number Diff line change 48
48
-- | ```
49
49
module Type.Proxy where
50
50
51
- -- | Value proxy for kind `* ` types.
51
+ -- | Value proxy for kind `Type ` types.
52
52
data Proxy a = Proxy
53
53
54
- -- | Value proxy for kind `* -> * ` types.
55
- data Proxy2 (a :: * -> * ) = Proxy2
54
+ -- | Value proxy for kind `Type -> Type ` types.
55
+ data Proxy2 (a :: Type -> Type ) = Proxy2
56
56
57
- -- | Value proxy for kind `* -> * -> * ` types.
58
- data Proxy3 (a :: * -> * -> * ) = Proxy3
57
+ -- | Value proxy for kind `Type -> Type -> Type ` types.
58
+ data Proxy3 (a :: Type -> Type -> Type ) = Proxy3
You can’t perform that action at this time.
0 commit comments