Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
capitalize :: Capitalize a => a -> a Source #
capitalTypeName :: FieldName -> TypeName Source #
class Collection a coll | coll -> a where Source #
Instances
Collection a [a] Source # | |
KeyOf FieldName def => Collection def (Fields def) Source # | |
KeyOf k v => Collection v (HashMap k v) Source # | |
(KeyOf k a, Hashable k) => Collection a (OrdMap k a) Source # | |
Collection (ArgumentDefinition s) (ArgumentsDefinition s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields empty :: ArgumentsDefinition s Source # singleton :: ArgumentDefinition s -> ArgumentsDefinition s Source # |
class Selectable k a c | c -> a where Source #
Instances
class Listable a coll | coll -> a where Source #
Instances
(KeyOf FieldName def, NameCollision def) => Listable def (Fields def) Source # | |
(NameCollision a, KeyOf k a) => Listable a (HashMap k a) Source # | |
(NameCollision a, KeyOf k a, Hashable k) => Listable a (OrdMap k a) Source # | |
Listable (ArgumentDefinition s) (ArgumentsDefinition s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields elems :: ArgumentsDefinition s -> [ArgumentDefinition s] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [ArgumentDefinition s] -> m (ArgumentsDefinition s) Source # | |
Listable (TypeDefinition ANY s) (Schema s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem elems :: Schema s -> [TypeDefinition ANY s] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [TypeDefinition ANY s] -> m (Schema s) Source # |
Instances
Merge UnionTag Source # | |
Merge (Schema s) Source # | |
Merge (SelectionSet a) => Merge (Selection a) Source # | |
Merge (SelectionSet s) => Merge (SelectionContent s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Selection merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> SelectionContent s -> SelectionContent s -> m (SelectionContent s) Source # | |
(NameCollision a, KeyOf k a) => Merge (HashMap k a) Source # | |
(NameCollision a, KeyOf k a) => Merge (OrdMap k a) Source # | |
Merge (FieldsDefinition cat s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> FieldsDefinition cat s -> FieldsDefinition cat s -> m (FieldsDefinition cat s) Source # |
class Applicative f => Failure error (f :: * -> *) where Source #
Instances
Failure error (Either error) Source # | |
Defined in Data.Morpheus.Internal.Utils | |
Monad m => Failure GQLErrors (ResultT event m) Source # | |
(Monad m, Failure errors m) => Failure errors (ReaderT ctx m) Source # | |
Defined in Data.Morpheus.Internal.Utils | |
(LiftOperation o, Monad m) => Failure GQLErrors (Resolver o e m) Source # | |
(Monad m, Failure ValidationErrors m) => Failure ValidationErrors (ResolutionT a coll m) Source # | |
Defined in Data.Morpheus.Internal.Utils failure :: ValidationErrors -> ResolutionT a coll m v Source # | |
(LiftOperation o, Monad m) => Failure Message (Resolver o e m) Source # | |
Failure [GQLError] (Result ev) Source # | |
Failure [ValidationError] (Result ev) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core failure :: [ValidationError] -> Result ev v Source # |
class (Eq k, Hashable k) => KeyOf k a | a -> k where Source #
Instances
member :: Selectable k a c => k -> c -> Bool Source #
UpdateT | |
|
resolveUpdates :: Monad m => a -> [UpdateT m a] -> m a Source #
failUpdates :: Failure e m => e -> UpdateT m a Source #
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) Source #
ordTraverse_ :: (Monad f, Listable a (t a)) => (a -> f b) -> t a -> f () Source #
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) Source #
(<.>) :: SemigroupM m a => a -> a -> m a Source #
class SemigroupM m a where Source #
Instances
(Monad f, Monad m, LiftOperation o, Failure InternalError f) => SemigroupM f (ResModel o e m) Source # | |
(Monad m, Applicative f, LiftOperation o) => SemigroupM f (ObjectResModel o e m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver mergeM :: [Ref] -> ObjectResModel o e m -> ObjectResModel o e m -> f (ObjectResModel o e m) Source # |
fromListT :: RESOLUTION k a coll m => [a] -> ResolutionT a coll m coll Source #
mergeT :: RESOLUTION k a coll m => coll -> coll -> ResolutionT a coll m coll Source #
runResolutionT :: ResolutionT a coll m b -> ([a] -> coll) -> (NonEmpty a -> m a) -> m b Source #
data ResolutionT a coll m x Source #
Instances
resolveWith :: Monad m => (a -> a -> m a) -> NonEmpty a -> m a Source #