« Changelog History


morpheus-graphql v0.1.0 Release Notes

  • 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.Execution.Subscription

    🛠 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.