Data.Morpheus.Types

GQL Types

Documentation

data Event e c

Constructors

Event

Fields

• channels :: [e]
• content :: c

class GQLType a where

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

Methods

description :: Proxy a -> Maybe Text

Instances

GQLType Bool

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Bool :: GQL_KIND

type CUSTOM Bool :: Bool

Methods

description :: Proxy Bool -> Maybe Text

__typeName :: Proxy Bool -> Text

__typeFingerprint :: Proxy Bool -> DataFingerprint

GQLType Float

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Float :: GQL_KIND

type CUSTOM Float :: Bool

Methods

description :: Proxy Float -> Maybe Text

__typeName :: Proxy Float -> Text

__typeFingerprint :: Proxy Float -> DataFingerprint

GQLType Int

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Int :: GQL_KIND

type CUSTOM Int :: Bool

Methods

description :: Proxy Int -> Maybe Text

__typeName :: Proxy Int -> Text

__typeFingerprint :: Proxy Int -> DataFingerprint

GQLType ()

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND () :: GQL_KIND

type CUSTOM () :: Bool

Methods

description :: Proxy () -> Maybe Text

__typeName :: Proxy () -> Text

__typeFingerprint :: Proxy () -> DataFingerprint

GQLType Text

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Text :: GQL_KIND

type CUSTOM Text :: Bool

Methods

description :: Proxy Text -> Maybe Text

__typeName :: Proxy Text -> Text

__typeFingerprint :: Proxy Text -> DataFingerprint

GQLType ID

Defined in Data.Morpheus.Types.ID

Associated Types

type KIND ID :: GQL_KIND

type CUSTOM ID :: Bool

Methods

description :: Proxy ID -> Maybe Text

__typeName :: Proxy ID -> Text

__typeFingerprint :: Proxy ID -> DataFingerprint

GQLType a => GQLType [a]

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND [a] :: GQL_KIND

type CUSTOM [a] :: Bool

Methods

description :: Proxy [a] -> Maybe Text

__typeName :: Proxy [a] -> Text

__typeFingerprint :: Proxy [a] -> DataFingerprint

GQLType a => GQLType (Maybe a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Maybe a) :: GQL_KIND

type CUSTOM (Maybe a) :: Bool

Methods

description :: Proxy (Maybe a) -> Maybe Text

__typeName :: Proxy (Maybe a) -> Text

__typeFingerprint :: Proxy (Maybe a) -> DataFingerprint

GQLType a => GQLType (Set a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Set a) :: GQL_KIND

type CUSTOM (Set a) :: Bool

Methods

description :: Proxy (Set a) -> Maybe Text

__typeName :: Proxy (Set a) -> Text

__typeFingerprint :: Proxy (Set a) -> DataFingerprint

Typeable m => GQLType (Undefined m)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Undefined m) :: GQL_KIND

type CUSTOM (Undefined m) :: Bool

Methods

description :: Proxy (Undefined m) -> Maybe Text

__typeName :: Proxy (Undefined m) -> Text

__typeFingerprint :: Proxy (Undefined m) -> DataFingerprint

GQLType b => GQLType (a -> b)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (a -> b) :: GQL_KIND

type CUSTOM (a -> b) :: Bool

Methods

description :: Proxy (a -> b) -> Maybe Text

__typeName :: Proxy (a -> b) -> Text

__typeFingerprint :: Proxy (a -> b) -> DataFingerprint

GQLType a => GQLType (Either s a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Either s a) :: GQL_KIND

type CUSTOM (Either s a) :: Bool

Methods

description :: Proxy (Either s a) -> Maybe Text

__typeName :: Proxy (Either s a) -> Text

__typeFingerprint :: Proxy (Either s a) -> DataFingerprint

(Typeable a, Typeable b, GQLType a, GQLType b) => GQLType (a, b)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (a, b) :: GQL_KIND

type CUSTOM (a, b) :: Bool

Methods

description :: Proxy (a, b) -> Maybe Text

__typeName :: Proxy (a, b) -> Text

__typeFingerprint :: Proxy (a, b) -> DataFingerprint

(Typeable k, Typeable v) => GQLType (Map k v)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Map k v) :: GQL_KIND

type CUSTOM (Map k v) :: Bool

Methods

description :: Proxy (Map k v) -> Maybe Text

__typeName :: Proxy (Map k v) -> Text

__typeFingerprint :: Proxy (Map k v) -> DataFingerprint

GQLType a => GQLType (Resolver o e m a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Resolver o e m a) :: GQL_KIND

type CUSTOM (Resolver o e m a) :: Bool

Methods

description :: Proxy (Resolver o e m a) -> Maybe Text

__typeName :: Proxy (Resolver o e m a) -> Text

__typeFingerprint :: Proxy (Resolver o e m a) -> DataFingerprint

class GQLScalar a where

GraphQL Scalar

parseValue and serialize should be provided for every instances manually

Methods

parseValue :: ScalarValue -> Either Text a

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

serialization of haskell type into scalar value

Instances

GQLScalar Bool

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Bool

serialize :: Bool -> ScalarValue

scalarValidator :: Proxy Bool -> DataValidator

GQLScalar Float

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Float

serialize :: Float -> ScalarValue

scalarValidator :: Proxy Float -> DataValidator

GQLScalar Int

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Int

serialize :: Int -> ScalarValue

scalarValidator :: Proxy Int -> DataValidator

GQLScalar Text

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Text

serialize :: Text -> ScalarValue

scalarValidator :: Proxy Text -> DataValidator

GQLScalar ID

Defined in Data.Morpheus.Types.ID

Methods

parseValue :: ScalarValue -> Either Text ID

serialize :: ID -> ScalarValue

scalarValidator :: Proxy ID -> DataValidator

data GQLRequest

GraphQL HTTP Request Body

Constructors

GQLRequest

Fields

• query :: Key
• operationName :: Maybe Key
• variables :: Maybe Value

Instances

Show GQLRequest

Defined in Data.Morpheus.Types.IO

Methods

showsPrec :: Int -> GQLRequest -> ShowS

show :: GQLRequest -> String

showList :: [GQLRequest] -> ShowS

Generic GQLRequest

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

Defined in Data.Morpheus.Types.IO

Methods

toJSON :: GQLRequest -> Value

toEncoding :: GQLRequest -> Encoding

toJSONList :: [GQLRequest] -> Value

toEncodingList :: [GQLRequest] -> Encoding

FromJSON GQLRequest

Defined in Data.Morpheus.Types.IO

Methods

parseJSON :: Value -> Parser GQLRequest

parseJSONList :: Value -> Parser [GQLRequest]

Interpreter (GQLRequest -> m GQLResponse) m e

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

type Rep GQLRequest

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

GraphQL Response

Constructors

Data Value

Errors [GQLError]

Instances

Show GQLResponse

Defined in Data.Morpheus.Types.IO

Methods

showsPrec :: Int -> GQLResponse -> ShowS

show :: GQLResponse -> String

showList :: [GQLResponse] -> ShowS

Generic GQLResponse

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

Defined in Data.Morpheus.Types.IO

Methods

toJSON :: GQLResponse -> Value

toEncoding :: GQLResponse -> Encoding

toJSONList :: [GQLResponse] -> Value

toEncodingList :: [GQLResponse] -> Encoding

FromJSON GQLResponse

Defined in Data.Morpheus.Types.IO

Methods

parseJSON :: Value -> Parser GQLResponse

parseJSONList :: Value -> Parser [GQLResponse]

Interpreter (GQLRequest -> m GQLResponse) m e

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

type Rep GQLResponse

Defined in Data.Morpheus.Types.IO

type Rep GQLResponse

newtype ID

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

Constructors

ID

Fields

• unpackID :: Text

Instances

Show ID

Defined in Data.Morpheus.Types.ID

Methods

showsPrec :: Int -> ID -> ShowS

show :: ID -> String

showList :: [ID] -> ShowS

Generic ID

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

Defined in Data.Morpheus.Types.ID

Methods

parseValue :: ScalarValue -> Either Text ID

serialize :: ID -> ScalarValue

scalarValidator :: Proxy ID -> DataValidator

GQLType ID

Defined in Data.Morpheus.Types.ID

Associated Types

type KIND ID :: GQL_KIND

type CUSTOM ID :: Bool

Methods

description :: Proxy ID -> Maybe Text

__typeName :: Proxy ID -> Text

__typeFingerprint :: Proxy ID -> DataFingerprint

type Rep ID

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

Defined in Data.Morpheus.Types.ID

type KIND ID = SCALAR

data ScalarValue

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

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

showsPrec :: Int -> ScalarValue -> ShowS

show :: ScalarValue -> String

showList :: [ScalarValue] -> ShowS

Generic ScalarValue

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

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

lift :: ScalarValue -> Q Exp

ToJSON ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

toJSON :: ScalarValue -> Value

toEncoding :: ScalarValue -> Encoding

toJSONList :: [ScalarValue] -> Value

toEncodingList :: [ScalarValue] -> Encoding

FromJSON ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

parseJSON :: Value -> Parser ScalarValue

parseJSONList :: Value -> Parser [ScalarValue]

type Rep ScalarValue

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 :: (* -> *) -> *)

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

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

data Undefined (m :: * -> *)

Constructors

Undefined

Instances

Show (Undefined m)

Defined in Data.Morpheus.Types.Types

Methods

showsPrec :: Int -> Undefined m -> ShowS

show :: Undefined m -> String

showList :: [Undefined m] -> ShowS

Generic (Undefined m)

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)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Undefined m) :: GQL_KIND

type CUSTOM (Undefined m) :: Bool

Methods

description :: Proxy (Undefined m) -> Maybe Text

__typeName :: Proxy (Undefined m) -> Text

__typeFingerprint :: Proxy (Undefined m) -> DataFingerprint

type Rep (Undefined m)

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)

Defined in Data.Morpheus.Types.GQLType

type KIND (Undefined m) = WRAPPER

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

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)

Defined in Data.Morpheus.Types.Internal.Resolving.Resolver

Methods

lift :: Monad m => m a -> Resolver MUTATION e m a

MonadTrans (Resolver QUERY e)

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)

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)

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)

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)

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)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Resolver o e m a) :: GQL_KIND

type CUSTOM (Resolver o e m a) :: Bool

Methods

description :: Proxy (Resolver o e m a) -> Maybe Text

__typeName :: Proxy (Resolver o e m a) -> Text

__typeFingerprint :: Proxy (Resolver o e m a) -> DataFingerprint

type KIND (Resolver o e m a)

Defined in Data.Morpheus.Types.GQLType

type KIND (Resolver o e m a) = WRAPPER

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

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

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))