Data.Morpheus.Internal.Utils

Documentation

capitalize :: Text -> Text

nameSpaceField :: TypeName -> FieldName -> FieldName

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

capitalTypeName :: FieldName -> TypeName

class Collection a coll | coll -> a where

Methods

singleton :: a -> coll

Instances

Collection a [a]

Defined in Data.Morpheus.Internal.Utils

Methods

singleton :: a -> [a]

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

Defined in Data.Morpheus.Internal.Utils

Methods

singleton :: v -> HashMap k v

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

Defined in Data.Morpheus.Ext.OrdMap

Methods

singleton :: a -> OrdMap k a

class Selectable k a c | c -> a where

Minimal complete definition

selectOr

Methods

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

member :: k -> c -> Bool

Instances

Selectable OperationType RootOperationTypeDefinition SchemaDefinition

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

Methods

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

member :: OperationType -> SchemaDefinition -> Bool

KeyOf k a => Selectable k a [a]

Defined in Data.Morpheus.Ext.Selectable

Methods

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

member :: k -> [a] -> Bool

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

Defined in Data.Morpheus.Ext.Selectable

Methods

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

member :: k -> HashMap k a -> Bool

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

Defined in Data.Morpheus.Ext.OrdMap

Methods

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

member :: k -> OrdMap k a -> Bool

Selectable FieldName (ArgumentDefinition s) (DirectiveDefinition s)

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

Methods

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

member :: FieldName -> DirectiveDefinition s -> Bool

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

member :: FieldName -> FieldDefinition OUT s -> Bool

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

member :: TypeName -> Schema s -> Bool

class FromElems m a coll | coll -> a where

Methods

fromElems :: [a] -> m coll

Instances

(NameCollision a, Failure ValidationErrors m, KeyOf k a, Monad m) => FromElems (m :: Type -> Type) a (HashMap k a :: Type)

Defined in Data.Morpheus.Internal.Utils

Methods

fromElems :: [a] -> m (HashMap k a)

(NameCollision a, Monad m, Failure ValidationErrors m, KeyOf k a, Hashable k) => FromElems (m :: Type -> Type) a (OrdMap k a :: Type)

Defined in Data.Morpheus.Ext.OrdMap

Methods

fromElems :: [a] -> m (OrdMap k a)

(Monad m, Failure ValidationErrors m) => FromElems (m :: Type -> Type) (TypeDefinition ANY s) (Schema s :: Type)

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

Methods

fromElems :: [TypeDefinition ANY s] -> m (Schema s)

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

Methods

failure :: error -> f v

Instances

Failure error (Either error)

Defined in Data.Morpheus.Ext.Failure

Methods

failure :: error -> Either error v

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

Defined in Data.Morpheus.Ext.Failure

Methods

failure :: errors -> ReaderT ctx m v

Monad m => Failure GQLErrors (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: GQLErrors -> ResultT event m v

Failure [GQLError] (Result ev)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: [GQLError] -> Result ev v

Failure [ValidationError] (Result ev)

Defined in Data.Morpheus.Ext.Result

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

(Eq name, Hashable name) => KeyOf name (Ref name)

Defined in Data.Morpheus.Ext.KeyOf

Methods

keyOf :: Ref name -> name

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 (ArgumentDefinition s)

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

Methods

keyOf :: ArgumentDefinition 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.Ext.KeyOf

Methods

keyOf :: (k, a) -> k

KeyOf TypeName (UnionMember cat s)

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

Methods

keyOf :: UnionMember cat s -> TypeName

KeyOf TypeName (TypeDefinition a s)

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

Methods

keyOf :: TypeDefinition a 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

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

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

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

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

prop :: (b -> b -> m b) -> (a -> b) -> a -> a -> m b

stripFieldNamespace :: TypeName -> String -> String

stripConstructorNamespace :: TypeName -> String -> String

fromLBS :: ByteString -> Text

toLBS :: Text -> ByteString

mergeT :: (KeyOf k a, Monad m, Elems a c) => c -> c -> ResolutionT k a c m c

class Elems a coll | coll -> a where

Methods

elems :: coll -> [a]

Instances

Elems a [a]

Defined in Data.Morpheus.Ext.Elems

Methods

elems :: [a] -> [a]

Elems a (HashMap k a)

Defined in Data.Morpheus.Ext.Elems

Methods

elems :: HashMap k a -> [a]

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

Defined in Data.Morpheus.Ext.OrdMap

Methods

elems :: OrdMap k a -> [a]

Elems (TypeDefinition ANY s) (Schema s)

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

Methods

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

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

failOnDuplicates :: (Failure ValidationErrors m, NameCollision a) => NonEmpty a -> m a

class Empty coll where

Methods

empty :: coll

Instances

Empty [a]

Defined in Data.Morpheus.Ext.Empty

Methods

empty :: [a]

Empty (HashMap k v)

Defined in Data.Morpheus.Ext.Empty

Methods

empty :: HashMap k v

Empty (OrdMap k a)

Defined in Data.Morpheus.Ext.OrdMap

Methods

empty :: OrdMap k a