Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Client

Synopsis

gql :: QuasiQuoter
class Fetch a where
- type Args a :: *
- __fetch :: (Monad m, Show a, ToJSON (Args a), FromJSON a) => String -> FieldName -> (ByteString -> m ByteString) -> Args a -> m (Either (FetchError a) a)
- fetch :: (Monad m, FromJSON a) => (ByteString -> m ByteString) -> Args a -> m (Either (FetchError a) a)
data FetchError a
- = FetchErrorParseFailure String
- | FetchErrorProducedErrors GQLErrors (Maybe a)
- | FetchErrorNoResult
defineQuery :: IO (GQLResult (Schema VALID)) -> (ExecutableDocument, String) -> Q [Dec]
defineByDocument :: IO ByteString -> (ExecutableDocument, String) -> Q [Dec]
defineByDocumentFile :: FilePath -> (ExecutableDocument, String) -> Q [Dec]
defineByDocumentFile' :: Q FilePath -> (ExecutableDocument, String) -> Q [Dec]
defineByIntrospection :: IO ByteString -> (ExecutableDocument, String) -> Q [Dec]
defineByIntrospectionFile :: FilePath -> (ExecutableDocument, String) -> Q [Dec]
defineByIntrospectionFile' :: Q FilePath -> (ExecutableDocument, String) -> Q [Dec]
data ScalarValue
- = Int Int
- | Float Double
- | String Text
- | Boolean Bool
- | Value Value
class DecodeScalar a where
- decodeScalar :: ScalarValue -> Either Text a
class EncodeScalar a where
- encodeScalar :: a -> ScalarValue
newtype ID = ID {
- unpackID :: Text
}

Documentation

gql :: QuasiQuoter #

class Fetch a where Source #

Minimal complete definition

fetch

Associated Types

type Args a :: * Source #

Methods

__fetch :: (Monad m, Show a, ToJSON (Args a), FromJSON a) => String -> FieldName -> (ByteString -> m ByteString) -> Args a -> m (Either (FetchError a) a) Source #

fetch :: (Monad m, FromJSON a) => (ByteString -> m ByteString) -> Args a -> m (Either (FetchError a) a) Source #

data FetchError a Source #

Constructors

FetchErrorParseFailure String
FetchErrorProducedErrors GQLErrors (Maybe a)
FetchErrorNoResult

Instances

Instances details

Eq a => Eq (FetchError a) Source #
Instance details Defined in Data.Morpheus.Client.Internal.Types Methods (==) :: FetchError a -> FetchError a -> Bool # (/=) :: FetchError a -> FetchError a -> Bool #
Show a => Show (FetchError a) Source #
Instance details Defined in Data.Morpheus.Client.Internal.Types Methods showsPrec :: Int -> FetchError a -> ShowS # show :: FetchError a -> String # showList :: [FetchError a] -> ShowS #
Generic (FetchError a) Source #
Instance details Defined in Data.Morpheus.Client.Internal.Types Associated Types type Rep (FetchError a) :: Type -> Type # Methods from :: FetchError a -> Rep (FetchError a) x # to :: Rep (FetchError a) x -> FetchError a #
type Rep (FetchError a) Source #
Instance details Defined in Data.Morpheus.Client.Internal.Types type Rep (FetchError a) = D1 ('MetaData "FetchError" "Data.Morpheus.Client.Internal.Types" "morpheus-graphql-client-0.19.0-EYslOqez6Vc30OSACCLvYA" 'False) (C1 ('MetaCons "FetchErrorParseFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "FetchErrorProducedErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GQLErrors) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :+: C1 ('MetaCons "FetchErrorNoResult" 'PrefixI 'False) (U1 :: Type -> Type)))

defineQuery :: IO (GQLResult (Schema VALID)) -> (ExecutableDocument, String) -> Q [Dec] Source #

defineByDocument :: IO ByteString -> (ExecutableDocument, String) -> Q [Dec] Source #

defineByDocumentFile :: FilePath -> (ExecutableDocument, String) -> Q [Dec] Source #

defineByDocumentFile' :: Q FilePath -> (ExecutableDocument, String) -> Q [Dec] Source #

This variant exposes 'Q FilePath' enabling the use of TH to generate the FilePath. For example, https://hackage.haskell.org/package/file-embed-0.0.13.0/docs/Data-FileEmbed.html#v:makeRelativeToProject can be used to handle multi package projects more reliably.

defineByIntrospection :: IO ByteString -> (ExecutableDocument, String) -> Q [Dec] Source #

defineByIntrospectionFile :: FilePath -> (ExecutableDocument, String) -> Q [Dec] Source #

defineByIntrospectionFile' :: Q FilePath -> (ExecutableDocument, String) -> Q [Dec] Source #

This variant exposes 'Q FilePath' enabling the use of TH to generate the FilePath. For example, https://hackage.haskell.org/package/file-embed-0.0.13.0/docs/Data-FileEmbed.html#v:makeRelativeToProject can be used to handle multi package projects more reliably.

data ScalarValue #

Primitive Values for GQLScalar: Int, Float, String, Boolean. for performance reason type Text represents GraphQl String value

Constructors

Int Int
Float Double
String Text
Boolean Bool
Value Value

Instances

Instances details

Eq ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: ScalarValue -> ScalarValue -> Bool # (/=) :: ScalarValue -> ScalarValue -> Bool #
Show ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ScalarValue -> ShowS # show :: ScalarValue -> String # showList :: [ScalarValue] -> ShowS #
IsString ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods fromString :: String -> ScalarValue #
Generic ScalarValue
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 #
ToJSON ScalarValue
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
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value -> Parser ScalarValue # parseJSONList :: Value -> Parser [ScalarValue] #
RenderGQL ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ScalarValue -> Rendering #
Lift ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ScalarValue -> Q Exp # liftTyped :: ScalarValue -> Q (TExp ScalarValue) #
type Rep ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type Rep ScalarValue = D1 ('MetaData "ScalarValue" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-core-0.19.0-EBWBRiRE3CU8uB9glHsHGH" '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 Double))) :+: (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)) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

class DecodeScalar a where #

GraphQL Scalar parser

Methods

decodeScalar :: ScalarValue -> Either Text a #

Instances

Instances details

DecodeScalar Bool
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Bool #
DecodeScalar Double
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Double #
DecodeScalar Float
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Float #
DecodeScalar Int
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Int #
DecodeScalar Text
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Text #
DecodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods decodeScalar :: ScalarValue -> Either Text ID #

class EncodeScalar a where #

GraphQL Scalar Serializer

Methods

encodeScalar :: a -> ScalarValue #

Instances

Instances details

EncodeScalar Bool
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Bool -> ScalarValue #
EncodeScalar Double
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Double -> ScalarValue #
EncodeScalar Float
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Float -> ScalarValue #
EncodeScalar Int
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Int -> ScalarValue #
EncodeScalar Text
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Text -> ScalarValue #
EncodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods encodeScalar :: ID -> ScalarValue #

newtype ID #

default GraphQL type, parses only String and Int values, serialized always as String

Constructors

ID
Fields unpackID :: Text

Instances

Instances details

Eq ID
Instance details Defined in Data.Morpheus.Types.ID Methods (==) :: ID -> ID -> Bool # (/=) :: ID -> ID -> Bool #
Show ID
Instance details Defined in Data.Morpheus.Types.ID Methods showsPrec :: Int -> ID -> ShowS # show :: ID -> String # showList :: [ID] -> ShowS #
IsString ID
Instance details Defined in Data.Morpheus.Types.ID Methods fromString :: String -> ID #
Generic ID
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 #
Semigroup ID
Instance details Defined in Data.Morpheus.Types.ID Methods (<>) :: ID -> ID -> ID # sconcat :: NonEmpty ID -> ID # stimes :: Integral b => b -> ID -> ID #
Hashable ID
Instance details Defined in Data.Morpheus.Types.ID Methods hashWithSalt :: Int -> ID -> Int # hash :: ID -> Int #
ToJSON ID
Instance details Defined in Data.Morpheus.Types.ID Methods toJSON :: ID -> Value # toEncoding :: ID -> Encoding # toJSONList :: [ID] -> Value # toEncodingList :: [ID] -> Encoding #
FromJSON ID
Instance details Defined in Data.Morpheus.Types.ID Methods parseJSON :: Value -> Parser ID # parseJSONList :: Value -> Parser [ID] #
EncodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods encodeScalar :: ID -> ScalarValue #
DecodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods decodeScalar :: ScalarValue -> Either Text ID #
type Rep ID
Instance details Defined in Data.Morpheus.Types.ID type Rep ID = D1 ('MetaData "ID" "Data.Morpheus.Types.ID" "morpheus-graphql-core-0.19.0-EBWBRiRE3CU8uB9glHsHGH" 'True) (C1 ('MetaCons "ID" 'PrefixI 'True) (S1 ('MetaSel ('Just "unpackID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))