Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Functor EnumOf Source # | |
Applicative EnumOf Source # | |
Data a => Data (EnumOf a) Source # | |
Defined in Data.Morpheus.Types.Describer gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumOf a -> c (EnumOf a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (EnumOf a) # toConstr :: EnumOf a -> Constr # dataTypeOf :: EnumOf a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (EnumOf a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (EnumOf a)) # gmapT :: (forall b. Data b => b -> b) -> EnumOf a -> EnumOf a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumOf a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumOf a -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumOf a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumOf a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumOf a -> m (EnumOf a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumOf a -> m (EnumOf a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumOf a -> m (EnumOf a) # | |
Show a => Show (EnumOf a) Source # | |
Generic (EnumOf a) Source # | |
(GQLEnum a, GQLKind a) => GQLInput (EnumOf a) Source # | |
Defined in Data.Morpheus.Kind.GQLInput decode :: JSType -> Validation (EnumOf a) Source # asArgument :: Proxy (EnumOf a) -> Text -> InputField Source # introInput :: Proxy (EnumOf a) -> TypeLib -> TypeLib Source # | |
(Show a, GQLKind a, GQLEnum a) => GQLObject (EnumOf a) Source # | |
type Rep (EnumOf a) Source # | |
Defined in Data.Morpheus.Types.Describer |
Instances
Data a => Data (ScalarOf a) Source # | |
Defined in Data.Morpheus.Types.Describer gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScalarOf a -> c (ScalarOf a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ScalarOf a) # toConstr :: ScalarOf a -> Constr # dataTypeOf :: ScalarOf a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ScalarOf a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ScalarOf a)) # gmapT :: (forall b. Data b => b -> b) -> ScalarOf a -> ScalarOf a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScalarOf a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScalarOf a -> r # gmapQ :: (forall d. Data d => d -> u) -> ScalarOf a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ScalarOf a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScalarOf a -> m (ScalarOf a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScalarOf a -> m (ScalarOf a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScalarOf a -> m (ScalarOf a) # | |
Show a => Show (ScalarOf a) Source # | |
Generic (ScalarOf a) Source # | |
(GQLScalar a, GQLKind a) => GQLInput (ScalarOf a) Source # | |
Defined in Data.Morpheus.Kind.GQLInput decode :: JSType -> Validation (ScalarOf a) Source # asArgument :: Proxy (ScalarOf a) -> Text -> InputField Source # introInput :: Proxy (ScalarOf a) -> TypeLib -> TypeLib Source # | |
GQLScalar a => GQLObject (ScalarOf a) Source # | |
type Rep (ScalarOf a) Source # | |
Defined in Data.Morpheus.Types.Describer |
Instances
(Data a, Data b) => Data (a ::-> b) Source # | |
Defined in Data.Morpheus.Types.Describer gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a ::-> b) -> c (a ::-> b) # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a ::-> b) # toConstr :: (a ::-> b) -> Constr # dataTypeOf :: (a ::-> b) -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a ::-> b)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a ::-> b)) # gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a ::-> b) -> a ::-> b # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a ::-> b) -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a ::-> b) -> r # gmapQ :: (forall d. Data d => d -> u) -> (a ::-> b) -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> (a ::-> b) -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a ::-> b) -> m (a ::-> b) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a ::-> b) -> m (a ::-> b) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a ::-> b) -> m (a ::-> b) # | |
Show (a ::-> b) Source # | |
Generic (a ::-> b) Source # | |
(GQLObject a, GQLArgs p) => GQLObject (p ::-> a) Source # | |
type Rep (a ::-> b) Source # | |
Defined in Data.Morpheus.Types.Describer |