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 :: Text -> Eventless (Schema VALID)
parseTypeDefinitions :: Text -> 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 RenderGQL a where
- render :: a -> Rendering
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)

Documentation

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

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

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

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

parseTypeDefinitions :: Text -> 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 RenderGQL a where Source #

Methods

render :: a -> Rendering Source #

Instances

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

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

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

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

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 Source #

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

Constructors

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

Instances

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

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 #