github/purescript-typeable
1
0
Fork 1
mirror of https://github.com/yaitskov/purescript-typeable.git synced 2026-07-24 17:23:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update for Purescript 0.14

Browse Source
This commit is contained in:
Anupam Jain
2021-04-22 13:11:34 +05:30
parent 6f0215a5d1
commit d6a4c80b81
5 changed files with 424 additions and 472 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Typeable.purs
View File

@@ -40,9 +40,11 @@ import Type.Data.RowList (RLProxy(..))
import Unsafe.Coerce (unsafeCoerce)
-- | Indexed TypeReps
data TypeRep :: forall k. k -> Type
data TypeRep a
-- | `Typeable` things have a `TypeRep`
class Typeable :: forall k. k -> Constraint
class Typeable a where
typeRep :: TypeRep a
@@ -191,7 +193,9 @@ instance tag10FromTag11 :: (Tag11 t, Typeable a) => Tag10 (t a) where
-- COMMON INSTANCES
-- TODO: Don't know how to use a Row instead of a RowList here
data TypeRow (r :: RL.RowList)
-- (r :: RL.RLProxy)
data TypeRow :: forall k. k -> Type
data TypeRow r
foreign import typeRowToTypeRep :: forall r rl. RL.RowToList r rl => TypeRow rl -> TypeRep (Record r)
foreign import typeRowNil :: TypeRow RL.Nil
foreign import typeRowCons :: forall s t rs. SProxy s -> String -> TypeRep t -> TypeRow rs -> TypeRow (RL.Cons s t rs)