Data.Morpheus.Internal.Utils

Documentation

singleton :: (IsMap k m, KeyOf k a) => a -> m a

class IsMap k m | m -> k

Minimal complete definition

unsafeFromList, singleton, lookup

Instances

(Eq k, Hashable k) => IsMap k (HashMap k)

Defined in Data.Mergeable.IsMap

Methods

unsafeFromList :: [(k, a)] -> HashMap k a

singleton :: k -> a -> HashMap k a

lookup :: k -> HashMap k a -> Maybe a

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

(Eq k, Hashable k) => IsMap k (OrdMap k)

Defined in Data.Mergeable.OrdMap

Methods

unsafeFromList :: [(k, a)] -> OrdMap k a

singleton :: k -> a -> OrdMap k a

lookup :: k -> OrdMap k a -> Maybe a

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

type Failure = MonadError

Deprecated: use MonadError

failure :: MonadError e m => e -> m a

Deprecated: use throwError

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

Methods

keyOf :: a -> k

Instances

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

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

Methods

keyOf :: RootOperationTypeDefinition -> OperationType

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

Defined in Data.Morpheus.Ext.KeyOf

Methods

keyOf :: Ref name -> name

KeyOf FragmentName (Fragment s)

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

Methods

keyOf :: Fragment s -> FragmentName

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

(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 :: (MonadError e m, IsMap k c, Monad m) => e -> k -> c a -> m a

traverseCollection :: (Monad m, Failure GQLError m, KeyOf k b, FromList m map k b, Foldable t) => (a -> m b) -> t a -> m (map k b)

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

fromLBS :: ByteString -> Text

toLBS :: Text -> ByteString

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

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.Mergeable.OrdMap

Methods

empty :: OrdMap k a

elems :: Foldable t => t a -> [a]

Deprecated: use Foldable.toList

type HistoryT = ReaderT [Ref FieldName]

addPath :: MonadReader [a1] m => a1 -> m a2 -> m a2

startHistory :: HistoryT m a -> m a

mergeConcat :: (Monad m, Merge m a, MonadError e m) => NonEmpty a -> m a

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

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

member :: IsMap k m => k -> m a -> Bool

unsafeFromList :: IsMap k m => [(k, a)] -> m a

insert :: (NameCollision e a, KeyOf k a, Failure e m) => a -> SafeHashMap k a -> m (SafeHashMap k a)

fromElems :: (Monad m, KeyOf k a, FromList m map k a) => [a] -> m (map k a)

throwErrors :: MonadError e m => NonEmpty e -> m b