Data.Morpheus.Internal.Utils

Documentation

capital :: Token -> Token

nonCapital :: TypeName -> Token

nameSpaceField :: TypeName -> FieldName -> FieldName

nameSpaceType :: [FieldName] -> TypeName -> TypeName

capitalTypeName :: FieldName -> TypeName

class Collection a coll | coll -> a where

Methods

empty :: coll

singleton :: a -> coll

Instances

Collection a [a]

Defined in Data.Morpheus.Internal.Utils

Methods

empty :: [a]

singleton :: a -> [a]

KeyOf FieldName def => Collection def (Fields def)

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

Methods

empty :: Fields def

singleton :: def -> Fields def

KeyOf k v => Collection v (HashMap k v)

Defined in Data.Morpheus.Internal.Utils

Methods

empty :: HashMap k v

singleton :: v -> HashMap k v

(KeyOf k a, Hashable k) => Collection a (OrdMap k a)

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

Methods

empty :: OrdMap k a

singleton :: a -> OrdMap k a

Collection (ArgumentDefinition s) (ArgumentsDefinition s)

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

Methods

empty :: ArgumentsDefinition s

singleton :: ArgumentDefinition s -> ArgumentsDefinition s

class Selectable k a c | c -> a where

Methods

selectOr :: d -> (a -> d) -> k -> c -> d

Instances

Selectable OperationType RootOperationTypeDefinition SchemaDefinition

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

Methods

selectOr :: d -> (RootOperationTypeDefinition -> d) -> OperationType -> SchemaDefinition -> d

KeyOf k a => Selectable k a [a]

Defined in Data.Morpheus.Internal.Utils

Methods

selectOr :: d -> (a -> d) -> k -> [a] -> d

KeyOf k a => Selectable k a (HashMap k a)

Defined in Data.Morpheus.Internal.Utils

Methods

selectOr :: d -> (a -> d) -> k -> HashMap k a -> d

(Eq k, Hashable k) => Selectable k a (OrdMap k a)

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

Methods

selectOr :: d -> (a -> d) -> k -> OrdMap k a -> d

Selectable FieldName (ArgumentDefinition s) (ArgumentsDefinition s)

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

Methods

selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> ArgumentsDefinition s -> d

Selectable FieldName (ArgumentDefinition s) (DirectiveDefinition s)

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

Methods

selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> DirectiveDefinition s -> d

Selectable FieldName (ArgumentDefinition s) (FieldDefinition OUT s)

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

Methods

selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> FieldDefinition OUT s -> d

Selectable TypeName (TypeDefinition ANY s) (Schema s)

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

Methods

selectOr :: d -> (TypeDefinition ANY s -> d) -> TypeName -> Schema s -> d

Selectable FieldName (FieldDefinition cat s) (Fields (FieldDefinition cat s))

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

Methods

selectOr :: d -> (FieldDefinition cat s -> d) -> FieldName -> Fields (FieldDefinition cat s) -> d

class Listable a coll | coll -> a where

Methods

elems :: coll -> [a]

fromElems :: (Monad m, Failure ValidationErrors m) => [a] -> m coll

Instances

(KeyOf FieldName def, NameCollision def) => Listable def (Fields def)

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

Methods

elems :: Fields def -> [def]

fromElems :: (Monad m, Failure ValidationErrors m) => [def] -> m (Fields def)

(NameCollision a, KeyOf k a) => Listable a (HashMap k a)

Defined in Data.Morpheus.Internal.Utils

Methods

elems :: HashMap k a -> [a]

fromElems :: (Monad m, Failure ValidationErrors m) => [a] -> m (HashMap k a)

(NameCollision a, KeyOf k a, Hashable k) => Listable a (OrdMap k a)

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

Methods

elems :: OrdMap k a -> [a]

fromElems :: (Monad m, Failure ValidationErrors m) => [a] -> m (OrdMap k a)

Listable (ArgumentDefinition s) (ArgumentsDefinition s)

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

Methods

elems :: ArgumentsDefinition s -> [ArgumentDefinition s]

fromElems :: (Monad m, Failure ValidationErrors m) => [ArgumentDefinition s] -> m (ArgumentsDefinition s)

Listable (TypeDefinition ANY s) (Schema s)

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

Methods

elems :: Schema s -> [TypeDefinition ANY s]

fromElems :: (Monad m, Failure ValidationErrors m) => [TypeDefinition ANY s] -> m (Schema s)

class Merge a where

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> a -> a -> m a

Instances

Merge UnionTag

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

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> UnionTag -> UnionTag -> m UnionTag

Merge (Schema s)

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

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> Schema s -> Schema s -> m (Schema s)

Merge (SelectionSet a) => Merge (Selection a)

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

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> Selection a -> Selection a -> m (Selection a)

Merge (SelectionSet s) => Merge (SelectionContent s)

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

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> SelectionContent s -> SelectionContent s -> m (SelectionContent s)

(NameCollision a, KeyOf k a) => Merge (HashMap k a)

Defined in Data.Morpheus.Internal.Utils

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> HashMap k a -> HashMap k a -> m (HashMap k a)

(NameCollision a, KeyOf k a) => Merge (OrdMap k a)

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

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> OrdMap k a -> OrdMap k a -> m (OrdMap k a)

Merge (FieldsDefinition cat s)

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

Methods

merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> FieldsDefinition cat s -> FieldsDefinition cat s -> m (FieldsDefinition cat s)

class Applicative f => Failure error (f :: * -> *) where

Methods

failure :: error -> f v

Instances

Failure error (Either error)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: error -> Either error v

Monad m => Failure GQLErrors (ResultT event m)

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

Methods

failure :: GQLErrors -> ResultT event m v

(Monad m, Failure errors m) => Failure errors (ReaderT ctx m)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: errors -> ReaderT ctx m v

(LiftOperation o, Monad m) => Failure GQLErrors (Resolver o e m)

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

Methods

failure :: GQLErrors -> Resolver o e m v

(Stream s, Ord e, Failure GQLErrors m) => Failure ValidationErrors (ParsecT e s m)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: ValidationErrors -> ParsecT e s m v

(LiftOperation o, Monad m) => Failure Message (Resolver o e m)

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

Methods

failure :: Message -> Resolver o e m v

Failure [GQLError] (Result ev)

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

Methods

failure :: [GQLError] -> Result ev v

Failure [ValidationError] (Result ev)

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

Methods

failure :: [ValidationError] -> Result ev v

class (Eq k, Hashable k) => KeyOf k a | a -> k where

Methods

keyOf :: a -> k

Instances

KeyOf OperationType RootOperationTypeDefinition

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

Methods

keyOf :: RootOperationTypeDefinition -> OperationType

KeyOf TypeName TypeNameRef

Defined in Data.Morpheus.Internal.Utils

Methods

keyOf :: TypeNameRef -> TypeName

KeyOf TypeName SchemaDefinition

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

Methods

keyOf :: SchemaDefinition -> TypeName

KeyOf TypeName UnionTag

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

Methods

keyOf :: UnionTag -> TypeName

KeyOf FieldName Ref

Defined in Data.Morpheus.Internal.Utils

Methods

keyOf :: Ref -> FieldName

KeyOf FieldName (ObjectEntry s)

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

Methods

keyOf :: ObjectEntry s -> FieldName

KeyOf FieldName (Variable s)

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

Methods

keyOf :: Variable s -> FieldName

KeyOf FieldName (DirectiveDefinition s)

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

Methods

keyOf :: DirectiveDefinition s -> FieldName

KeyOf FieldName (Directive s)

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

Methods

keyOf :: Directive s -> FieldName

KeyOf FieldName (Argument stage)

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

Methods

keyOf :: Argument stage -> FieldName

KeyOf FieldName (Selection s)

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

Methods

keyOf :: Selection s -> FieldName

KeyOf FieldName (Fragment s)

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

Methods

keyOf :: Fragment s -> FieldName

(Eq k, Hashable k) => KeyOf k (k, a)

Defined in Data.Morpheus.Internal.Utils

Methods

keyOf :: (k, a) -> k

KeyOf TypeName (TypeDefinition a s)

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

Methods

keyOf :: TypeDefinition a s -> TypeName

KeyOf TypeName (UnionMember cat s)

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

Methods

keyOf :: UnionMember cat s -> TypeName

KeyOf FieldName (FieldDefinition cat s)

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

Methods

keyOf :: FieldDefinition cat s -> FieldName

toPair :: KeyOf k a => a -> (k, a)

selectBy :: (Failure e m, Selectable k a c, Monad m) => e -> k -> c -> m a

member :: Selectable k a c => k -> c -> Bool

keys :: (KeyOf k a, Listable a coll) => coll -> [k]

size :: Listable a coll => coll -> Int

(<:>) :: (Monad m, Merge a, Failure ValidationErrors m) => a -> a -> m a

mapFst :: (a -> a') -> (a, b) -> (a', b)

mapSnd :: (b -> b') -> (a, b) -> (a, b')

mapTuple :: (a -> a') -> (b -> b') -> (a, b) -> (a', b')

newtype UpdateT m a

Constructors

UpdateT

Fields

• updateTState :: a -> m a

resolveUpdates :: Monad m => a -> [UpdateT m a] -> m a

concatUpdates :: Monad m => [UpdateT m a] -> UpdateT m a

failUpdates :: Failure e m => e -> UpdateT m a

ordTraverse :: (Monad f, KeyOf k b, Listable a (t a), Listable b (t b), Failure ValidationErrors f) => (a -> f b) -> t a -> f (t b)

ordTraverse_ :: (Monad f, Listable a (t a)) => (a -> f b) -> t a -> f ()

traverseCollection :: (Monad f, KeyOf k b, Listable a (t a), Listable b (t' b), Failure ValidationErrors f) => (a -> f b) -> t a -> f (t' b)

(<.>) :: SemigroupM m a => a -> a -> m a

class SemigroupM m a where

Methods

mergeM :: [Ref] -> a -> a -> m a

Instances

(Monad f, Failure InternalError f) => SemigroupM f (ResModel o e m)

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

Methods

mergeM :: [Ref] -> ResModel o e m -> ResModel o e m -> f (ResModel o e m)

Applicative f => SemigroupM f (ObjectResModel o e m)

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

Methods

mergeM :: [Ref] -> ObjectResModel o e m -> ObjectResModel o e m -> f (ObjectResModel o e m)