Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types.GQLWrapper

Synopsis

class EncodeWrapper (wrapper :: * -> *) where
- encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> wrapper a -> m (ResolverValue m)
class DecodeWrapper (f :: * -> *) where
- decodeWrapper :: (Monad m, DecodeWrapperConstraint f a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m (f a)
type family DecodeWrapperConstraint (f :: * -> *) a :: Constraint where ...

Documentation

class EncodeWrapper (wrapper :: * -> *) where Source #

GraphQL Wrapper Serializer

Methods

Instances details

EncodeWrapper [] Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> [a] -> m (ResolverValue m) Source #
EncodeWrapper Maybe Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Maybe a -> m (ResolverValue m) Source #
EncodeWrapper NonEmpty Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> NonEmpty a -> m (ResolverValue m) Source #
EncodeWrapper Seq Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Seq a -> m (ResolverValue m) Source #
EncodeWrapper Set Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Set a -> m (ResolverValue m) Source #
EncodeWrapper Vector Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Vector a -> m (ResolverValue m) Source #
EncodeWrapper SubscriptionField Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> SubscriptionField a -> m (ResolverValue m) Source #

class DecodeWrapper (f :: * -> *) where Source #

GraphQL Wrapper Deserializer

Methods

Instances details

DecodeWrapper [] Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint [] a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m [a] Source #
DecodeWrapper Maybe Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Maybe a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m (Maybe a) Source #
DecodeWrapper NonEmpty Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint NonEmpty a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m (NonEmpty a) Source #
DecodeWrapper Seq Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Seq a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m (Seq a) Source #
DecodeWrapper Set Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Set a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m (Set a) Source #
DecodeWrapper Vector Source #
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Vector a) => (ValidValue -> m a) -> ValidValue -> ExceptT Message m (Vector a) Source #

type family DecodeWrapperConstraint (f :: * -> *) a :: Constraint where ... Source #

Equations

DecodeWrapperConstraint Set a = Ord a
DecodeWrapperConstraint f a = ()