Prospero

A type-safe GraphQL server library for PureScript.

Schema Validation

PureScript's type system prevents most invalid schemas at compile time: field type mismatches, missing resolvers, and incorrect argument types are all caught by the compiler.

The following edge cases are not validated and will surface at runtime (via SDL rendering or first query):

• Duplicate GraphQL field names — two record fields using Named overrides that map to the same GraphQL name
• Empty object types — a record with zero fields (valid PureScript, invalid GraphQL)
• Invalid enum constructors — a sum type with constructors that carry data (only nullary constructors are valid GraphQL enum values)
• GraphQL name conflicts — two different PureScript types mapping to the same GraphQL type name via IsGql