lum/purescript-typeable
3
0
Fork 0
forked from github/purescript-typeable
Code Pull Requests Activity

Add link to slides for the talk

Browse Source
This commit is contained in:
Anupam Jain 2021-01-18 11:30:44 +00:00 committed by GitHub
parent 3ca165ffd6
commit 5d6c4ca884
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -3,6 +3,8 @@ Reified types for Purescript
This is an implementation of indexed typereps for Purescript, similar to the [corresponding implementation in Haskell](https://hackage.haskell.org/package/base-4.10.0.0/docs/Type-Reflection.html#t:TypeRep).
[Slides for a talk about Purescript-Typeable](https://speakerdeck.com/ajnsit/purescript-typeable), presented at the Purescript semi-monthly meetup on 18 January 2021, are available.
## Data.Typeable
`TypeReps` are values that represent types (i.e. they reify types). When they are *indexed* they have the type itself as a parameter.