justinwoo / purescript-xiaomian

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

purescript-xiaomian

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