yume/juniper
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Impl new machinery for Cow [skip ci]

Browse source
This commit is contained in:
tyranron 2022-06-21 17:49:35 +02:00
parent 4a6b3abfc6
commit 3cfc4eb0e4
No known key found for this signature in database
GPG key ID: 762E144FB230A4F0
8 changed files with 351 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
juniper/src/types/arc.rs
View file

@ -178,7 +178,7 @@ where
}
}
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Arc<T>, SV, BH> for T
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Arc<Self>, SV, BH> for T
where
T: resolve::InputValue<'i, SV, BH>,
SV: 'i,

2
juniper/src/types/box.rs
View file

@ -176,7 +176,7 @@ where
}
}
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Box<T>, SV, BH> for T
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Box<Self>, SV, BH> for T
where
T: resolve::InputValue<'i, SV, BH>,
SV: 'i,

291
juniper/src/types/cow.rs Normal file
View file

@ -0,0 +1,291 @@
//! GraphQL implementation for [`Cow`].
use std::{borrow::Cow, ops::Deref};
use crate::{
graphql,
meta::MetaType,
parser::{ParseError, ScalarToken},
reflect, resolve, Arguments, BoxFuture, ExecutionResult, Executor, Registry, Selection,
};
impl<'me, T, TI, SV, BH> resolve::Type<TI, SV, BH> for Cow<'me, T>
where
T: resolve::Type<TI, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn meta<'r, 'ti: 'r>(registry: &mut Registry<'r, SV>, type_info: &'ti TI) -> MetaType<'r, SV>
where
SV: 'r,
{
T::meta(registry, type_info)
}
}
impl<'me, T, TI, BH> resolve::TypeName<TI, BH> for Cow<'me, T>
where
T: resolve::TypeName<TI, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn type_name(type_info: &TI) -> &str {
T::type_name(type_info)
}
}
impl<'me, T, TI, BH> resolve::ConcreteTypeName<TI, BH> for Cow<'me, T>
where
T: resolve::ConcreteTypeName<TI, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn concrete_type_name<'i>(&self, type_info: &'i TI) -> &'i str {
(**self).concrete_type_name(type_info)
}
}
impl<'me, T, TI, CX, SV, BH> resolve::Value<TI, CX, SV, BH> for Cow<'me, T>
where
T: resolve::Value<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn resolve_value(
&self,
selection_set: Option<&[Selection<'_, SV>]>,
type_info: &TI,
executor: &Executor<CX, SV>,
) -> ExecutionResult<SV> {
(**self).resolve_value(selection_set, type_info, executor)
}
}
impl<'me, T, TI, CX, SV, BH> resolve::ValueAsync<TI, CX, SV, BH> for Cow<'me, T>
where
T: resolve::ValueAsync<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn resolve_value_async<'r>(
&'r self,
selection_set: Option<&'r [Selection<'_, SV>]>,
type_info: &'r TI,
executor: &'r Executor<CX, SV>,
) -> BoxFuture<'r, ExecutionResult<SV>> {
(**self).resolve_value_async(selection_set, type_info, executor)
}
}
impl<'me, T, TI, CX, SV, BH> resolve::ConcreteValue<TI, CX, SV, BH> for Cow<'me, T>
where
T: resolve::ConcreteValue<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn resolve_concrete_value(
&self,
type_name: &str,
selection_set: Option<&[Selection<'_, SV>]>,
type_info: &TI,
executor: &Executor<CX, SV>,
) -> ExecutionResult<SV> {
(**self).resolve_concrete_value(type_name, selection_set, type_info, executor)
}
}
impl<'me, T, TI, CX, SV, BH> resolve::ConcreteValueAsync<TI, CX, SV, BH> for Cow<'me, T>
where
T: resolve::ConcreteValueAsync<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn resolve_concrete_value_async<'r>(
&'r self,
type_name: &str,
selection_set: Option<&'r [Selection<'_, SV>]>,
type_info: &'r TI,
executor: &'r Executor<CX, SV>,
) -> BoxFuture<'r, ExecutionResult<SV>> {
(**self).resolve_concrete_value_async(type_name, selection_set, type_info, executor)
}
}
impl<'me, T, TI, CX, SV, BH> resolve::Field<TI, CX, SV, BH> for Cow<'me, T>
where
T: resolve::Field<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn resolve_field(
&self,
field_name: &str,
arguments: &Arguments<SV>,
type_info: &TI,
executor: &Executor<CX, SV>,
) -> ExecutionResult<SV> {
(**self).resolve_field(field_name, arguments, type_info, executor)
}
}
impl<'me, T, TI, CX, SV, BH> resolve::FieldAsync<TI, CX, SV, BH> for Cow<'me, T>
where
T: resolve::FieldAsync<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn resolve_field_async<'r>(
&'r self,
field_name: &'r str,
arguments: &'r Arguments<SV>,
type_info: &'r TI,
executor: &'r Executor<CX, SV>,
) -> BoxFuture<'r, ExecutionResult<SV>> {
(**self).resolve_field_async(field_name, arguments, type_info, executor)
}
}
impl<'me, T, SV, BH> resolve::ToInputValue<SV, BH> for Cow<'me, T>
where
T: resolve::ToInputValue<SV, BH> + ToOwned + ?Sized + 'me,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn to_input_value(&self) -> graphql::InputValue<SV> {
(**self).to_input_value()
}
}
impl<'me, 'i, T, SV, BH> resolve::InputValue<'i, SV, BH> for Cow<'me, T>
where
'i: 'me,
T: resolve::InputValueAs<'i, Self, SV, BH> + ToOwned + ?Sized + 'me,
SV: 'i,
BH: ?Sized,
Self: Deref<Target = T>,
{
type Error = T::Error;
fn try_from_input_value(v: &'i graphql::InputValue<SV>) -> Result<Self, Self::Error> {
T::try_from_input_value(v)
}
fn try_from_implicit_null() -> Result<Self, Self::Error> {
T::try_from_implicit_null()
}
}
impl<'me, 'i, T, SV, BH> resolve::InputValueAs<'i, Cow<'me, Self>, SV, BH> for T
where
'i: 'me,
T: resolve::InputValueAsRef<SV, BH> + ToOwned + 'me,
SV: 'i,
BH: ?Sized,
Cow<'me, Self>: Deref<Target = Self>,
{
type Error = T::Error;
fn try_from_input_value(v: &'i graphql::InputValue<SV>) -> Result<Cow<'me, Self>, Self::Error> {
T::try_from_input_value(v).map(Cow::Borrowed)
}
fn try_from_implicit_null() -> Result<Cow<'me, Self>, Self::Error> {
T::try_from_implicit_null().map(Cow::Borrowed)
}
}
impl<'me, T, SV, BH> resolve::ScalarToken<SV, BH> for Cow<'me, T>
where
T: resolve::ScalarToken<SV, BH> + ToOwned + ?Sized + 'me,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn parse_scalar_token(token: ScalarToken<'_>) -> Result<SV, ParseError<'_>> {
T::parse_scalar_token(token)
}
}
impl<'me, 'i, T, TI, SV, BH> graphql::InputType<'i, TI, SV, BH> for Cow<'me, T>
where
'i: 'me,
T: graphql::InputTypeAs<'i, Self, TI, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
SV: 'i,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn assert_input_type() {
T::assert_input_type()
}
}
impl<'me, T, TI, CX, SV, BH> graphql::OutputType<TI, CX, SV, BH> for Cow<'me, T>
where
T: graphql::OutputType<TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn assert_output_type() {
T::assert_output_type()
}
}
impl<'me, 'i, T, TI, CX, SV, BH> graphql::Scalar<'i, TI, CX, SV, BH> for Cow<'me, T>
where
'i: 'me,
T: graphql::ScalarAs<'i, Self, TI, CX, SV, BH> + ToOwned + ?Sized + 'me,
TI: ?Sized,
CX: ?Sized,
SV: 'i,
BH: ?Sized,
Self: Deref<Target = T>,
{
fn assert_scalar() {
T::assert_scalar()
}
}
impl<'me, T, BH> reflect::BaseType<BH> for Cow<'me, T>
where
T: reflect::BaseType<BH> + ToOwned + ?Sized + 'me,
BH: ?Sized,
Self: Deref<Target = T>,
{
const NAME: reflect::Type = T::NAME;
}
impl<'me, T, BH> reflect::BaseSubTypes<BH> for Cow<'me, T>
where
T: reflect::BaseSubTypes<BH> + ToOwned + ?Sized + 'me,
BH: ?Sized,
Self: Deref<Target = T>,
{
const NAMES: reflect::Types = T::NAMES;
}
impl<'me, T, BH> reflect::WrappedType<BH> for Cow<'me, T>
where
T: reflect::WrappedType<BH> + ToOwned + ?Sized + 'me,
BH: ?Sized,
Self: Deref<Target = T>,
{
const VALUE: reflect::WrappedValue = T::VALUE;
}

1
juniper/src/types/mod.rs
View file

@ -1,6 +1,7 @@
mod arc;
pub mod array;
mod r#box;
mod cow;
pub mod iter;
mod nullable;
mod option;

2
juniper/src/types/rc.rs
View file

@ -178,7 +178,7 @@ where
}
}
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Rc<T>, SV, BH> for T
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Rc<Self>, SV, BH> for T
where
T: resolve::InputValue<'i, SV, BH>,
SV: 'i,

8
juniper/src/types/ref.rs
View file

@ -164,7 +164,7 @@ where
impl<'me, 'i, T, SV, BH> resolve::InputValue<'i, SV, BH> for &'me T
where
'i: 'me,
T: resolve::InputValueAs<'i, &'me T, SV, BH> + ?Sized,
T: resolve::InputValueAs<'i, Self, SV, BH> + ?Sized,
SV: 'i,
BH: ?Sized,
{
@ -179,7 +179,7 @@ where
}
}
impl<'me, 'i, T, SV, BH> resolve::InputValueAs<'i, &'me T, SV, BH> for T
impl<'me, 'i, T, SV, BH> resolve::InputValueAs<'i, &'me Self, SV, BH> for T
where
'i: 'me,
T: resolve::InputValueAsRef<SV, BH> + ?Sized,
@ -188,11 +188,11 @@ where
{
type Error = T::Error;
fn try_from_input_value(v: &'i graphql::InputValue<SV>) -> Result<&'me T, Self::Error> {
fn try_from_input_value(v: &'i graphql::InputValue<SV>) -> Result<&'me Self, Self::Error> {
T::try_from_input_value(v)
}
fn try_from_implicit_null() -> Result<&'me T, Self::Error> {
fn try_from_implicit_null() -> Result<&'me Self, Self::Error> {
T::try_from_implicit_null()
}
}

17
juniper/src/types/slice.rs
View file

@ -2,7 +2,7 @@
//!
//! [slice]: prim@slice
use std::{rc::Rc, sync::Arc};
use std::{borrow::Cow, rc::Rc, sync::Arc};
use crate::{
behavior,
@ -78,6 +78,21 @@ where
}
}
impl<'me, 'i, T, SV, BH> resolve::InputValueAs<'i, Cow<'me, Self>, SV, BH> for [T]
where
Vec<T>: resolve::InputValue<'i, SV, BH>,
SV: 'i,
BH: ?Sized,
Self: ToOwned,
{
type Error = <Vec<T> as resolve::InputValue<'i, SV, BH>>::Error;
fn try_from_input_value(v: &'i graphql::InputValue<SV>) -> Result<Cow<'me, Self>, Self::Error> {
<Vec<T> as resolve::InputValue<'i, SV, BH>>::try_from_input_value(v)
.map(|v| Cow::Owned(v.to_owned()))
}
}
impl<'i, T, SV, BH> resolve::InputValueAs<'i, Box<Self>, SV, BH> for [T]
where
Vec<T>: resolve::InputValue<'i, SV, BH>,

37
juniper/src/types/str.rs
View file

@ -2,7 +2,7 @@
//!
//! [`str`]: primitive@std::str
use std::{rc::Rc, sync::Arc};
use std::{borrow::Cow, rc::Rc, sync::Arc};
use futures::future;
@ -84,6 +84,19 @@ impl<SV: ScalarValue> resolve::InputValueAsRef<SV> for str {
}
}
impl<'me, 'i, SV> resolve::InputValueAs<'i, Cow<'me, Self>, SV> for str
where
'i: 'me,
SV: 'i,
Self: resolve::InputValueAsRef<SV>,
{
type Error = <Self as resolve::InputValueAsRef<SV>>::Error;
fn try_from_input_value(v: &'i graphql::InputValue<SV>) -> Result<Cow<'me, Self>, Self::Error> {
<Self as resolve::InputValueAsRef<SV>>::try_from_input_value(v).map(Cow::Borrowed)
}
}
impl<'i, SV> resolve::InputValueAs<'i, Box<Self>, SV> for str
where
SV: 'i,
@ -140,6 +153,17 @@ where
fn assert_input_type() {}
}
impl<'me, 'i, TI, SV> graphql::InputTypeAs<'i, Cow<'me, Self>, TI, SV> for str
where
Self: graphql::Type<TI, SV>
+ resolve::ToInputValue<SV>
+ resolve::InputValueAs<'i, Cow<'me, Self>, SV>,
TI: ?Sized,
SV: 'i,
{
fn assert_input_type() {}
}
impl<'i, TI, SV> graphql::InputTypeAs<'i, Box<Self>, TI, SV> for str
where
Self: graphql::Type<TI, SV>
@ -192,6 +216,17 @@ where
fn assert_scalar() {}
}
impl<'me, 'i, TI, CX, SV> graphql::ScalarAs<'i, Cow<'me, Self>, TI, CX, SV> for str
where
Self: graphql::InputTypeAs<'i, Cow<'me, Self>, TI, SV>
+ graphql::OutputType<TI, CX, SV>
+ resolve::ScalarToken<SV>,
TI: ?Sized,
SV: 'i,
{
fn assert_scalar() {}
}
impl<'i, TI, CX, SV> graphql::ScalarAs<'i, Box<Self>, TI, CX, SV> for str
where
Self: graphql::InputTypeAs<'i, Box<Self>, TI, SV>