Prospero.Federation

type EntityResolver :: Type -> Row Type -> Typetype EntityResolver ctx errs = Map String InputValue -> Step ctx errs

type EntityResolvers :: Type -> Row Type -> Typetype EntityResolvers ctx errs = Map String (EntityDef ctx errs)

type EntityDef :: Type -> Row Type -> Typetype EntityDef ctx errs = { keys :: Array String, resolver :: EntityResolver ctx errs }

injectFederation :: forall ctx errs gql. EntityResolvers ctx errs -> Schema ctx errs gql -> Schema ctx errs gql