morpheus-graphql-0.1.0

thanks for contributing to: @krisajenkins, @hovind, @vmchale, @msvbg

Added

• support for Union Types: type instance KIND <type> = UNION
• support of haskell Types: Map, Set, and Pair (a,b)
• GraphQL Resolver supports custom Monad
• add Interpreter class with instances:
  • ByteString -> m ByteString and Lazy ByteString, where m is resolver monad
  • Text -> m Text and Lazy Text, where m is resolver monad
  • GQLRequest -> m GQLResponse , When you using it inside another Component that have Manual ToJSON deriving,
    you have to ensure that GQLResponse will be encoded with toEncoding, and not with toJSON.
• Schema Validation:
  • Name Collision
• support of Parsing input values: Objects,Arrays
• support scalar type: ID
• scalar Types are validated by GQLScalar instance function parseValue
• TypeFamily KIND with:
  • SCALAR
  • OBJECT,
  • ENUM
  • INPUT_OBJECT
  • UNION
• inline Fragments
• GraphQL Aliases
• Subscriptions: GQLSubscription
  • a -> EffectM b operation: is resolver that contains side effect in EffectM.
    is used for Mutation and Subscribe communication
  • gqlEffectResolver ["CHANNEL_ID"]: packs as effect Resolver.
    if mutation and subscription resolver have same channel then
    every call of mutation will trigger subscription resolver
  • GQLState: shared state between http and websocket server
  • gqlSocketApp :converts interpreter to websocket application
  • graphql-subscriptions: Apollo GraphQL subProtocol
• language:
  • Query supports : __type(name:"type")
  • On every Object can be selected : __typename

Changed

• GQLRootResolver, GQLType(..) , GQLScalar(..)
  are moved in Data.Morpheus.Types
• GQLRoot { query, mutation, subscription } to GQLRootResolver {queryResolver, mutationResolver, subscriptionResolver}
• interpreter: can be used in http and websocket server
• GQLKind renamed as GQLType
• types can be derived just with (Generic,GQLType)
• haskell record field type' will generate GQL Object field type
• public API (all other modules are hidden):
  • Data.Morpheus
  • Data.Morpheus.Kind
  • Data.Morpheus.Types
  • Data.Morpheus.Server

Fixed:

• parser can read fields with digits like: a1 , _1
• you can use Wrapped type and Wrapped Primitive Types issue #136:
  • wrapped TypesNames will be separated with "_" : typeName(Either A B) -> "Either_A_B"
• introspection:
  • argument supports Non-Null and List
  • every field has correct kind

Removed

• GQLArgs: you can derive arguments just with Generic without GQLArgs
• GQLObject: replaced with instance type instance KIND <Type> = OBJECT
• GQLEnum: replaced with instance type instance KIND <Type> = ENUM
• GQLInput: replaced with instance type instance KIND <Type> = INPUT_OBJECT
• Typeable : with new deriving it is not required anymore
• Wrapper: with TypeFamilies there is no need for Wrapper
• a ::-> b is Replaced by a -> ResM b where ResM is alias for Resolver IO a
• GQLMutation , GQLQuery : with new deriving it is not required anymore
• Resolver constructor replaced by functions:
  • gqlResolver : packs m Either String a to Resolver m a
  • gqlEffectResolver: resolver constructor for effectedResolver
  • liftEffectResolver: lifts normal resolver to Effect Resolver.