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

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

Methods

empty :: ArgumentsDefinition

singleton :: ArgumentDefinition -> ArgumentsDefinition

Collection a [a]

Defined in Data.Morpheus.Internal.Utils

Methods

empty :: [a]

singleton :: a -> [a]

(KEY def ~ FieldName, KeyOf def) => Collection def (Fields def)

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

Methods

empty :: Fields def

singleton :: def -> Fields def

(Hashable k, KeyOf v, k ~ KEY v) => Collection v (HashMap k v)

Defined in Data.Morpheus.Internal.Utils

Methods

empty :: HashMap k v

singleton :: v -> HashMap k v

(KeyOf a, Hashable k, KEY a ~ k) => Collection a (OrderedMap k a)

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

Methods

empty :: OrderedMap k a

singleton :: a -> OrderedMap k a

class Selectable c a | c -> a where

Methods

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

Instances

Selectable ArgumentsDefinition ArgumentDefinition

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

Methods

selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> ArgumentsDefinition -> d

Selectable DirectiveDefinition ArgumentDefinition

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

Methods

selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> DirectiveDefinition -> d

Selectable Schema (TypeDefinition ANY)

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

Methods

selectOr :: d -> (TypeDefinition ANY -> d) -> KEY (TypeDefinition ANY) -> Schema -> d

KeyOf a => Selectable [a] a

Defined in Data.Morpheus.Internal.Utils

Methods

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

Selectable (FieldDefinition OUT) ArgumentDefinition

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

Methods

selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> FieldDefinition OUT -> d

Selectable (Fields (FieldDefinition cat)) (FieldDefinition cat)

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

Methods

selectOr :: d -> (FieldDefinition cat -> d) -> KEY (FieldDefinition cat) -> Fields (FieldDefinition cat) -> d

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

Defined in Data.Morpheus.Internal.Utils

Methods

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

(Eq k, Hashable k, k ~ KEY a) => Selectable (OrderedMap k a) a

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

Methods

selectOr :: d -> (a -> d) -> KEY a -> OrderedMap k a -> d

class Listable a coll | coll -> a where

Methods

elems :: coll -> [a]

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

Instances

Listable ArgumentDefinition ArgumentsDefinition

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

Methods

elems :: ArgumentsDefinition -> [ArgumentDefinition]

fromElems :: (KeyOf ArgumentDefinition, Monad m, Failure GQLErrors m) => [ArgumentDefinition] -> m ArgumentsDefinition

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

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

Methods

elems :: Fields def -> [def]

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

(NameCollision a, Eq k, Hashable k, k ~ KEY a) => Listable a (OrderedMap k a)

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

Methods

elems :: OrderedMap k a -> [a]

fromElems :: (KeyOf a, Monad m, Failure GQLErrors m) => [a] -> m (OrderedMap k a)

Listable (TypeDefinition ANY) Schema

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

Methods

elems :: Schema -> [TypeDefinition ANY]

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

class Merge a where

Methods

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

Instances

Merge UnionTag

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

Methods

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

Merge (FieldsDefinition cat)

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

Methods

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

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

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

Methods

merge :: (Monad m, Failure GQLErrors 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 GQLErrors m) => [Ref] -> SelectionContent s -> SelectionContent s -> m (SelectionContent s)

(NameCollision a, Eq k, Hashable k, k ~ KEY a) => Merge (OrderedMap k a)

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

Methods

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

Merge (ResModel o e m)

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

Methods

merge :: (Monad m0, Failure GQLErrors m0) => [Ref] -> ResModel o e m -> ResModel o e m -> m0 (ResModel o e m)

Merge (ObjectResModel o e m)

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

Methods

merge :: (Monad m0, Failure GQLErrors m0) => [Ref] -> ObjectResModel o e m -> ObjectResModel o e m -> m0 (ObjectResModel o e m)

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

Failure Message (Result e)

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

Methods

failure :: Message -> Result e v

Monad m => Failure GQLErrors (ResultT event m)

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

Methods

failure :: GQLErrors -> ResultT event m v

Applicative m => Failure Message (ResultT event m)

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

Methods

failure :: Message -> ResultT event 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

(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

(Stream s, Ord e, Failure [a] m) => Failure [a] (ParsecT e s m)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: [a] -> ParsecT e s m v

class Eq (KEY a) => KeyOf a where

Associated Types

type KEY a :: *

Methods

keyOf :: a -> KEY a

Instances

KeyOf Ref

Defined in Data.Morpheus.Internal.Utils

Associated Types

type KEY Ref :: Type

Methods

keyOf :: Ref -> KEY Ref

KeyOf TypeNameRef

Defined in Data.Morpheus.Internal.Utils

Associated Types

type KEY TypeNameRef :: Type

Methods

keyOf :: TypeNameRef -> KEY TypeNameRef

KeyOf DirectiveDefinition

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

Associated Types

type KEY DirectiveDefinition :: Type

Methods

keyOf :: DirectiveDefinition -> KEY DirectiveDefinition

KeyOf UnionTag

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

Associated Types

type KEY UnionTag :: Type

Methods

keyOf :: UnionTag -> KEY UnionTag

KeyOf Fragment

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

Associated Types

type KEY Fragment :: Type

Methods

keyOf :: Fragment -> KEY Fragment

KeyOf (ObjectEntry s)

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

Associated Types

type KEY (ObjectEntry s) :: Type

Methods

keyOf :: ObjectEntry s -> KEY (ObjectEntry s)

KeyOf (Variable s)

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

Associated Types

type KEY (Variable s) :: Type

Methods

keyOf :: Variable s -> KEY (Variable s)

KeyOf (FieldDefinition cat)

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

Associated Types

type KEY (FieldDefinition cat) :: Type

Methods

keyOf :: FieldDefinition cat -> KEY (FieldDefinition cat)

KeyOf (TypeDefinition a)

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

Associated Types

type KEY (TypeDefinition a) :: Type

Methods

keyOf :: TypeDefinition a -> KEY (TypeDefinition a)

KeyOf (Directive s)

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

Associated Types

type KEY (Directive s) :: Type

Methods

keyOf :: Directive s -> KEY (Directive s)

KeyOf (Argument stage)

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

Associated Types

type KEY (Argument stage) :: Type

Methods

keyOf :: Argument stage -> KEY (Argument stage)

KeyOf (Selection s)

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

Associated Types

type KEY (Selection s) :: Type

Methods

keyOf :: Selection s -> KEY (Selection s)

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

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

member :: forall a c. Selectable c a => KEY a -> c -> Bool

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

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

(<:>) :: (Monad m, Merge a, Failure GQLErrors 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')