Safe Haskell	Safe
Language	Haskell2010

Data.Morpheus.Schema.Utils.Utils

Documentation

data Type Source #

Instances

Data Type Source #
Instance details Defined in Data.Morpheus.Schema.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Show Type Source #
Instance details Defined in Data.Morpheus.Schema.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Instance details Defined in Data.Morpheus.Schema.Type Associated Types type Rep Type :: Type -> Type # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
GQLKind Type Source #
Instance details Defined in Data.Morpheus.Kind.GQLKind Methods description :: Proxy Type -> Text Source # typeID :: Proxy Type -> Text Source # buildType :: Proxy Type -> Core Source # updateLib :: (Proxy Type -> LibType) -> [TypeLib -> TypeLib] -> Proxy Type -> TypeLib -> TypeLib Source #
GQLKind Field Source #
Instance details Defined in Data.Morpheus.Kind.GQLKind Methods description :: Proxy Field -> Text Source # typeID :: Proxy Field -> Text Source # buildType :: Proxy Field -> Core Source # updateLib :: (Proxy Field -> LibType) -> [TypeLib -> TypeLib] -> Proxy Field -> TypeLib -> TypeLib Source #
GQLKind InputValue Source #
Instance details Defined in Data.Morpheus.Kind.GQLKind Methods description :: Proxy InputValue -> Text Source # typeID :: Proxy InputValue -> Text Source # buildType :: Proxy InputValue -> Core Source # updateLib :: (Proxy InputValue -> LibType) -> [TypeLib -> TypeLib] -> Proxy InputValue -> TypeLib -> TypeLib Source #
GQLObject Type Source #
Instance details Defined in Data.Morpheus.Kind.GQLObject Methods encode :: (Text, Selection) -> Type -> ResolveIO JSType Source # fieldType :: Proxy Type -> Text -> ObjectField Source # introspect :: Proxy Type -> TypeLib -> TypeLib Source #
GQLObject Field Source #
Instance details Defined in Data.Morpheus.Kind.GQLObject Methods encode :: (Text, Selection) -> Field -> ResolveIO JSType Source # fieldType :: Proxy Field -> Text -> ObjectField Source # introspect :: Proxy Field -> TypeLib -> TypeLib Source #
GQLObject InputValue Source #
Instance details Defined in Data.Morpheus.Kind.GQLObject Methods encode :: (Text, Selection) -> InputValue -> ResolveIO JSType Source # fieldType :: Proxy InputValue -> Text -> ObjectField Source # introspect :: Proxy InputValue -> TypeLib -> TypeLib Source #
type Rep Type Source #
Instance details Defined in Data.Morpheus.Schema.Type type Rep Type = D1 (MetaData "Type" "Data.Morpheus.Schema.Type" "morpheus-graphql-0.0.1-9yOQmuk6QYrGODa72tt3vl" False) (C1 (MetaCons "Type" PrefixI True) (((S1 (MetaSel (Just "kind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (EnumOf TypeKind)) :: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "fields") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (WithDeprecationArgs [Field Type]))))) :: ((S1 (MetaSel (Just "ofType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Type)) :: S1 (MetaSel (Just "interfaces") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Type]))) :: (S1 (MetaSel (Just "possibleTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Type])) :: (S1 (MetaSel (Just "enumValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (WithDeprecationArgs [EnumValue]))) :: S1 (MetaSel (Just "inputFields") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [InputValue Type])))))))

type Field = Field Type Source #

type InputValue = InputValue Type Source #

createObjectType :: Text -> Text -> [Field] -> Type Source #

typeFromObject :: (Text, OutputObject) -> Type Source #

typeFromInputObject :: (Text, InputObject) -> Type Source #

typeFromLeaf :: (Text, Leaf) -> Type Source #