git.iko.soy/rowtype-yoga/purescript-prospero
on v0.1.0 help sign in
14 lines 834 B history raw
1# Prospero
3A type-safe GraphQL server library for PureScript.
5## Schema Validation
7PureScript'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.
9The following edge cases are **not** validated and will surface at runtime (via SDL rendering or first query):
11- **Duplicate GraphQL field names** — two record fields using `Named` overrides that map to the same GraphQL name
12- **Empty object types** — a record with zero fields (valid PureScript, invalid GraphQL)
13- **Invalid enum constructors** — a sum type with constructors that carry data (only nullary constructors are valid GraphQL enum values)
14- **GraphQL name conflicts** — two different PureScript types mapping to the same GraphQL type name via `IsGql`