Data.Morpheus.Internal.Utils

Documentation

class IsMap k m | m -> k where

Minimal complete definition

unsafeFromList, singleton, lookup, toAssoc

Methods

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

singleton :: k -> a -> m a

lookup :: k -> m a -> Maybe a

member :: k -> m a -> Bool

toAssoc :: m a -> [(k, a)]

Instances

IsMap Key KeyMap

Defined in Data.Mergeable.IsMap

Methods

unsafeFromList :: [(Key, a)] -> KeyMap a

singleton :: Key -> a -> KeyMap a

lookup :: Key -> KeyMap a -> Maybe a

member :: Key -> KeyMap a -> Bool

toAssoc :: KeyMap a -> [(Key, a)]

(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

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

(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

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

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

Methods

keyOf :: a -> k

Instances

KeyOf TypeName UnionTag

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

Methods

keyOf :: UnionTag -> TypeName

KeyOf TypeName SchemaDefinition

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

Methods

keyOf :: SchemaDefinition -> TypeName

KeyOf OperationType RootOperationTypeDefinition

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

Methods

keyOf :: RootOperationTypeDefinition -> OperationType

KeyOf FieldName (Argument stage)

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

Methods

keyOf :: Argument stage -> FieldName

KeyOf FieldName (ArgumentDefinition s)

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

Methods

keyOf :: ArgumentDefinition s -> FieldName

KeyOf FieldName (Directive s)

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

Methods

keyOf :: Directive s -> FieldName

KeyOf FieldName (DirectiveDefinition s)

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

Methods

keyOf :: DirectiveDefinition s -> FieldName

KeyOf FieldName (Selection s)

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

Methods

keyOf :: Selection s -> 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 FragmentName (Fragment s)

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

Methods

keyOf :: Fragment s -> FragmentName

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

Defined in Data.Morpheus.Ext.KeyOf

Methods

keyOf :: Ref name -> name

KeyOf FieldName (FieldDefinition cat s)

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

Methods

keyOf :: FieldDefinition cat s -> FieldName

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

Methods

keyOf :: UnionMember cat s -> TypeName

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

Defined in Data.Morpheus.Ext.KeyOf

Methods

keyOf :: (k, a) -> k

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, MonadError 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 (OrdMap k a)

Defined in Data.Mergeable.OrdMap

Methods

empty :: OrdMap k a

Empty (HashMap k v)

Defined in Data.Morpheus.Ext.Empty

Methods

empty :: HashMap k v

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

insert :: (NameCollision e a, KeyOf k a, MonadError 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