Package

purescript-xiaomian

Repository
justinwoo/purescript-xiaomian
License
MIT
Uploaded by
justinwoo
Published on
2018-09-14T07:16:38Z

Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.

Usage

See test/Main.purs

test :: Unit test = do let expected = Proxy :: Proxy (RProxy ( a :: SProxy "a", b :: SProxy "b", c :: SProxy "c" )) actual = X.getKeysRow { a: 1, b: 2, c: 3 } expectInferred expected actual

test2 :: Unit test2 = do let expected = Proxy :: Proxy ({ a :: SProxy "a", b :: SProxy "b", c :: SProxy "c" }) actual = X.getKeysRecord { a: 1, b: 2, c: 3 } expectInferred expected actual

test3 :: Unit test3 = do let expected = Proxy :: Proxy ({ a :: SProxy "a", b :: SProxy "b", c :: SProxy "c" }) actual = X.getKeysRecord' (Proxy :: Proxy { a :: Int, b :: Int, c :: Int }) expectInferred expected actual

Modules
Xiaomian
Dependencies