Data.Morpheus.Core

Documentation

data Config

Constructors

Config

Fields

• debug :: Bool
• validationMode :: VALIDATION_MODE

Instances

Show Config

Defined in Data.Morpheus.Types.Internal.Config

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

class RenderGQL a where

Methods

renderGQL :: a -> Rendering

Instances

RenderGQL Value

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Value -> Rendering

RenderGQL ByteString

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: ByteString -> Rendering

RenderGQL DirectiveLocation

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

Methods

renderGQL :: DirectiveLocation -> Rendering

RenderGQL OperationType

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

Methods

renderGQL :: OperationType -> Rendering

RenderGQL UnionTag

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

Methods

renderGQL :: UnionTag -> Rendering

RenderGQL TypeKind

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

Methods

renderGQL :: TypeKind -> Rendering

RenderGQL TypeRef

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

Methods

renderGQL :: TypeRef -> Rendering

RenderGQL RootOperationTypeDefinition

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

Methods

renderGQL :: RootOperationTypeDefinition -> Rendering

RenderGQL SchemaDefinition

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

Methods

renderGQL :: SchemaDefinition -> Rendering

RenderGQL ScalarValue

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

Methods

renderGQL :: ScalarValue -> Rendering

RenderGQL Text

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Text -> Rendering

RenderGQL Bool

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Bool -> Rendering

RenderGQL Double

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Double -> Rendering

RenderGQL Float

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Float -> Rendering

RenderGQL Int

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Int -> Rendering

RenderGQL (Argument s)

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

Methods

renderGQL :: Argument s -> Rendering

RenderGQL (ArgumentDefinition s)

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

Methods

renderGQL :: ArgumentDefinition s -> Rendering

RenderGQL (ArgumentsDefinition s)

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

Methods

renderGQL :: ArgumentsDefinition s -> Rendering

RenderGQL (Directive s)

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

Methods

renderGQL :: Directive s -> Rendering

RenderGQL (DirectiveDefinition s)

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

Methods

renderGQL :: DirectiveDefinition s -> Rendering

RenderGQL (Directives s)

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

Methods

renderGQL :: Directives s -> Rendering

RenderGQL (Name a)

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

Methods

renderGQL :: Name a -> Rendering

RenderGQL (Operation VALID)

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

Methods

renderGQL :: Operation VALID -> Rendering

RenderGQL (Selection VALID)

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

Methods

renderGQL :: Selection VALID -> Rendering

RenderGQL (SelectionContent VALID)

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

Methods

renderGQL :: SelectionContent VALID -> Rendering

RenderGQL (DataEnumValue s)

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

Methods

renderGQL :: DataEnumValue s -> Rendering

RenderGQL (Schema s)

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

Methods

renderGQL :: Schema s -> Rendering

RenderGQL (ObjectEntry a)

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

Methods

renderGQL :: ObjectEntry a -> Rendering

RenderGQL (Value a)

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

Methods

renderGQL :: Value a -> Rendering

RenderGQL a => RenderGQL (Maybe a)

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Maybe a -> Rendering

(RenderGQL l, RenderGQL r) => RenderGQL (Either l r)

Defined in Data.Morpheus.Rendering.RenderGQL

Methods

renderGQL :: Either l r -> Rendering

RenderGQL (FieldDefinition cat s)

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

Methods

renderGQL :: FieldDefinition cat s -> Rendering

RenderGQL (FieldsDefinition cat s)

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

Methods

renderGQL :: FieldsDefinition cat s -> Rendering

RenderGQL (TypeDefinition a s)

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

Methods

renderGQL :: TypeDefinition a s -> Rendering

RenderGQL (UnionMember cat s)

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

Methods

renderGQL :: UnionMember cat s -> Rendering

class SelectionTree node where

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.

Minimal complete definition

isLeaf, getName, getChildren, getChild, getArguments, getArgument

Associated Types

type ChildNode node :: Type

Methods

isLeaf :: node -> Bool

leaf test: is the list of children empty?

getName :: IsString name => node -> name

get a node's name (real name. not alias)

getChildrenList :: node -> [ChildNode node]

Get the children

getChildren :: node -> [ChildNode node]

get the child nodes

getChild :: ToString name => name -> node -> Maybe (ChildNode node)

lookup child node by name (does not use aliases)

hasChild :: ToString name => name -> node -> Bool

checks if the node has a child with the specified name (does not use aliases)

getArguments :: IsString name => node -> [(name, Value)]

get node arguments (as aeson values)

getArgument :: ToString name => name -> node -> Maybe Value

get node argument by name (as aeson values)

Instances

SelectionTree (Operation VALID)

Defined in Data.Morpheus.Types.SelectionTree

Associated Types

type ChildNode (Operation VALID)

Methods

isLeaf :: Operation VALID -> Bool

getName :: IsString name => Operation VALID -> name

getChildrenList :: Operation VALID -> [ChildNode (Operation VALID)]

getChildren :: Operation VALID -> [ChildNode (Operation VALID)]

getChild :: ToString name => name -> Operation VALID -> Maybe (ChildNode (Operation VALID))

hasChild :: ToString name => name -> Operation VALID -> Bool

getArguments :: IsString name => Operation VALID -> [(name, Value)]

getArgument :: ToString name => name -> Operation VALID -> Maybe Value

SelectionTree (Selection VALID)

Defined in Data.Morpheus.Types.SelectionTree

Associated Types

type ChildNode (Selection VALID)

Methods

isLeaf :: Selection VALID -> Bool

getName :: IsString name => Selection VALID -> name

getChildrenList :: Selection VALID -> [ChildNode (Selection VALID)]

getChildren :: Selection VALID -> [ChildNode (Selection VALID)]

getChild :: ToString name => name -> Selection VALID -> Maybe (ChildNode (Selection VALID))

hasChild :: ToString name => name -> Selection VALID -> Bool

getArguments :: IsString name => Selection VALID -> [(name, Value)]

getArgument :: ToString name => name -> Selection VALID -> Maybe Value

data VALIDATION_MODE

Constructors

WITHOUT_VARIABLES

FULL_VALIDATION

Instances

Show VALIDATION_MODE

Defined in Data.Morpheus.Types.Internal.Config

Methods

showsPrec :: Int -> VALIDATION_MODE -> ShowS

show :: VALIDATION_MODE -> String

showList :: [VALIDATION_MODE] -> ShowS

Eq VALIDATION_MODE

Defined in Data.Morpheus.Types.Internal.Config

Methods

(==) :: VALIDATION_MODE -> VALIDATION_MODE -> Bool

(/=) :: VALIDATION_MODE -> VALIDATION_MODE -> Bool

class ValidateSchema s where

Methods

validateSchema :: Bool -> Config -> Schema s -> GQLResult (Schema VALID)

Instances

ValidateSchema CONST

Defined in Data.Morpheus.Validation.Document.Validation

Methods

validateSchema :: Bool -> Config -> Schema CONST -> GQLResult (Schema VALID)

ValidateSchema VALID

Defined in Data.Morpheus.Validation.Document.Validation

Methods

validateSchema :: Bool -> Config -> Schema VALID -> GQLResult (Schema VALID)

debugConfig :: Config

defaultConfig :: Config

internalSchema :: Schema s

parseFullSchema :: ByteString -> GQLResult (Schema VALID)

parseRequest :: GQLRequest -> GQLResult ExecutableDocument

parseRequestWith :: Config -> Schema VALID -> GQLRequest -> GQLResult (Operation VALID)

parseSchema :: ByteString -> GQLResult (Schema VALID)

parseTypeDefinitions :: ByteString -> GQLResult [TypeDefinition ANY CONST]

render :: RenderGQL a => a -> ByteString

validateRequest :: Config -> Schema VALID -> ExecutableDocument -> GQLResult (Operation VALID)

parseDefinitions :: ByteString -> GQLResult [RawTypeDefinition]