Purescript Type Isequal
Type equality check returning a Boolean kind. Useful for type-level programming.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Purescript Typelevel Prelude | 62 | 69 | 2 years ago | May 22, 2018 | 8 | bsd-3-clause | PureScript | |||
| Types and kinds for basic type-level programming | ||||||||||
| Purescript Typelevel Eval | 37 | 1 | 2 years ago | August 11, 2018 | 2 | mit | PureScript | |||
| Higher order functional programming in PureScript's type system | ||||||||||
| Category Parametric Talk | 22 | 4 years ago | Scala | |||||||
| Talks on category-parametric programming. | ||||||||||
| Notes | 19 | 2 years ago | 13 | Scala | ||||||
| Programming notes | ||||||||||
| Scalawave Typelevel Workshop | 16 | 7 years ago | Scala | |||||||
| Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop | ||||||||||
| Scala Functional Programming Tutorial | 16 | 3 years ago | Scala | |||||||
| Functional Programming in Scala Tutorial | ||||||||||
| Typelevel Programming Scala | 15 | 8 years ago | mit | Scala | ||||||
| TypeLevel Programming in Scala | ||||||||||
| Purescript Type Isequal | 5 | 4 years ago | July 03, 2018 | mit | PureScript | |||||
| Type equality check returning a Boolean kind. Useful for type-level programming. | ||||||||||
Alternatives To Purescript Type IsequalSelect To Compare
Alternative Project Comparisons
Popular Programming Projects
Popular Typelevel Projects
Popular Learning Resources Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Programming
Purescript
Typelevel