[Help] Basic argonaut-codecs example

• purescript-argonaut-codecs

  1 49 4.0 PureScript

  JSON serialization and deserialization with Argonaut.

  

I am trying to recreate the basic examples from the purescript-argonaut-codecs package. My Main.purs is like

• documentation

  14 1,002 4.7

  Documentation for the PureScript language, compiler, and tools. (by purescript)

  

[1 of 1] Compiling Main Error found: in module Main at src/Main.purs:40:35 - 40:39 (line 40, column 35 - line 40, column 39) Could not match type { age :: Maybe Int , name :: String , team :: Maybe String} with type Json while checking that type t0 is at least as general as type Json while checking that expression user has type Json in value declaration main where t0 is an unknown type See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error. [error] Failed to build.)

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project