Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/purescript/purescript-typelevel-prelude

Types and kinds for basic type-level programming
https://github.com/purescript/purescript-typelevel-prelude

Prepare v7.0.0 release (1st PS 0.15.0-compatible release) (#74)

* Update the bower dependencies

* Update Node to 14 in CI

* Update the changelog

dca2fe3c8cfd5527d4fe70c4bedfda30148405bf authored over 2 years ago by JordanMartinez <[email protected]>
Add FLIP infix operator: # (#73)

* Add type-level op for FLIP

* Add changelog entry

038dd43482de4ef66a0fcf06f18f8d6c1f22368e authored almost 3 years ago by JordanMartinez <[email protected]>
Update to v0.15.0 (#72)

* Update to CI to use 'unstable' purescript

* Update pulp to 16.0.0-0 and psa to 0.8.2

* U...

89c4d303485306666310b8692eece844fc76cd4f authored almost 3 years ago by JordanMartinez <[email protected]>
Prepare v6.0.0 release (#71)

* Update CI to build with the latest version of the compiler

* Update the bower repository UR...

83ddcdb23d06c8d5ea6196596a70438f42cd4afd authored almost 4 years ago by Cyril <[email protected]>
Update changelog since v5.0.1 (#69)

* Update changelog since v5.0.1

* Apply feedback

bd8feb88eaa1147b9a258d8bfcad2c9fee6039ca authored almost 4 years ago by Thomas Honeyman <[email protected]>
Generate changelog and add PR template (#68)

* Generate CHANGELOG.md file using notes from previous GH releases

* Add pull request templat...

e4d664aa30aef433c0dbbe879710ffc8e8215d69 authored almost 4 years ago by JordanMartinez <[email protected]>
Run CI on push / pull_request to master

e1b1c9a73f5407c2b1b197d4776d8939129a2444 authored about 4 years ago by Thomas Honeyman <[email protected]>
Migrate to GitHub Actions and update installation instructions. (#67)

2a07b29122f49b0ce6cb99cd351f963614ddc4aa authored about 4 years ago by Thomas Honeyman <[email protected]>
Merge pull request #64 from kl0tl/no-monomorphic-proxies

No monomorphic proxies

6cfe94af427b9d951ff7d901a87b685169eed0be authored about 4 years ago by Cyril <[email protected]>
Update dependency on purescript-type-equality back to master

8c0b8ba17fe20b6cb02634b938e32b2358234446 authored about 4 years ago by Cyril Sobierajewicz <[email protected]>
Replace monomorphic proxies by Type.Proxy.Proxy and polymorphic variables

228fd8a0f747b52084a562e688d38dd554d6e7a4 authored about 4 years ago by Cyril Sobierajewicz <[email protected]>
Polykinded Type.Equality.TypeEquals

d5d3dfd8ef6a053b4878f04a669541db73442125 authored about 4 years ago by Cyril Sobierajewicz <[email protected]>
Polykinded Type.Data.Boolean.If

1e4047b57056374ab82a035d83bc92095563f96f authored about 4 years ago by Cyril Sobierajewicz <[email protected]>
Merge pull request #63 from JordanMartinez/updateTo14

Update to v0.14.0-rc2

4c9182d6ddf55fd65fbb50a085bc680d18d838d4 authored about 4 years ago by Harry Garrood <[email protected]>
Port APPLY and FLIP to Type.Function

48c31541e0de8e0d5965b50579d5461484e859d4 authored about 4 years ago by Jordan Martinez <[email protected]>
Remove unicode syntax

87f7f2298f682162d5066644738d8b0901828f04 authored about 4 years ago by Jordan Martinez <[email protected]>
Add deprecation notice to kind-specific proxies

52297b2f079a8548d52486767ea4b6255c18e634 authored about 4 years ago by Jordan Martinez <[email protected]>
Only refer to Prim.Ordering entities via PO prefix

1d33254bf0ee296aedddd1814b82cc503061002f authored about 4 years ago by Jordan Martinez <[email protected]>
Fix typo

147df8e0604fc7c8bacd80392ef5b92f057ec359 authored about 4 years ago by Jordan Martinez <[email protected]>
Use Constraint, not Type

96e5223724df11739e1101931cb35bca19a57e7a authored about 4 years ago by Jordan Martinez <[email protected]>
Add kind signatures rather than annotations for BProxy; use Proxy

69473a48081cb82828c323d433e1c7fb8df83837 authored about 4 years ago by Jordan Martinez <[email protected]>
Use forall proxy solution

12ee9b9c9eacef379c5aa454f3c1eec239911293 authored about 4 years ago by Jordan Martinez <[email protected]>
Use Proxy where it doesn't cause breaking changes

3c7058bd0826b0670b4464b07da6a0a37c97f87c authored about 4 years ago by Jordan Martinez <[email protected]>
Use explicit kind signatures rather than kind annotations

ddf3ad58eb69448fde830ad20b15c060ff1a1ae4 authored about 4 years ago by Jordan Martinez <[email protected]>
Update purescript-psa to v0.8.0

0deb1164eed7d473aaab5a6a83cd6908748c24df authored about 4 years ago by Jordan Martinez <[email protected]>
Update TAG to v0.14.0-rc2

c1645f3ce9ab57013b277da47b9f784a7f554834 authored about 4 years ago by Jordan Martinez <[email protected]>
Update dependencies to master

d123826ee12ce70237e6869b0113c52c507e0fae authored about 4 years ago by Jordan Martinez <[email protected]>
Remove dependency on proxy

0e5f71ad6bdbd8def20e396bc0e1d96586da8337 authored about 4 years ago by Jordan Martinez <[email protected]>
Merge remote-tracking branch 'origin/fixCompilerWarnings' into updateTo14

aca1e8c8589d492a1d8834949961a0f0115193ce authored about 4 years ago by Jordan Martinez <[email protected]>
Merge pull request #62 from purescript/bump-pulp

Bump pulp version

f202d4e61793a447558337baffc14e3fd7203df7 authored over 4 years ago by Gary Burgess <[email protected]>
Bump pulp version

d124a8e42fe902d0deb34bdb833fe158b24dfaa4 authored over 4 years ago by Gary Burgess <[email protected]>
Merge pull request #61 from purescript/update-ci

Update CI

0ec6a3774bcffce5c633b156e84fdc59622eb60b authored over 4 years ago by Gary Burgess <[email protected]>
Update CI

7c7738822ffb5cbd3d537814db26ea6b0ef27606 authored over 4 years ago by Gary Burgess <[email protected]>
Revert 'Row Type' back to '# Type'; clarify situation

827c858307b8f4f7bde2b68e1841e7860165473d authored almost 5 years ago by Jordan Martinez <[email protected]>
Fix compiler warnings

768c4e130666f0196ccad864bf8649dd13f91df1 authored almost 5 years ago by Jordan Martinez <[email protected]>
Add polymorphic type application in original and reversed forms

53e0bff1ccce6c55e9c111169d6432ecd0fe3c5e authored almost 5 years ago by Jordan Martinez <[email protected]>
Make `RowApply` polymorphic in its kinds

aa22055220b63c4a7340dbf92fcd4daafa349c55 authored almost 5 years ago by Jordan Martinez <[email protected]>
Make library compile on polykinds PR

dd61999fa6ab53ed39399fda329422e3f91e51b3 authored almost 5 years ago by Jordan Martinez <[email protected]>
Merge pull request #56 from purescript/missing-reexports-55

Re-add re-exports of Ordering and Boolean

b0ca266e635d6b16f64f45de23d3a60f3896982b authored almost 5 years ago by Harry Garrood <[email protected]>
Re-add re-exports of Ordering and Boolean

Fixes #55. This re-adds the re-exports of the Ordering and Boolean kinds
to the module `Type.Pre...

4907b39b41a9f453cf04cc03e948e90f5896b4b0 authored almost 5 years ago by Harry Garrood <[email protected]>
v5.0.1

6792c6c2f1c770600d9a8beebde5528e936781eb authored about 5 years ago by Harry Garrood <[email protected]>
Merge pull request #53 from Ebmtranceboy/master

fixing unused references warnings

182bc7d19d320d7db46024257e7fc1d8d9c37439 authored about 5 years ago by Harry Garrood <[email protected]>
fixing unused references warnings

dd703bac30e9cd837dba64fce4d0ff750da965d0 authored about 5 years ago by Ebmtranceboy <[email protected]>
v5.0.0

82b343fabfe3bf4ebf8106ce61bfe24fb3ed500c authored over 5 years ago by Harry Garrood <[email protected]>
Merge pull request #48 from purescript/reorg-modules

Add new module Type.RowList

10aaed6ef6b32c34c128e0148525b02e714a7875 authored over 5 years ago by Harry Garrood <[email protected]>
Add new module Type.RowList

Refs #43, fixes #46.

RowList-related types and classes have been removed from Type.Row and
move...

62d08b156151bbe98063ba952b2f7287ae3d70e5 authored over 5 years ago by Harry Garrood <[email protected]>
v4.0.2

f5b3b0d559c7510627241939de959401209e4bae authored over 5 years ago by Harry Garrood <[email protected]>
Merge pull request #47 from purescript/revert-re-export-prim-row-cons

Revert "Remove attempted re-export of `Prim.Row.Cons`"

ef4a4015ec0c59c33d14cc1f1505768760346543 authored over 5 years ago by Harry Garrood <[email protected]>
Revert "Remove attempted re-export of `Prim.Row.Cons`"

This reverts commit a7c73aad06703e43cd24355c41680c42b01184e0.

95ac64c7e97404089ca1417a51b9971b341fdb7e authored over 5 years ago by Harry Garrood <[email protected]>
v4.0.1

9eb572f14d45f9480f49d8e5658be20e226a8718 authored over 5 years ago by Harry Garrood <[email protected]>
Merge pull request #45 from joneshf/fix-43

Remove attempted re-export of `Prim.Row.Cons`

92b4fd8bc635a9bef6aeec46b87cdc02deaf86f1 authored over 5 years ago by Harry Garrood <[email protected]>
Remove attempted re-export of `Prim.Row.Cons`

It is currently possible to attempt to re-export both a class and a type
of the same name from d...

a7c73aad06703e43cd24355c41680c42b01184e0 authored over 5 years ago by joneshf <[email protected]>
Bump deps

1e4a6235d9aa83257a0204a4e9a86a3871bbaf81 authored almost 6 years ago by Liam Goodacre <[email protected]>
import boolean from prim

694785db941d3d06d6dcbdecc701635427a15bcc authored almost 6 years ago by justinwoo <[email protected]>
RProxy and RLProxy are defined in prelude already

66d40a43c3a07bf8157037eba7a18e66571e2004 authored about 6 years ago by Stefan Fehrenbach <[email protected]>
Merge pull request #38 from purescript/compiler/0.12

Update for PureScript 0.12

7aeb5990701925b199d3f49f5a073337903c9e41 authored over 6 years ago by Gary Burgess <[email protected]>
Update dependencies, license

cb426c50ca3f7ef59f7580b13790166a43a531b2 authored over 6 years ago by Gary Burgess <[email protected]>
Merge pull request #27 from matthewleon/homogeneous-sp

make Homogeneous spelling consistent

a97379e9d00cbc91bc1c753ca16673bfd4ad37a7 authored over 6 years ago by Gary Burgess <[email protected]>
Fix Boolean fun deps (#37)

5502856b5a417f1f3ca07f83d62946d47d5fbe3c authored over 6 years ago by Liam Goodacre <[email protected]>
Reexport Row.Union, hide Cons due to conflicting exports

8a072ba13fd0238c6804117d6bb76671da12a151 authored over 6 years ago by Liam Goodacre <[email protected]>
Remove purescript-symbols as a dependency

98f5381e8cd05c2e0b63d86c54f55d191f09bb5f authored over 6 years ago by Liam Goodacre <[email protected]>
Import Prim.Row

5cb2955f843838872b03eeb6cd011b9137d87ffd authored over 6 years ago by Matt Parsons <[email protected]>
Add ConsSymbol

7fa7124d7e7caf006345ac0d617e1252e86d5b27 authored over 6 years ago by Csongor Kiss <[email protected]>
Bump deps for compiler/0.12

0f59d10ee65929c2d00cd0bd813a2d0f3a31d754 authored over 6 years ago by Liam Goodacre <[email protected]>
Run AppendSymbol backwards

13ad0f376c63a8afae6d7ca7a107299d50a7f011 authored over 6 years ago by Phil Freeman <[email protected]>
Temporarily depend on compiler/0.12 of purescript-symbols

2e92ae7e880441f02147adc947184218c6518f1d authored over 6 years ago by Liam Goodacre <[email protected]>
consSymbol -> unconsSymbol

6f85b7936147956c4534fe7972013d4e933c5831 authored over 6 years ago by Csongor Kiss <[email protected]>
Bump dev dependencies

7de9504a19c271833df232350c7f472745691675 authored over 6 years ago by Liam Goodacre <[email protected]>
Use/reexport solved type classes of Prim

d6e0728a127e9e141db118a7ef56ae38809b16d9 authored over 6 years ago by Liam Goodacre <[email protected]>
fix fundep in If

cc299face0ef339a9cd76a08f27c3ca162aacf5a authored over 6 years ago by Irakli Safareli <[email protected]>
Merge pull request #35 from natefaubion/row-apply

Add RowApply operator

d2c4a22da5dc8a226fb3e5a517c607af14453d31 authored over 6 years ago by Gary Burgess <[email protected]>
Add RowApply operator

27ca2226f6b4ef4037ce37a4b5ac2ca3ceb2adf1 authored over 6 years ago by Nathan Faubion <[email protected]>
Update .gitignore

f03c6a9a1cc66d18327a982c090d735c66d00109 authored almost 7 years ago by Gary Burgess <[email protected]>
make Homogeneous spelling consistent

ca6f65a0fee1acc4ad276763766f7d366ec9aff1 authored about 7 years ago by Matthew Leon <[email protected]>
Add Homogeneous and HomogeneousRowList for homogeneous rows (#20)

* Add RecordOf and FieldOf for homogeneous records

* Rename to `Homogenous` and move to `Row`...

979f06ae3758c145a9f15d877ed0d7c148ece243 authored about 7 years ago by Paul Young <[email protected]>
RowList operations (#15)

* RowListRemove
* RowListSet
* RowListNub
* RowListAppend

f7385cc0f1eb3c8f076ce64967897850024d181e authored about 7 years ago by Liam Goodacre <[email protected]>
Merge pull request #14 from LiamGoodacre/feature/rowproxies

Add proxies for row and RowList

5b70a6f30a5916d112941dc6f91db4a7fd93212c authored over 7 years ago by Phil Freeman <[email protected]>
Add proxies for row and RowList

d4c565efcbe4859b8d91a37284ec7654a410e75d authored over 7 years ago by Liam Goodacre <[email protected]>
Merge pull request #12 from NasalMusician/patch-1

Add missing And constraint

471bc5b84a35f07c75ba097e817a8ae4edef666f authored over 7 years ago by Gary Burgess <[email protected]>
Add missing And constraint

5dd694312bd84eadf04d83fe80e747462741ed97 authored over 7 years ago by Nicholas Scheel <[email protected]>
Add RowToList class (#11)

* Add RowToList class

* Add RowToList and ListToRow

c28581510ae5297229b5ac3d8f148eef88a81db1 authored over 7 years ago by Liam Goodacre <[email protected]>
Merge pull request #10 from LiamGoodacre/feature/boolean-if

Add typelevel boolean if

42a59d15bc95678a0da5a18312613b0a9d31b6d5 authored over 7 years ago by Phil Freeman <[email protected]>
Add typelevel boolean if

2bf6ae6faff41093bb5255f4f7632d30e28f4343 authored over 7 years ago by Liam Goodacre <[email protected]>
Merge pull request #8 from purescript/version-notice

Remove version notice

6e8b19627a6a55f152853b0a0c30da40a1fcc04c authored over 7 years ago by Gary Burgess <[email protected]>
Remove version notice

4932f78845113e324bb1ecc2611cae2ad70b963f authored over 7 years ago by Gary Burgess <[email protected]>
Merge pull request #5 from LiamGoodacre/feature/row-lacks

Add RowLacks

48af3f1e3f7ae8ea4d9f8c1b2206b21ee4617345 authored over 7 years ago by Phil Freeman <[email protected]>
Add Type.Row.RowLacks type class

17edcf9e01e8a29e6b5cbe5c7d27c30f312b02df authored over 7 years ago by Liam Goodacre <[email protected]>
Merge pull request #6 from LiamGoodacre/feature/boolean

Add typelevel boolean, and Equals for symbol & ordering

764973038f83ab8e3c55a615e3a04dbea68fd289 authored over 7 years ago by Phil Freeman <[email protected]>
Add typelevel boolean, and Equals for symbol & ordering

ccd2236fe7f078a195524bdaaeee4709c8cfc2db authored over 7 years ago by Liam Goodacre <[email protected]>
Merge pull request #4 from purescript/ps-0.11

Update for PureScript 0.11

52ededde01ca0c98cbedb108408bd0ad7b98ec8a authored over 7 years ago by Gary Burgess <[email protected]>
Update for PureScript 0.11

cd583715b73624cb952d8b6dd5d9ccc30a44b82a authored over 7 years ago by Gary Burgess <[email protected]>
Update README.md

2a4fc1f2160d115ecb1c938bc5a20dce5c84aa37 authored almost 8 years ago by Phil Freeman <[email protected]>
Merge pull request #2 from LiamGoodacre/feature/compare-append-symbol

Add CompareSymbol and AppendSymbol

29a7123a0c29c85d4b923fcf4a7df8e45ebf9bac authored almost 8 years ago by Phil Freeman <[email protected]>
Add CompareSymbol and AppendSymbol

04ae4af905fb7fb2e993870ae6fef3153273f203 authored almost 8 years ago by Liam Goodacre <[email protected]>
Update README.md

075a2876c0a985ed757519648bf0e52b68df2d41 authored almost 8 years ago by Phil Freeman <[email protected]>
Add Type.Data.Ordering; Reexport Data.Symbols, Type.Equality (#1)

* Add Type.Data.Ordering; Reexport Data.Symbols, Type.Equality

* Don't alias modules for expo...

e4e52cea72990c6ad778061b0f568122e6023fc2 authored almost 8 years ago by Liam Goodacre <[email protected]>
Initial commit

44443683c4b358e114fad0b95a660e4c209603c4 authored about 8 years ago by Phil Freeman <[email protected]>
Create README.md

c19feba2fc168e764f16f309abf26bfd2fa0fa2e authored about 8 years ago by Phil Freeman <[email protected]>