Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types

Description

GQL Types

Synopsis

data Event e c = Event {
- channels :: [e]
- content :: c
}
class 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 Value
- | 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 :: (LiftEither o Resolver, 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
liftEither :: (LiftEither o res, Monad m) => m (Either (ResError res) a) -> res o event m a
lift :: (MonadTrans t, Monad m) => m 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))

Documentation

data Event e c Source #

Constructors

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

class GQLType a where Source #

GraphQL type, every graphQL type should have an instance of Generic and GQLType.

   ... deriving (Generic, GQLType)

if you want to add description

      ... deriving (Generic)

    instance GQLType ... where
      description = const "your description ..."

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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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 # __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.7.0-1athT4IXRfbLIB7DZAaUGv" 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 Value
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 # __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.7.0-1athT4IXRfbLIB7DZAaUGv" 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.7.0-1athT4IXRfbLIB7DZAaUGv" 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 acn 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 :: (LiftEither o Resolver, 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 # __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.7.0-1athT4IXRfbLIB7DZAaUGv" 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 #
(LiftEither 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 # __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 #

liftEither :: (LiftEither o res, Monad m) => m (Either (ResError res) a) -> res o event m a Source #

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

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

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 #