morpheus-graphql 0.27.0 → 0.27.1
raw patch · 2 files changed
+9/−5 lines, 2 filesdep ~textPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: text
API changes (from Hackage documentation)
+ Data.Morpheus.Types: class (MonadResolver m, MonadIO m) => MonadIOResolver (m :: Type -> Type)
+ Data.Morpheus.Types: class (Monad m, MonadReader ResolverContext m, MonadFail m, MonadError GQLError m, Monad MonadParam m) => MonadResolver (m :: Type -> Type) where {
+ Data.Morpheus.Types: getArguments :: MonadResolver m => m (Arguments VALID)
+ Data.Morpheus.Types: liftState :: MonadResolver m => ResolverState a -> m a
+ Data.Morpheus.Types: runResolver :: MonadResolver m => Maybe (Selection VALID -> ResolverState (Channel (MonadEvent m))) -> m ValidValue -> ResolverContext -> ResponseStream (MonadEvent m) (MonadParam m) ValidValue
- Data.Morpheus: compileTimeSchemaValidation :: forall {k} event (m :: Type -> Type) (qu :: (Type -> Type) -> Type) (mu :: (Type -> Type) -> Type) (su :: (Type -> Type) -> Type) proxy (root :: (Type -> Type) -> Type -> ((Type -> Type) -> Type) -> ((Type -> Type) -> Type) -> ((Type -> Type) -> Type) -> k). SchemaConstraints event m qu mu su => proxy (root m event qu mu su) -> Q Exp
+ Data.Morpheus: compileTimeSchemaValidation :: forall {k1} {k2} {k3} (qu :: (Type -> Type) -> Type) (mu :: (Type -> Type) -> Type) (su :: (Type -> Type) -> Type) proxy (root :: k2 -> k3 -> ((Type -> Type) -> Type) -> ((Type -> Type) -> Type) -> ((Type -> Type) -> Type) -> k1) (m :: k2) (event :: k3). SCHEMA qu mu su => proxy (root m event qu mu su) -> Q Exp
- Data.Morpheus.Document: type RootResolverConstraint (m :: Type -> Type) e (query :: Type -> Type -> Type) (mutation :: Type -> Type -> Type) (subscription :: Type -> Type -> Type) = (EncodeConstraints e m query mutation subscription, SchemaConstraints e m query mutation subscription, Monad m)
+ Data.Morpheus.Document: type RootResolverConstraint (m :: Type -> Type) e (query :: Type -> Type -> Type) (mutation :: Type -> Type -> Type) (subscription :: Type -> Type -> Type) = (DERIVE_RESOLVERS Resolver QUERY e m query mutation subscription, SCHEMA query mutation subscription, Monad m)
- Data.Morpheus.Types: constRes :: forall (o :: OperationType) (m :: Type -> Type) b a e. (WithOperation o, Monad m) => b -> a -> Resolver o e m b
+ Data.Morpheus.Types: constRes :: MonadResolver m => b -> a -> m b
- Data.Morpheus.Types: publish :: forall (m :: Type -> Type) e. Monad m => [e] -> Resolver MUTATION e m ()
+ Data.Morpheus.Types: publish :: MonadResolver m => [MonadEvent m] -> m ()
- Data.Morpheus.Types: subscribe :: forall (m :: Type -> Type) e a. Monad m => Channel e -> Resolver QUERY e m (e -> Resolver SUBSCRIPTION e m a) -> SubscriptionField (Resolver SUBSCRIPTION e m a)
+ Data.Morpheus.Types: subscribe :: (MonadResolver m, MonadOperation m ~ SUBSCRIPTION) => Channel (MonadEvent m) -> MonadQuery m (MonadEvent m -> m a) -> SubscriptionField (m a)
- Data.Morpheus.Types: type ResolverM e (m :: Type -> Type) (a :: k) = Flexible Resolver MUTATION e m a
+ Data.Morpheus.Types: type ResolverM e (m :: Type -> Type) (a :: k) = ResolverO MUTATION e m a
- Data.Morpheus.Types: type ResolverQ e (m :: Type -> Type) (a :: k) = Flexible Resolver QUERY e m a
+ Data.Morpheus.Types: type ResolverQ e (m :: Type -> Type) (a :: k) = ResolverO QUERY e m a
- Data.Morpheus.Types: type ResolverS e (m :: Type -> Type) (a :: k) = Flexible Resolver SUBSCRIPTION e m a
+ Data.Morpheus.Types: type ResolverS e (m :: Type -> Type) (a :: k) = ResolverO SUBSCRIPTION e m a
- Data.Morpheus.Types: type family DIRECTIVE_LOCATIONS a :: [DirectiveLocation];
+ Data.Morpheus.Types: type family Composed (m :: Type -> Type) (f :: Type -> Type) (a :: k)
Files
- morpheus-graphql.cabal +3/−3
- src/Data/Morpheus/Types.hs +6/−2
morpheus-graphql.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: morpheus-graphql-version: 0.27.0+version: 0.27.1 synopsis: Morpheus GraphQL description: Build GraphQL APIs with your favourite functional language! category: web, graphql@@ -239,7 +239,7 @@ , mtl >=2.0.0 && <3.0.0 , relude >=0.3.0 && <2.0.0 , template-haskell >=2.0.0 && <3.0.0- , text >=1.2.3 && <1.3.0+ , text >=1.2.3 && <2.1.0 , transformers >=0.3.0 && <0.6.0 , unordered-containers >=0.2.8 && <0.3.0 , vector >=0.12.0.1 && <0.13.0@@ -279,7 +279,7 @@ , tasty >=0.1.0 && <1.5.0 , tasty-hunit >=0.1.0 && <1.0.0 , template-haskell >=2.0.0 && <3.0.0- , text >=1.2.3 && <1.3.0+ , text >=1.2.3 && <2.1.0 , transformers >=0.3.0 && <0.6.0 , unordered-containers >=0.2.8 && <0.3.0 , vector >=0.12.0.1 && <0.13.0
src/Data/Morpheus/Types.hs view
@@ -22,8 +22,6 @@ lift, liftEither, WithOperation,- publish,- subscribe, ResolverContext (..), ResolverO, ComposedResolver,@@ -60,6 +58,10 @@ GQLError, MonadError, DirectiveLocation (..),+ MonadResolver (..),+ MonadIOResolver,+ Flexible,+ Composed, ) where @@ -83,6 +85,8 @@ GQLType (..), ID (..), MUTATION,+ MonadIOResolver,+ MonadResolver (..), Prefixes (..), QUERY, Rename (..),