Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types

Description

GQL Types

Synopsis

data Event e c = Event {
- channels :: [e]
- content :: c
}
class IsObject (KIND a) => GQLType a where
- type KIND a :: GQL_KIND
- description :: Proxy a -> Maybe Text
class GQLScalar a where
- parseValue :: ScalarValue -> Either Text a
- serialize :: a -> ScalarValue
data GQLRequest = GQLRequest {
- query :: Key
- operationName :: Maybe Key
- variables :: Maybe Value
}
data GQLResponse
- = Data ValidValue
- | Errors [GQLError]
newtype ID = ID {
- unpackID :: Text
}
data ScalarValue
- = Int Int
- | Float Float
- | String Text
- | Boolean Bool
data GQLRootResolver (m :: * -> *) event (query :: (* -> *) -> *) (mut :: (* -> *) -> *) (sub :: (* -> *) -> *) = GQLRootResolver {
- queryResolver :: query (Resolver QUERY event m)
- mutationResolver :: mut (Resolver MUTATION event m)
- subscriptionResolver :: sub (Resolver SUBSCRIPTION event m)
}
constRes :: (WithOperation o, Monad m) => b -> a -> Resolver o e m b
constMutRes :: Monad m => [e] -> a -> args -> MutRes e m a
data Undefined (m :: * -> *) = Undefined
type Res = Resolver QUERY
type MutRes = Resolver MUTATION
type SubRes = Resolver SUBSCRIPTION
type IORes e = Res e IO
type IOMutRes e = MutRes e IO
type IOSubRes e = SubRes e IO
data Resolver (o :: OperationType) event (m :: * -> *) value where
- QueryResolver :: {..} -> Resolver QUERY event m value
- MutResolver :: {..} -> Resolver MUTATION event m value
- SubResolver :: {..} -> Resolver SUBSCRIPTION event m value
type QUERY = Query
type MUTATION = Mutation
type SUBSCRIPTION = Subscription
lift :: (MonadTrans t, Monad m) => m a -> t m a
liftEither :: (MonadTrans t, Monad (t m), Failure Message (t m)) => Monad m => m (Either String a) -> t m a
type ResolveQ e m a = Res e m (a (Res e m))
type ResolveM e m a = MutRes e m (a (MutRes e m))
type ResolveS e m a = SubRes e m (a (Res e m))
failRes :: (WithOperation o, Monad m) => String -> Resolver o e m a
type WithOperation (o :: OperationType) = LiftOperation o Resolver

Documentation

data Event e c Source #

Constructors

Event
Fields channels :: [e] content :: c

class IsObject (KIND a) => GQLType a where Source #

Minimal complete definition

Nothing

Associated Types

type KIND a :: GQL_KIND Source #

Methods

description :: Proxy a -> Maybe Text Source #

Instances

GQLType Bool Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND Bool :: GQL_KIND Source # type CUSTOM Bool :: Bool Methods description :: Proxy Bool -> Maybe Text Source # isObjectKind :: Proxy Bool -> Bool __typeName :: Proxy Bool -> Text __typeFingerprint :: Proxy Bool -> DataFingerprint
GQLType Float Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND Float :: GQL_KIND Source # type CUSTOM Float :: Bool Methods description :: Proxy Float -> Maybe Text Source # isObjectKind :: Proxy Float -> Bool __typeName :: Proxy Float -> Text __typeFingerprint :: Proxy Float -> DataFingerprint
GQLType Int Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND Int :: GQL_KIND Source # type CUSTOM Int :: Bool Methods description :: Proxy Int -> Maybe Text Source # isObjectKind :: Proxy Int -> Bool __typeName :: Proxy Int -> Text __typeFingerprint :: Proxy Int -> DataFingerprint
GQLType () Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND () :: GQL_KIND Source # type CUSTOM () :: Bool Methods description :: Proxy () -> Maybe Text Source # isObjectKind :: Proxy () -> Bool __typeName :: Proxy () -> Text __typeFingerprint :: Proxy () -> DataFingerprint
GQLType Text Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND Text :: GQL_KIND Source # type CUSTOM Text :: Bool Methods description :: Proxy Text -> Maybe Text Source # isObjectKind :: Proxy Text -> Bool __typeName :: Proxy Text -> Text __typeFingerprint :: Proxy Text -> DataFingerprint
GQLType ID Source #
Instance details Defined in Data.Morpheus.Types.ID Associated Types type KIND ID :: GQL_KIND Source # type CUSTOM ID :: Bool Methods description :: Proxy ID -> Maybe Text Source # isObjectKind :: Proxy ID -> Bool __typeName :: Proxy ID -> Text __typeFingerprint :: Proxy ID -> DataFingerprint
GQLType a => GQLType [a] Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND [a] :: GQL_KIND Source # type CUSTOM [a] :: Bool Methods description :: Proxy [a] -> Maybe Text Source # isObjectKind :: Proxy [a] -> Bool __typeName :: Proxy [a] -> Text __typeFingerprint :: Proxy [a] -> DataFingerprint
GQLType a => GQLType (Maybe a) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Maybe a) :: GQL_KIND Source # type CUSTOM (Maybe a) :: Bool Methods description :: Proxy (Maybe a) -> Maybe Text Source # isObjectKind :: Proxy (Maybe a) -> Bool __typeName :: Proxy (Maybe a) -> Text __typeFingerprint :: Proxy (Maybe a) -> DataFingerprint
GQLType a => GQLType (Set a) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Set a) :: GQL_KIND Source # type CUSTOM (Set a) :: Bool Methods description :: Proxy (Set a) -> Maybe Text Source # isObjectKind :: Proxy (Set a) -> Bool __typeName :: Proxy (Set a) -> Text __typeFingerprint :: Proxy (Set a) -> DataFingerprint
Typeable m => GQLType (Undefined m) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Undefined m) :: GQL_KIND Source # type CUSTOM (Undefined m) :: Bool Methods description :: Proxy (Undefined m) -> Maybe Text Source # isObjectKind :: Proxy (Undefined m) -> Bool __typeName :: Proxy (Undefined m) -> Text __typeFingerprint :: Proxy (Undefined m) -> DataFingerprint
GQLType b => GQLType (a -> b) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (a -> b) :: GQL_KIND Source # type CUSTOM (a -> b) :: Bool Methods description :: Proxy (a -> b) -> Maybe Text Source # isObjectKind :: Proxy (a -> b) -> Bool __typeName :: Proxy (a -> b) -> Text __typeFingerprint :: Proxy (a -> b) -> DataFingerprint
GQLType a => GQLType (Either s a) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Either s a) :: GQL_KIND Source # type CUSTOM (Either s a) :: Bool Methods description :: Proxy (Either s a) -> Maybe Text Source # isObjectKind :: Proxy (Either s a) -> Bool __typeName :: Proxy (Either s a) -> Text __typeFingerprint :: Proxy (Either s a) -> DataFingerprint
(Typeable a, Typeable b, GQLType a, GQLType b) => GQLType (a, b) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (a, b) :: GQL_KIND Source # type CUSTOM (a, b) :: Bool Methods description :: Proxy (a, b) -> Maybe Text Source # isObjectKind :: Proxy (a, b) -> Bool __typeName :: Proxy (a, b) -> Text __typeFingerprint :: Proxy (a, b) -> DataFingerprint
(Typeable k, Typeable v) => GQLType (Map k v) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Map k v) :: GQL_KIND Source # type CUSTOM (Map k v) :: Bool Methods description :: Proxy (Map k v) -> Maybe Text Source # isObjectKind :: Proxy (Map k v) -> Bool __typeName :: Proxy (Map k v) -> Text __typeFingerprint :: Proxy (Map k v) -> DataFingerprint
GQLType a => GQLType (Resolver o e m a) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Resolver o e m a) :: GQL_KIND Source # type CUSTOM (Resolver o e m a) :: Bool Methods description :: Proxy (Resolver o e m a) -> Maybe Text Source # isObjectKind :: Proxy (Resolver o e m a) -> Bool __typeName :: Proxy (Resolver o e m a) -> Text __typeFingerprint :: Proxy (Resolver o e m a) -> DataFingerprint

class GQLScalar a where Source #

GraphQL Scalar

parseValue and serialize should be provided for every instances manually

Methods

parseValue :: ScalarValue -> Either Text a Source #

value parsing and validating

for exhaustive pattern matching should be handled all scalar types : ScalarValue, ScalarValue, ScalarValue, Boolean

invalid values can be reported with Left constructor :

  parseValue String _ = Left "" -- without error message
  -- or
  parseValue String _ = Left "Error Message"

serialize :: a -> ScalarValue Source #

serialization of haskell type into scalar value

Instances

GQLScalar Bool Source #
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods parseValue :: ScalarValue -> Either Text Bool Source # serialize :: Bool -> ScalarValue Source # scalarValidator :: Proxy Bool -> DataValidator
GQLScalar Float Source #
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods parseValue :: ScalarValue -> Either Text Float Source # serialize :: Float -> ScalarValue Source # scalarValidator :: Proxy Float -> DataValidator
GQLScalar Int Source #
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods parseValue :: ScalarValue -> Either Text Int Source # serialize :: Int -> ScalarValue Source # scalarValidator :: Proxy Int -> DataValidator
GQLScalar Text Source #
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods parseValue :: ScalarValue -> Either Text Text Source # serialize :: Text -> ScalarValue Source # scalarValidator :: Proxy Text -> DataValidator
GQLScalar ID Source #
Instance details Defined in Data.Morpheus.Types.ID Methods parseValue :: ScalarValue -> Either Text ID Source # serialize :: ID -> ScalarValue Source # scalarValidator :: Proxy ID -> DataValidator

data GQLRequest Source #

GraphQL HTTP Request Body

Constructors

GQLRequest
Fields query :: Key operationName :: Maybe Key variables :: Maybe Value

Instances

Show GQLRequest Source #
Instance details Defined in Data.Morpheus.Types.IO Methods showsPrec :: Int -> GQLRequest -> ShowS # show :: GQLRequest -> String # showList :: [GQLRequest] -> ShowS #
Generic GQLRequest Source #
Instance details Defined in Data.Morpheus.Types.IO Associated Types type Rep GQLRequest :: Type -> Type # Methods from :: GQLRequest -> Rep GQLRequest x # to :: Rep GQLRequest x -> GQLRequest #
ToJSON GQLRequest Source #
Instance details Defined in Data.Morpheus.Types.IO Methods toJSON :: GQLRequest -> Value # toEncoding :: GQLRequest -> Encoding # toJSONList :: [GQLRequest] -> Value # toEncodingList :: [GQLRequest] -> Encoding #
FromJSON GQLRequest Source #
Instance details Defined in Data.Morpheus.Types.IO Methods parseJSON :: Value -> Parser GQLRequest # parseJSONList :: Value -> Parser [GQLRequest] #
Interpreter (GQLRequest -> m GQLResponse) m e Source #
Instance details Defined in Data.Morpheus.Execution.Server.Interpreter Methods interpreter :: (Monad m, RootResCon m e query mut sub) => GQLRootResolver m e query mut sub -> GQLRequest -> m GQLResponse Source #
type Rep GQLRequest Source #
Instance details Defined in Data.Morpheus.Types.IO type Rep GQLRequest = D1 (MetaData "GQLRequest" "Data.Morpheus.Types.IO" "morpheus-graphql-0.9.0-Enb7NwejdImAguE6LnqUfW" False) (C1 (MetaCons "GQLRequest" PrefixI True) (S1 (MetaSel (Just "query") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Key) :: (S1 (MetaSel (Just "operationName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Key)) :: S1 (MetaSel (Just "variables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Value)))))

data GQLResponse Source #

GraphQL Response

Constructors

Data ValidValue
Errors [GQLError]

Instances

Show GQLResponse Source #
Instance details Defined in Data.Morpheus.Types.IO Methods showsPrec :: Int -> GQLResponse -> ShowS # show :: GQLResponse -> String # showList :: [GQLResponse] -> ShowS #
Generic GQLResponse Source #
Instance details Defined in Data.Morpheus.Types.IO Associated Types type Rep GQLResponse :: Type -> Type # Methods from :: GQLResponse -> Rep GQLResponse x # to :: Rep GQLResponse x -> GQLResponse #
ToJSON GQLResponse Source #
Instance details Defined in Data.Morpheus.Types.IO Methods toJSON :: GQLResponse -> Value # toEncoding :: GQLResponse -> Encoding # toJSONList :: [GQLResponse] -> Value # toEncodingList :: [GQLResponse] -> Encoding #
FromJSON GQLResponse Source #
Instance details Defined in Data.Morpheus.Types.IO Methods parseJSON :: Value -> Parser GQLResponse # parseJSONList :: Value -> Parser [GQLResponse] #
Interpreter (GQLRequest -> m GQLResponse) m e Source #
Instance details Defined in Data.Morpheus.Execution.Server.Interpreter Methods interpreter :: (Monad m, RootResCon m e query mut sub) => GQLRootResolver m e query mut sub -> GQLRequest -> m GQLResponse Source #
type Rep GQLResponse Source #
Instance details Defined in Data.Morpheus.Types.IO type Rep GQLResponse

newtype ID Source #

default GraphQL type, parses only ScalarValue and ScalarValue values, serialized always as ScalarValue

Constructors

ID
Fields unpackID :: Text

Instances

Show ID Source #
Instance details Defined in Data.Morpheus.Types.ID Methods showsPrec :: Int -> ID -> ShowS # show :: ID -> String # showList :: [ID] -> ShowS #
Generic ID Source #
Instance details Defined in Data.Morpheus.Types.ID Associated Types type Rep ID :: Type -> Type # Methods from :: ID -> Rep ID x # to :: Rep ID x -> ID #
GQLScalar ID Source #
Instance details Defined in Data.Morpheus.Types.ID Methods parseValue :: ScalarValue -> Either Text ID Source # serialize :: ID -> ScalarValue Source # scalarValidator :: Proxy ID -> DataValidator
GQLType ID Source #
Instance details Defined in Data.Morpheus.Types.ID Associated Types type KIND ID :: GQL_KIND Source # type CUSTOM ID :: Bool Methods description :: Proxy ID -> Maybe Text Source # isObjectKind :: Proxy ID -> Bool __typeName :: Proxy ID -> Text __typeFingerprint :: Proxy ID -> DataFingerprint
type Rep ID Source #
Instance details Defined in Data.Morpheus.Types.ID type Rep ID = D1 (MetaData "ID" "Data.Morpheus.Types.ID" "morpheus-graphql-0.9.0-Enb7NwejdImAguE6LnqUfW" True) (C1 (MetaCons "ID" PrefixI True) (S1 (MetaSel (Just "unpackID") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))
type KIND ID Source #
Instance details Defined in Data.Morpheus.Types.ID type KIND ID = SCALAR

data ScalarValue Source #

Primitive Values for GQLScalar: ScalarValue, ScalarValue, ScalarValue, Boolean. for performance reason type Text represents GraphQl ScalarValue value

Constructors

Int Int
Float Float
String Text
Boolean Bool

Instances

Show ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ScalarValue -> ShowS # show :: ScalarValue -> String # showList :: [ScalarValue] -> ShowS #
Generic ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Associated Types type Rep ScalarValue :: Type -> Type # Methods from :: ScalarValue -> Rep ScalarValue x # to :: Rep ScalarValue x -> ScalarValue #
Lift ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ScalarValue -> Q Exp #
ToJSON ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods toJSON :: ScalarValue -> Value # toEncoding :: ScalarValue -> Encoding # toJSONList :: [ScalarValue] -> Value # toEncodingList :: [ScalarValue] -> Encoding #
FromJSON ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value -> Parser ScalarValue # parseJSONList :: Value -> Parser [ScalarValue] #
type Rep ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type Rep ScalarValue = D1 (MetaData "ScalarValue" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-0.9.0-Enb7NwejdImAguE6LnqUfW" False) ((C1 (MetaCons "Int" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "Float" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float))) :+: (C1 (MetaCons "String" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Boolean" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))

data GQLRootResolver (m :: * -> *) event (query :: (* -> *) -> *) (mut :: (* -> *) -> *) (sub :: (* -> *) -> *) Source #

GraphQL Root resolver, also the interpreter generates a GQL schema from it. queryResolver is required, mutationResolver and subscriptionResolver are optional, if your schema does not supports mutation or subscription , you can use () for it.

Constructors

GQLRootResolver
Fields queryResolver :: query (Resolver QUERY event m) mutationResolver :: mut (Resolver MUTATION event m) subscriptionResolver :: sub (Resolver SUBSCRIPTION event m)

constRes :: (WithOperation o, Monad m) => b -> a -> Resolver o e m b Source #

constMutRes :: Monad m => [e] -> a -> args -> MutRes e m a Source #

data Undefined (m :: * -> *) Source #

Constructors

Undefined

Instances

Show (Undefined m) Source #
Instance details Defined in Data.Morpheus.Types.Types Methods showsPrec :: Int -> Undefined m -> ShowS # show :: Undefined m -> String # showList :: [Undefined m] -> ShowS #
Generic (Undefined m) Source #
Instance details Defined in Data.Morpheus.Types.Types Associated Types type Rep (Undefined m) :: Type -> Type # Methods from :: Undefined m -> Rep (Undefined m) x # to :: Rep (Undefined m) x -> Undefined m #
Typeable m => GQLType (Undefined m) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Undefined m) :: GQL_KIND Source # type CUSTOM (Undefined m) :: Bool Methods description :: Proxy (Undefined m) -> Maybe Text Source # isObjectKind :: Proxy (Undefined m) -> Bool __typeName :: Proxy (Undefined m) -> Text __typeFingerprint :: Proxy (Undefined m) -> DataFingerprint
type Rep (Undefined m) Source #
Instance details Defined in Data.Morpheus.Types.Types type Rep (Undefined m) = D1 (MetaData "Undefined" "Data.Morpheus.Types.Types" "morpheus-graphql-0.9.0-Enb7NwejdImAguE6LnqUfW" False) (C1 (MetaCons "Undefined" PrefixI False) (U1 :: Type -> Type))
type KIND (Undefined m) Source #
Instance details Defined in Data.Morpheus.Types.GQLType type KIND (Undefined m) = WRAPPER

type Res = Resolver QUERY Source #

type MutRes = Resolver MUTATION Source #

type SubRes = Resolver SUBSCRIPTION Source #

type IORes e = Res e IO Source #

type IOMutRes e = MutRes e IO Source #

type IOSubRes e = SubRes e IO Source #

data Resolver (o :: OperationType) event (m :: * -> *) value where Source #

Constructors

QueryResolver
Fields :: { unQueryResolver :: ResultT () String True m value } -> Resolver QUERY event m value
MutResolver
Fields :: { unMutResolver :: ResultT event String True m ([event], value) } -> Resolver MUTATION event m value
SubResolver
Fields :: { subChannels :: [StreamChannel event] , subResolver :: event -> Resolver QUERY event m value } -> Resolver SUBSCRIPTION event m value

Instances

MonadTrans (Resolver MUTATION e) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods lift :: Monad m => m a -> Resolver MUTATION e m a #
MonadTrans (Resolver QUERY e) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods lift :: Monad m => m a -> Resolver QUERY e m a #
Monad m => Monad (Resolver MUTATION e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods (>>=) :: Resolver MUTATION e m a -> (a -> Resolver MUTATION e m b) -> Resolver MUTATION e m b # (>>) :: Resolver MUTATION e m a -> Resolver MUTATION e m b -> Resolver MUTATION e m b # return :: a -> Resolver MUTATION e m a # fail :: String -> Resolver MUTATION e m a #
Monad m => Monad (Resolver QUERY e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods (>>=) :: Resolver QUERY e m a -> (a -> Resolver QUERY e m b) -> Resolver QUERY e m b # (>>) :: Resolver QUERY e m a -> Resolver QUERY e m b -> Resolver QUERY e m b # return :: a -> Resolver QUERY e m a # fail :: String -> Resolver QUERY e m a #
Functor m => Functor (Resolver o e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods fmap :: (a -> b) -> Resolver o e m a -> Resolver o e m b # (<$) :: a -> Resolver o e m b -> Resolver o e m a #
(LiftOperation o Resolver, Monad m) => Applicative (Resolver o e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods pure :: a -> Resolver o e m a # (<>) :: Resolver o e m (a -> b) -> Resolver o e m a -> Resolver o e m b # liftA2 :: (a -> b -> c) -> Resolver o e m a -> Resolver o e m b -> Resolver o e m c # (>) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m b # (<*) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m a #
GQLType a => GQLType (Resolver o e m a) Source #
Instance details Defined in Data.Morpheus.Types.GQLType Associated Types type KIND (Resolver o e m a) :: GQL_KIND Source # type CUSTOM (Resolver o e m a) :: Bool Methods description :: Proxy (Resolver o e m a) -> Maybe Text Source # isObjectKind :: Proxy (Resolver o e m a) -> Bool __typeName :: Proxy (Resolver o e m a) -> Text __typeFingerprint :: Proxy (Resolver o e m a) -> DataFingerprint
type KIND (Resolver o e m a) Source #
Instance details Defined in Data.Morpheus.Types.GQLType type KIND (Resolver o e m a) = WRAPPER

type QUERY = Query Source #

type MUTATION = Mutation Source #

type SUBSCRIPTION = Subscription Source #

lift :: (MonadTrans t, Monad m) => m a -> t m a #

Lift a computation from the argument monad to the constructed monad.

liftEither :: (MonadTrans t, Monad (t m), Failure Message (t m)) => Monad m => m (Either String a) -> t m a Source #

type ResolveQ e m a = Res e m (a (Res e m)) Source #

type ResolveM e m a = MutRes e m (a (MutRes e m)) Source #

type ResolveS e m a = SubRes e m (a (Res e m)) Source #

failRes :: (WithOperation o, Monad m) => String -> Resolver o e m a Source #

type WithOperation (o :: OperationType) = LiftOperation o Resolver Source #