Prospero.RootResolver

class RecordRow :: Type -> Row Type -> Constraintclass RecordRow (rec :: Type) (row :: Row Type) | rec -> row

Extracts the row from a Record type

Instances

• RecordRow (Record row) row

class ImplType :: Type -> Row Type -> RowList Type -> Row Type -> Constraintclass ImplType (ctx :: Type) (errs :: Row Type) (schemaRL :: RowList Type) (implRow :: Row Type) | ctx errs schemaRL -> implRow

Derives the Om-wrapped implementation row from a pure schema row. Plain fields get wrapped in Om, function fields get their return type wrapped.

Instances

• ImplType ctx errs Nil ()
• (ImplType ctx errs tail tailImpl, Cons name (Record args -> Om ctx errs result) tailImpl implRow, Lacks name tailImpl) => ImplType ctx errs (Cons name (Query (Record args) result) tail) implRow
• (ImplType ctx errs tail tailImpl, Cons name (Om ctx errs ty) tailImpl implRow, Lacks name tailImpl) => ImplType ctx errs (Cons name (Query Unit ty) tail) implRow
• (ImplType ctx errs (Cons name inner tail) implRow) => ImplType ctx errs (Cons name (Described desc inner) tail) implRow
• (ImplType ctx errs (Cons name inner tail) implRow) => ImplType ctx errs (Cons name (Cost cost inner) tail) implRow
• (ImplType ctx errs (Cons name inner tail) implRow) => ImplType ctx errs (Cons name (MaxAge n unit inner) tail) implRow
• (ImplType ctx errs (Cons name inner tail) implRow) => ImplType ctx errs (Cons name (Private inner) tail) implRow

class SplitSchema :: Type -> Row Type -> RowList Type -> Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass SplitSchema (ctx :: Type) (errs :: Row Type) (schemaRL :: RowList Type) (implRow :: Row Type) (qRow :: Row Type) (mRow :: Row Type) (sRow :: Row Type) | ctx errs schemaRL -> implRow qRow mRow sRow

Walks a schema RowList and partitions fields into query/mutation/subscription rows based on the Query/Mutation/Subscription wrapper, plus a combined implementation row.

Instances

• SplitSchema ctx errs Nil () () () ()
• (SplitSchema ctx errs tail tailImpl tailQ tailM tailS, Cons name (Record args -> Om ctx errs result) tailImpl implRow, Cons name (Record args -> Om ctx errs result) tailQ qRow, Lacks name tailImpl, Lacks name tailQ) => SplitSchema ctx errs (Cons name (Query (Record args) result) tail) implRow qRow tailM tailS
• (SplitSchema ctx errs tail tailImpl tailQ tailM tailS, Cons name (Om ctx errs ty) tailImpl implRow, Cons name (Om ctx errs ty) tailQ qRow, Lacks name tailImpl, Lacks name tailQ) => SplitSchema ctx errs (Cons name (Query Unit ty) tail) implRow qRow tailM tailS
• (SplitSchema ctx errs tail tailImpl tailQ tailM tailS, Cons name (Record args -> Om ctx errs result) tailImpl implRow, Cons name (Record args -> Om ctx errs result) tailM mRow, Lacks name tailImpl, Lacks name tailM) => SplitSchema ctx errs (Cons name (Mutation (Record args) result) tail) implRow tailQ mRow tailS
• (SplitSchema ctx errs tail tailImpl tailQ tailM tailS, Cons name (Om ctx errs ty) tailImpl implRow, Cons name (Om ctx errs ty) tailM mRow, Lacks name tailImpl, Lacks name tailM) => SplitSchema ctx errs (Cons name (Mutation Unit ty) tail) implRow tailQ mRow tailS
• (SplitSchema ctx errs tail tailImpl tailQ tailM tailS, Cons name (EventSource ty) tailImpl implRow, Cons name (EventSource ty) tailS sRow, Lacks name tailImpl, Lacks name tailS) => SplitSchema ctx errs (Cons name (Subscription ty) tail) implRow tailQ tailM sRow
• (SplitSchema ctx errs (Cons name inner tail) implRow qRow mRow sRow) => SplitSchema ctx errs (Cons name (Described desc inner) tail) implRow qRow mRow sRow
• (SplitSchema ctx errs (Cons name inner tail) implRow qRow mRow sRow) => SplitSchema ctx errs (Cons name (Cost cost inner) tail) implRow qRow mRow sRow
• (SplitSchema ctx errs (Cons name inner tail) implRow qRow mRow sRow) => SplitSchema ctx errs (Cons name (MaxAge n unit inner) tail) implRow qRow mRow sRow
• (SplitSchema ctx errs (Cons name inner tail) implRow qRow mRow sRow) => SplitSchema ctx errs (Cons name (Private inner) tail) implRow qRow mRow sRow

type GraphQL :: Type -> Row Type -> Type -> Typetype GraphQL ctx errs schemaGql = { mutation :: Maybe GqlType, mutationStep :: Maybe (Step ctx errs), query :: GqlType, queryStep :: Step ctx errs, subscription :: Maybe GqlType, subscriptionStep :: Maybe (Step ctx errs) }

graphql :: forall @schema schemaRow schemaRL ctx errs implRow qRow mRow sRow qGql mGql sGql. RecordRow schema schemaRow => RowToList schemaRow schemaRL => SplitSchema ctx errs schemaRL implRow qRow mRow sRow => GqlSchema ctx errs (Record qRow) qGql => GqlSchema ctx errs (Record mRow) mGql => GqlSchema ctx errs (Record sRow) sGql => Record implRow -> GraphQL ctx errs qGql

mkGraphQL :: forall ctx errs q qGql. GqlSchema ctx errs (Record q) qGql => Record q -> GraphQL ctx errs qGql

mkGraphQL' :: forall ctx errs q qGql. GqlSchema ctx errs (Record q) qGql => { introspection :: Boolean } -> Record q -> GraphQL ctx errs qGql

mkGraphQLOpts :: forall ctx errs q qGql. GqlSchema ctx errs (Record q) qGql => { introspection :: Boolean } -> Record q -> GraphQL ctx errs qGql

mkGraphQLWithMutations :: forall ctx errs q m qGql mGql. GqlSchema ctx errs (Record q) qGql => GqlSchema ctx errs (Record m) mGql => Record q -> Record m -> GraphQL ctx errs qGql

mkGraphQLWithSubscriptions :: forall ctx errs q s qGql sGql. GqlSchema ctx errs (Record q) qGql => GqlSchema ctx errs (Record s) sGql => Record q -> Record s -> GraphQL ctx errs qGql

mkGraphQLFull :: forall ctx errs q m s qGql mGql sGql. GqlSchema ctx errs (Record q) qGql => GqlSchema ctx errs (Record m) mGql => GqlSchema ctx errs (Record s) sGql => Record q -> Record m -> Record s -> GraphQL ctx errs qGql

withMutations :: forall @m ctx errs mGql gql. GqlSchema ctx errs (Record m) mGql => GraphQL ctx errs gql -> Record m -> GraphQL ctx errs gql

withSubscriptions :: forall @s ctx errs sGql gql. GqlSchema ctx errs (Record s) sGql => GraphQL ctx errs gql -> Record s -> GraphQL ctx errs gql

stripIntrospection :: forall ctx errs gql. GraphQL ctx errs gql -> GraphQL ctx errs gql

executeQuery :: forall ctx errs schemaGql. GraphQL ctx errs schemaGql -> Array Selection -> Om ctx errs ResponseValue

type ParsedOperation = { operationType :: OperationType, selections :: Array Selection }

executeOperation :: forall ctx errs schemaGql. GraphQL ctx errs schemaGql -> ParsedOperation -> Om ctx errs ResponseValue

executeOperationWith :: forall ctx errs schemaGql. Array (FieldWrapperFn ctx errs) -> GraphQL ctx errs schemaGql -> ParsedOperation -> Om ctx errs ResponseValue

renameGqlType :: String -> GqlType -> GqlType

renameStep :: forall ctx errs. String -> Step ctx errs -> Step ctx errs

withFederation :: forall ctx errs gql. EntityResolvers ctx errs -> GraphQL ctx errs gql -> GraphQL ctx errs gql