MIT licensed by Daviti Nalchevanidze
Maintained by [email protected]
This version can be pinned in stack with:morpheus-graphql-core-0.16.0@sha256:c1b8bc18df2cb918eac3c17c6dc507742a043de469c5cd0bd22221751979f8da,15496

Morpheus GraphQL Core

core Functionalities of Morpheus GraphQL, can be used to build GraphQL server, client ..

  • parser
  • validar
  • api

Build GraphQL api with Core

schema :: Schema VALID
schema =
  [dsl|
  type Query {
    deity(name: String): Deity!
  }

  type Deity {
    name: String!
    power: [String!]!
  }
|]

resolver :: Monad m => RootResModel e m
resolver =
  RootResModel
    { query =
        pure $
          mkObject
            "Query"
            [("deity", resolveDeity)],
      mutation = pure mkNull,
      subscription = pure mkNull
    }

resolveDeity :: (WithOperation o, Monad m) => Resolver o e m (ResModel o e m)
resolveDeity =
  pure $
    mkObject
      "Deity"
      [ ("name", pure $ mkString "Morpheus"),
        ("power", pure $ mkList [mkString "Shapeshifting"])
      ]

api :: ByteString -> IO  ByteString
api = runApp (mkApp schema resolver)

Changes

Changelog

0.16.0 - 05.11.2020

Breaking Changes

  • signature changes:

    • render: a -> Text to a -> ByteString

    • parseTypeSystemDefinition : Text -> Eventless (Schema VALID) to ByteString -> Eventless (Schema VALID)

    • parseTypeDefinitions: Text -> Eventless [TypeDefinition ANY CONST] to ByteString -> Eventless [TypeDefinition ANY CONST]

new features

Minor Changes

  • parser performance optimization

0.15.1 - 12.09.2020

relaxed upper boundary of megaparsec up to 10.0.0

0.15.0 - 12.09.2020

new features

  • render renders SchemaDefinition e.g

    schema {
      query: MyQuery
    }
    
  • query validator automatically adds __typename to interface types

  • type : App

    api :: a -> m b
    api = runApp (mkApp schema resolvers)
    
  • App supports semigroup(schema Stitching):

    if whe have two apps app1 and app2 with type Api EVENT IO we can merge it as.

    mergedApi :: a -> m b
    mergedApi = runApp (app1 <> app2)
    
  • runApp changed signature to:

    runApp :: Api e m -> a -> m b
    

Breaking Changes

  • removed runApi.

Minor Changes

  • internal refactoring

0.14.1 - 16.08.2020

0.14.0 - 15.08.2020

new features

  • query validation supports interfaces

  • exposed: Data.Morpheus.Types.SelectionTree

  • configurable api: Data.Morpheus.Core exports

    • Config
    • defaultConfig
    • debugConfig
  • for better debugging, internal errors messages will display resolving state:

    • current TypeName
    • current Selection
    • OperationDefinition
    • SchemaDefinition
  • rendering graphql “AST”. e.g render (selection :: Selection VALID) will render

{
  user(arg1: 1) {
    name
  }
}
  • quasiquoter [dsl| <type definitions> |] generates Schema VALID.
  • parser supports custom directive definition. e.g
directive @MyDirective on FIELD_DEFINITION | OBJECT
  • directive Validation for Document (TypeSystem).

  • supports of block string values. e.g:

    query {
      createDeity(
        name: """
        power
        bla \n sd
        blu \\ date
        """
      ) {
        name
      }
    }
    
  • support of schema. issue #412

    schema {
      query: MyQuery
    }
    

Breaking Changes

  • Context' renamed toResolverContext’

  • removed : EventCon from Data.Morpheus.Core

  • internal refactoring: changed AST. Schema AST Types now need parameter stage = RAW | CONST | VALID.

    • Schema VALID
    • TypeDefinition VALID
    • FieldDefinition IN VALID
  • runApi requires argument config

      runApi ::
        Schema s ->
        RootResModel event m ->
        Config ->
        GQLRequest ->
        ResponseStream event m (Value VALID)
    

0.13.0 - 22.06.2020

new features

  • exposed: Data.Morpheus.Types.GQLScalar
  • exposed: Data.Morpheus.Types.ID
  • finished interface validation
  • supports default values

minor changes

  • internal refactoring
  • added dependency mtl
  • validates strings as enum from JSON value

0.12.0 - 21.05.2020

New features

  • parser supports implements interfaces separated with empty spaces

    type T implements A , B C & D {
    
  • introspection can render interfaces