purescript/purescript-typelevel-prelude issues and pull requests

#75 - Fix comment typos

Pull Request - State: closed - Opened by i-am-the-slime about 2 years ago - 3 comments

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

Pull Request - State: closed - Opened by JordanMartinez over 2 years ago - 1 comment
Labels: purs-0.15

#73 - Add FLIP infix operator: #

Pull Request - State: closed - Opened by JordanMartinez over 2 years ago - 1 comment

#72 - Update to v0.15.0

Pull Request - State: closed - Opened by JordanMartinez over 2 years ago
Labels: purs-0.15, type: breaking change

#71 - Prepare v6.0.0 release

Pull Request - State: closed - Opened by kl0tl almost 4 years ago

#70 - Add `#` operator to the `Type.Function`

Issue - State: closed - Opened by paluh almost 4 years ago - 2 comments

#69 - Update changelog since v5.0.1

Pull Request - State: closed - Opened by thomashoneyman almost 4 years ago

#68 - Generate changelog and add PR template

Pull Request - State: closed - Opened by JordanMartinez almost 4 years ago

#67 - Migrate to GitHub Actions

Pull Request - State: closed - Opened by thomashoneyman almost 4 years ago

#66 - Add type-level Equals for Boolean

Pull Request - State: closed - Opened by JordanMartinez almost 4 years ago - 6 comments

#65 - Add Equals to Type.Data.Boolean?

Issue - State: open - Opened by kl0tl almost 4 years ago - 4 comments
Labels: status: needs more info

#64 - No monomorphic proxies

Pull Request - State: closed - Opened by kl0tl almost 4 years ago

#63 - Update to v0.14.0-rc2

Pull Request - State: closed - Opened by JordanMartinez about 4 years ago - 9 comments

#62 - Bump pulp version

Pull Request - State: closed - Opened by garyb over 4 years ago

#61 - Update CI

Pull Request - State: closed - Opened by garyb over 4 years ago

#60 - Adding RowList Limits

Pull Request - State: closed - Opened by mwalkerwells over 4 years ago - 2 comments

#59 - Add '#' as an infix type operator for FLIP

Pull Request - State: closed - Opened by JordanMartinez over 4 years ago - 1 comment

#58 - Fix compiler warnings

Pull Request - State: closed - Opened by JordanMartinez almost 5 years ago - 1 comment

#57 - Make typelevel-prelude library compile on polykinds PR

Pull Request - State: closed - Opened by JordanMartinez almost 5 years ago - 2 comments

#56 - Re-add re-exports of Ordering and Boolean

Pull Request - State: closed - Opened by hdgarrood almost 5 years ago

#55 - Exports of Ordering and Boolean Kinds Missing

Issue - State: closed - Opened by eric-corumdigital almost 5 years ago - 2 comments

#54 - Make the instance rowListAppendNil simple (remove type constraint)

Pull Request - State: closed - Opened by matoruru about 5 years ago - 3 comments

#53 - fixing unused references warnings

Pull Request - State: closed - Opened by Ebmtranceboy about 5 years ago - 1 comment

#52 - Add `TypeTypeApply` and `TypeRowApply` aliases?

Issue - State: closed - Opened by JordanMartinez about 5 years ago - 4 comments

#51 - Add Mirror and Snoc type classes to Symbol

Pull Request - State: open - Opened by csicar over 5 years ago - 10 comments

#50 - WIP: added Compare classes to Ordering

Pull Request - State: open - Opened by csicar over 5 years ago - 3 comments

#48 - Add new module Type.RowList

Pull Request - State: closed - Opened by hdgarrood over 5 years ago - 1 comment

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

Pull Request - State: closed - Opened by hdgarrood over 5 years ago

#46 - need major version increment after recent change removing export of Type.Row

Issue - State: closed - Opened by rgrover over 5 years ago - 4 comments

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

Pull Request - State: closed - Opened by joneshf over 5 years ago - 2 comments

#44 - Bump deps

Pull Request - State: closed - Opened by LiamGoodacre almost 6 years ago

#43 - Type.Row exports both a type and a class called Cons

Issue - State: closed - Opened by hdgarrood almost 6 years ago - 8 comments

#42 - Feature Request: RowCompose

Issue - State: closed - Opened by eric-corumdigital almost 6 years ago - 1 comment

#41 - import boolean from prim

Pull Request - State: closed - Opened by justinwoo almost 6 years ago - 9 comments

#40 - Feature Request: Symbol Reverse

Issue - State: open - Opened by eric-corumdigital about 6 years ago - 3 comments
Labels: type: enhancement

#39 - RProxy and RLProxy are defined in prelude already

Pull Request - State: closed - Opened by fehrenbach about 6 years ago - 1 comment

#38 - Update for PureScript 0.12

Pull Request - State: closed - Opened by garyb over 6 years ago

#37 - Fix Boolean fun deps

Pull Request - State: closed - Opened by LiamGoodacre over 6 years ago

#36 - Fix fundep in If

Pull Request - State: closed - Opened by safareli over 6 years ago - 2 comments

#35 - Add RowApply operator

Pull Request - State: closed - Opened by natefaubion over 6 years ago

#34 - Document Undecidable Instance

Issue - State: open - Opened by megamaddu over 6 years ago - 1 comment
Labels: type: documentation, status: needs more info

#33 - Compiler/0.12

Pull Request - State: closed - Opened by parsonsmatt over 6 years ago

#32 - typeclass instances for proxies

Pull Request - State: closed - Opened by matthewleon almost 7 years ago - 4 comments

#31 - RowListIntersection?

Issue - State: open - Opened by justinwoo almost 7 years ago - 2 comments
Labels: type: enhancement

#30 - Add "row mixin" operator

Issue - State: closed - Opened by natefaubion almost 7 years ago

#29 - TypeEqualsBool class can assert type inequality.

Pull Request - State: open - Opened by matthewleon almost 7 years ago - 3 comments

#28 - Import Prim.Row

Pull Request - State: closed - Opened by parsonsmatt almost 7 years ago

#27 - make Homogeneous spelling consistent

Pull Request - State: closed - Opened by matthewleon almost 7 years ago - 16 comments

#26 - Can you tell me why this simple function doesn't type check?

Issue - State: closed - Opened by martyall almost 7 years ago

#25 - Added RowLabels type class.

Pull Request - State: closed - Opened by coot about 7 years ago - 10 comments

#24 - Add ConsSymbol

Pull Request - State: closed - Opened by kcsongor about 7 years ago

#23 - Generalise `if_` to not only be used with proxies (WIP)

Pull Request - State: closed - Opened by LiamGoodacre about 7 years ago - 1 comment

#22 - Add type-level list of Symbols and implement insertion sort

Pull Request - State: closed - Opened by kcsongor about 7 years ago - 3 comments

#21 - Add SubRow class

Pull Request - State: closed - Opened by coot about 7 years ago - 4 comments

#20 - Add Homogeneous and HomogeneousRowList for homogeneous rows

Pull Request - State: closed - Opened by paulyoung over 7 years ago - 16 comments

#19 - Run AppendSymbol backwards

Pull Request - State: closed - Opened by paf31 over 7 years ago - 1 comment

#18 - Bundle up some examples?

Issue - State: open - Opened by justinwoo over 7 years ago
Labels: type: documentation

#17 - Multiple `RowLacks`?

Issue - State: closed - Opened by garyb over 7 years ago - 3 comments

#16 - RowSingleton class

Pull Request - State: closed - Opened by MonoidMusician over 7 years ago - 8 comments

#15 - RowList operations

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 6 comments

#14 - Add proxies for row and RowList

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 2 comments

#13 - Add RowListProxy?

Issue - State: closed - Opened by justinwoo over 7 years ago - 3 comments

#12 - Add missing And constraint

Pull Request - State: closed - Opened by MonoidMusician over 7 years ago - 1 comment

#11 - Add RowToList class

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 1 comment

#10 - Add typelevel boolean if

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 1 comment

#9 - RowLabels type class and LabelList

Issue - State: closed - Opened by LiamGoodacre over 7 years ago - 2 comments

#8 - Remove version notice

Pull Request - State: closed - Opened by garyb over 7 years ago - 1 comment

#7 - Version compatibility

Issue - State: closed - Opened by joneshf over 7 years ago - 2 comments

#6 - Add typelevel boolean, and Equals for symbol & ordering

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 1 comment

#5 - Add RowLacks

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 18 comments

#4 - Update for PureScript 0.11

Pull Request - State: closed - Opened by garyb over 7 years ago

#3 - Add the undefined value.

Pull Request - State: closed - Opened by bodil almost 8 years ago - 5 comments

#2 - Add CompareSymbol and AppendSymbol

Pull Request - State: closed - Opened by LiamGoodacre almost 8 years ago - 1 comment

#1 - Add Type.Data.Ordering; Reexport Data.Symbols, Type.Equality

Pull Request - State: closed - Opened by LiamGoodacre almost 8 years ago - 2 comments

GitHub / purescript/purescript-typelevel-prelude issues and pull requests