github.com/purescript/purescript-typelevel-prelude issues

Fix comment typos

i-am-the-slime opened this pull request about 2 years ago

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

JordanMartinez opened this pull request over 2 years ago

Add FLIP infix operator: #

JordanMartinez opened this pull request almost 3 years ago

Update to v0.15.0

JordanMartinez opened this pull request almost 3 years ago

Prepare v6.0.0 release

kl0tl opened this pull request almost 4 years ago

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

paluh opened this issue almost 4 years ago

Update changelog since v5.0.1

thomashoneyman opened this pull request almost 4 years ago

Generate changelog and add PR template

JordanMartinez opened this pull request almost 4 years ago

Migrate to GitHub Actions

thomashoneyman opened this pull request about 4 years ago

Add type-level Equals for Boolean

JordanMartinez opened this pull request about 4 years ago

Add Equals to Type.Data.Boolean?

kl0tl opened this issue about 4 years ago

No monomorphic proxies

kl0tl opened this pull request about 4 years ago

Update to v0.14.0-rc2

JordanMartinez opened this pull request over 4 years ago

Bump pulp version

garyb opened this pull request over 4 years ago

Update CI

garyb opened this pull request over 4 years ago

Adding RowList Limits

mwalkerwells opened this pull request almost 5 years ago

Add '#' as an infix type operator for FLIP

JordanMartinez opened this pull request almost 5 years ago

Fix compiler warnings

JordanMartinez opened this pull request almost 5 years ago

Make typelevel-prelude library compile on polykinds PR

JordanMartinez opened this pull request almost 5 years ago

Re-add re-exports of Ordering and Boolean

hdgarrood opened this pull request almost 5 years ago

Exports of Ordering and Boolean Kinds Missing

eric-corumdigital opened this issue about 5 years ago

Make the instance rowListAppendNil simple (remove type constraint)

matoruru opened this pull request about 5 years ago

fixing unused references warnings

Ebmtranceboy opened this pull request about 5 years ago

Add `TypeTypeApply` and `TypeRowApply` aliases?

JordanMartinez opened this issue over 5 years ago

Add Mirror and Snoc type classes to Symbol

csicar opened this pull request over 5 years ago

WIP: added Compare classes to Ordering

csicar opened this pull request over 5 years ago

Add new module Type.RowList

hdgarrood opened this pull request over 5 years ago

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

hdgarrood opened this pull request over 5 years ago

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

rgrover opened this issue over 5 years ago

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

joneshf opened this pull request over 5 years ago

Bump deps

LiamGoodacre opened this pull request almost 6 years ago

Type.Row exports both a type and a class called Cons

hdgarrood opened this issue about 6 years ago

Feature Request: RowCompose

eric-corumdigital opened this issue about 6 years ago

import boolean from prim

justinwoo opened this pull request about 6 years ago

Feature Request: Symbol Reverse

eric-corumdigital opened this issue about 6 years ago

RProxy and RLProxy are defined in prelude already

fehrenbach opened this pull request over 6 years ago

Update for PureScript 0.12

garyb opened this pull request over 6 years ago

Fix Boolean fun deps

LiamGoodacre opened this pull request over 6 years ago

Fix fundep in If

safareli opened this pull request over 6 years ago

Add RowApply operator

natefaubion opened this pull request almost 7 years ago

Document Undecidable Instance

megamaddu opened this issue almost 7 years ago

Compiler/0.12

parsonsmatt opened this pull request almost 7 years ago

typeclass instances for proxies

matthewleon opened this pull request almost 7 years ago

RowListIntersection?

justinwoo opened this issue almost 7 years ago

Add "row mixin" operator

natefaubion opened this issue almost 7 years ago

TypeEqualsBool class can assert type inequality.

matthewleon opened this pull request almost 7 years ago

Import Prim.Row

parsonsmatt opened this pull request almost 7 years ago

make Homogeneous spelling consistent

matthewleon opened this pull request about 7 years ago

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

martyall opened this issue about 7 years ago

Added RowLabels type class.

coot opened this pull request over 7 years ago

Add ConsSymbol

kcsongor opened this pull request over 7 years ago

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

LiamGoodacre opened this pull request over 7 years ago

Add type-level list of Symbols and implement insertion sort

kcsongor opened this pull request over 7 years ago

Add SubRow class

coot opened this pull request over 7 years ago

Add Homogeneous and HomogeneousRowList for homogeneous rows

paulyoung opened this pull request over 7 years ago

Run AppendSymbol backwards

paf31 opened this pull request over 7 years ago

Bundle up some examples?

justinwoo opened this issue over 7 years ago

Multiple `RowLacks`?

garyb opened this issue over 7 years ago

RowSingleton class

MonoidMusician opened this pull request over 7 years ago

RowList operations

LiamGoodacre opened this pull request over 7 years ago

Add proxies for row and RowList

LiamGoodacre opened this pull request over 7 years ago

Add RowListProxy?

justinwoo opened this issue over 7 years ago

Add missing And constraint

MonoidMusician opened this pull request over 7 years ago

Add RowToList class

LiamGoodacre opened this pull request over 7 years ago

Add typelevel boolean if

LiamGoodacre opened this pull request over 7 years ago

RowLabels type class and LabelList

LiamGoodacre opened this issue over 7 years ago

Remove version notice

garyb opened this pull request over 7 years ago

Version compatibility

joneshf opened this issue over 7 years ago

Add typelevel boolean, and Equals for symbol & ordering

LiamGoodacre opened this pull request over 7 years ago

Add RowLacks

LiamGoodacre opened this pull request over 7 years ago

Update for PureScript 0.11

garyb opened this pull request almost 8 years ago

Add the undefined value.

bodil opened this pull request almost 8 years ago

Add CompareSymbol and AppendSymbol

LiamGoodacre opened this pull request about 8 years ago

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

LiamGoodacre opened this pull request about 8 years ago

Ecosyste.ms: OpenCollective

github.com/purescript/purescript-typelevel-prelude