Data.Morpheus.Internal.Ext

Documentation

class PushEvents e m where

Methods

pushEvents :: [e] -> m ()

Instances

Applicative m => PushEvents event (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

pushEvents :: [event] -> ResultT event m ()

data Result err a

Constructors

Success

Fields

• result :: a
• warnings :: [err]

Failure

Fields

• errors :: NonEmpty err

Instances

Bifunctor Result

Defined in Data.Morpheus.Ext.Result

Methods

bimap :: (a -> b) -> (c -> d) -> Result a c -> Result b d

first :: (a -> b) -> Result a c -> Result b c

second :: (b -> c) -> Result a b -> Result a c

MonadError er (Result er)

Defined in Data.Morpheus.Ext.Result

Methods

throwError :: er -> Result er a

catchError :: Result er a -> (er -> Result er a) -> Result er a

IsString err => MonadFail (Result err)

Defined in Data.Morpheus.Ext.Result

Methods

fail :: String -> Result err a

Applicative (Result er)

Defined in Data.Morpheus.Ext.Result

Methods

pure :: a -> Result er a

(<*>) :: Result er (a -> b) -> Result er a -> Result er b

liftA2 :: (a -> b -> c) -> Result er a -> Result er b -> Result er c

(*>) :: Result er a -> Result er b -> Result er b

(<*) :: Result er a -> Result er b -> Result er a

Functor (Result err)

Defined in Data.Morpheus.Ext.Result

Methods

fmap :: (a -> b) -> Result err a -> Result err b

(<$) :: a -> Result err b -> Result err a

Monad (Result er)

Defined in Data.Morpheus.Ext.Result

Methods

(>>=) :: Result er a -> (a -> Result er b) -> Result er b

(>>) :: Result er a -> Result er b -> Result er b

return :: a -> Result er a

newtype ResultT event (m :: Type -> Type) a

Constructors

ResultT

Fields

• runResultT :: m (Result GQLError ([event], a))

Instances

Applicative m => PushEvents event (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

pushEvents :: [event] -> ResultT event m ()

Monad m => MonadError GQLError (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

throwError :: GQLError -> ResultT event m a

catchError :: ResultT event m a -> (GQLError -> ResultT event m a) -> ResultT event m a

MonadTrans (ResultT event)

Defined in Data.Morpheus.Ext.Result

Methods

lift :: Monad m => m a -> ResultT event m a

Applicative m => Applicative (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

pure :: a -> ResultT event m a

(<*>) :: ResultT event m (a -> b) -> ResultT event m a -> ResultT event m b

liftA2 :: (a -> b -> c) -> ResultT event m a -> ResultT event m b -> ResultT event m c

(*>) :: ResultT event m a -> ResultT event m b -> ResultT event m b

(<*) :: ResultT event m a -> ResultT event m b -> ResultT event m a

Functor m => Functor (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

fmap :: (a -> b) -> ResultT event m a -> ResultT event m b

(<$) :: a -> ResultT event m b -> ResultT event m a

Monad m => Monad (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

(>>=) :: ResultT event m a -> (a -> ResultT event m b) -> ResultT event m b

(>>) :: ResultT event m a -> ResultT event m b -> ResultT event m b

return :: a -> ResultT event m a

cleanEvents :: Functor m => ResultT e m a -> ResultT e' m a

resultOr :: (NonEmpty err -> a') -> (a -> a') -> Result err a -> a'

mapEvent :: Monad m => (e -> e') -> ResultT e m value -> ResultT e' m value

sortErrors :: Result GQLError a -> Result GQLError a

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

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

resolveWith :: Monad m => (a -> a -> m a) -> NonEmpty a -> m a

runResolutionT :: ResolutionT k a coll m b -> ([(k, a)] -> coll) -> (NonEmpty a -> m a) -> m b

toEither :: Result err b -> Either (NonEmpty err) b

class Merge m a where

Methods

merge :: Monad m => a -> a -> m a

Instances

(Monad m, MonadError GQLError m) => Merge m (Schema s)

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

Methods

merge :: Schema s -> Schema s -> m (Schema s)

(NameCollision e a, Eq k, Hashable k, Monad m, MonadError e m) => Merge m (OrdMap k a)

Defined in Data.Mergeable.OrdMap

Methods

merge :: OrdMap k a -> OrdMap k a -> m (OrdMap k a)

(Eq k, Hashable k, MonadError e m, NameCollision e a) => Merge m (HashMap k a)

Defined in Data.Mergeable.Internal.Merge

Methods

merge :: HashMap k a -> HashMap k a -> m (HashMap k a)

(Monad m, MonadError GQLError m) => Merge (HistoryT m) UnionTag

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

Methods

merge :: UnionTag -> UnionTag -> HistoryT m UnionTag

(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (Selection s)

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

Methods

merge :: Selection s -> Selection s -> HistoryT m (Selection s)

(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (SelectionContent s)

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

Methods

merge :: SelectionContent s -> SelectionContent s -> HistoryT m (SelectionContent s)

type GQLResult = Result GQLError