Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Core

Synopsis

parseDSL :: ByteString -> Either String (Schema VALID)
parseFullGQLDocument :: ByteString -> Eventless (Schema VALID)
parseGQLDocument :: ByteString -> Eventless (Schema VALID)
parseTypeSystemDefinition :: ByteString -> Eventless (Schema VALID)
parseTypeDefinitions :: ByteString -> Eventless [TypeDefinition ANY CONST]
validateRequest :: Config -> Schema VALID -> GQLQuery -> Eventless (Operation VALID)
parseRequestWith :: Config -> Schema VALID -> GQLRequest -> Eventless (Operation VALID)
validateSchema :: ValidateSchema s => Bool -> Config -> Schema s -> Eventless (Schema VALID)
parseRequest :: GQLRequest -> Eventless GQLQuery
class SelectionTree nodeType where
- isLeaf :: nodeType -> Bool
- getChildrenList :: nodeType -> [nodeType]
- getName :: IsString name => nodeType -> name
data Config = Config {
- debug :: Bool
- validationMode :: VALIDATION_MODE
}
data VALIDATION_MODE
- = WITHOUT_VARIABLES
- | FULL_VALIDATION
defaultConfig :: Config
debugConfig :: Config
data App event (m :: * -> *)
- = App {
  - app :: AppData event m VALID
  }
- | FailApp {
  - appErrors :: GQLErrors
  }
data AppData event (m :: * -> *) s = AppData {
- appConfig :: Config
- appResolvers :: RootResModel event m
- appSchema :: Schema s
}
runApp :: (MapAPI a b, Monad m) => App e m -> a -> m b
withDebugger :: App e m -> App e m
mkApp :: ValidateSchema s => Schema s -> RootResModel e m -> App e m
runAppStream :: Monad m => App event m -> GQLRequest -> ResponseStream event m (Value VALID)
render :: RenderGQL a => a -> ByteString
class RenderGQL a

Documentation

parseDSL :: ByteString -> Either String (Schema VALID) Source #

parseFullGQLDocument :: ByteString -> Eventless (Schema VALID) Source #

parseGQLDocument :: ByteString -> Eventless (Schema VALID) Source #

parseTypeSystemDefinition :: ByteString -> Eventless (Schema VALID) Source #

parseTypeDefinitions :: ByteString -> Eventless [TypeDefinition ANY CONST] Source #

validateRequest :: Config -> Schema VALID -> GQLQuery -> Eventless (Operation VALID) Source #

parseRequestWith :: Config -> Schema VALID -> GQLRequest -> Eventless (Operation VALID) Source #

validateSchema :: ValidateSchema s => Bool -> Config -> Schema s -> Eventless (Schema VALID) Source #

parseRequest :: GQLRequest -> Eventless GQLQuery Source #

class SelectionTree nodeType where Source #

The SelectionTree instance is a simple interface for interacting with morpheus's internal AST while keeping the ability to safely change the concrete representation of the AST. The set of operation is very limited on purpose.

Methods

isLeaf :: nodeType -> Bool Source #

leaf test: is the list of children empty?

getChildrenList :: nodeType -> [nodeType] Source #

Get the children

getName :: IsString name => nodeType -> name Source #

get a node's name

Instances

Instances details

SelectionTree (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree Methods isLeaf :: Selection VALID -> Bool Source # getChildrenList :: Selection VALID -> [Selection VALID] Source # getName :: IsString name => Selection VALID -> name Source #

data Config Source #

Constructors

Config
Fields debug :: Bool validationMode :: VALIDATION_MODE

Instances

Instances details

Show Config Source #
Instance details Defined in Data.Morpheus.Types.Internal.Config Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #

data VALIDATION_MODE Source #

Constructors

WITHOUT_VARIABLES
FULL_VALIDATION

Instances

Instances details

Eq VALIDATION_MODE Source #
Instance details Defined in Data.Morpheus.Types.Internal.Config Methods (==) :: VALIDATION_MODE -> VALIDATION_MODE -> Bool # (/=) :: VALIDATION_MODE -> VALIDATION_MODE -> Bool #
Show VALIDATION_MODE Source #
Instance details Defined in Data.Morpheus.Types.Internal.Config Methods showsPrec :: Int -> VALIDATION_MODE -> ShowS # show :: VALIDATION_MODE -> String # showList :: [VALIDATION_MODE] -> ShowS #

defaultConfig :: Config Source #

debugConfig :: Config Source #

data App event (m :: * -> *) Source #

Constructors

App
Fields app :: AppData event m VALID
FailApp
Fields appErrors :: GQLErrors

Instances

Instances details

Monad m => Semigroup (App e m) Source #
Instance details Defined in Data.Morpheus.Types.App Methods (<>) :: App e m -> App e m -> App e m # sconcat :: NonEmpty (App e m) -> App e m # stimes :: Integral b => b -> App e m -> App e m #
RenderGQL (App e m) Source #
Instance details Defined in Data.Morpheus.Types.App Methods render :: App e m -> Rendering

data AppData event (m :: * -> *) s Source #

Constructors

AppData
Fields appConfig :: Config appResolvers :: RootResModel event m appSchema :: Schema s

Instances

Instances details

RenderGQL (AppData e m s) Source #
Instance details Defined in Data.Morpheus.Types.App Methods render :: AppData e m s -> Rendering

runApp :: (MapAPI a b, Monad m) => App e m -> a -> m b Source #

withDebugger :: App e m -> App e m Source #

mkApp :: ValidateSchema s => Schema s -> RootResModel e m -> App e m Source #

runAppStream :: Monad m => App event m -> GQLRequest -> ResponseStream event m (Value VALID) Source #

render :: RenderGQL a => a -> ByteString Source #

class RenderGQL a Source #

Minimal complete definition

render

Instances

Instances details

RenderGQL Bool Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: Bool -> Rendering
RenderGQL Float Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: Float -> Rendering
RenderGQL Int Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: Int -> Rendering
RenderGQL ByteString Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: ByteString -> Rendering
RenderGQL Text Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: Text -> Rendering
RenderGQL Value Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: Value -> Rendering
RenderGQL TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeKind -> Rendering
RenderGQL TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeRef -> Rendering
RenderGQL OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: OperationType -> Rendering
RenderGQL TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeName -> Rendering
RenderGQL FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: FieldName -> Rendering
RenderGQL ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: ScalarValue -> Rendering
RenderGQL RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: RootOperationTypeDefinition -> Rendering
RenderGQL SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: SchemaDefinition -> Rendering
RenderGQL UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: UnionTag -> Rendering
RenderGQL a => RenderGQL (Maybe a) Source #
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods render :: Maybe a -> Rendering
RenderGQL (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: ObjectEntry a -> Rendering
RenderGQL (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: Value a -> Rendering
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: ArgumentsDefinition s -> Rendering
RenderGQL (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: Directive s -> Rendering
RenderGQL (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: Argument s -> Rendering
RenderGQL (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: Schema s -> Rendering
RenderGQL (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: DataEnumValue s -> Rendering
RenderGQL (Operation VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: Operation VALID -> Rendering
RenderGQL (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: Selection VALID -> Rendering
RenderGQL (SelectionContent VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: SelectionContent VALID -> Rendering
RenderGQL (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: FieldDefinition cat s -> Rendering
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: FieldsDefinition cat s -> Rendering
RenderGQL (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: TypeDefinition a s -> Rendering
RenderGQL (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: UnionMember cat s -> Rendering
RenderGQL (App e m) Source #
Instance details Defined in Data.Morpheus.Types.App Methods render :: App e m -> Rendering
RenderGQL (AppData e m s) Source #
Instance details Defined in Data.Morpheus.Types.App Methods render :: AppData e m s -> Rendering