Diffstat (limited to 'src/macros/build.rs')
| -rw-r--r-- | src/macros/build.rs | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/macros/build.rs b/src/macros/build.rs index 14e4443..4272bed 100644 --- a/src/macros/build.rs +++ b/src/macros/build.rs @@ -9,7 +9,7 @@ macro_rules! Build { #[allow(non_upper_case_globals, non_snake_case, non_camel_case_types)] const _: () = { // add a module here to seal fields. - impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::Build<'ctx, M, E> for $name + impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::Build<'ctx, M, E> for $name where effectful::bound::Dynamic<$name>: effectful::environment::DynBind<E>, $($type: $crate::Build<'ctx, M, E>,)* @@ -19,7 +19,7 @@ macro_rules! Build { } #[derive(SendSync)] - $vis struct Builders<'ctx, M: 'ctx, E: effectful::environment::Environment> + $vis struct Builders<'ctx, M: 'ctx, E: effectful::environment::Environment> where $($type: $crate::Build<'ctx, M, E>),* { @@ -40,7 +40,7 @@ macro_rules! Build { } #[derive(SendSync)] - $vis enum Error<'ctx, M: 'ctx, E: effectful::environment::Environment> + $vis enum Error<'ctx, M: 'ctx, E: effectful::environment::Environment> where $($type: $crate::Build<'ctx, M, E>),* { @@ -55,7 +55,7 @@ macro_rules! Build { } } - impl<'ctx, M: 'ctx, E: effectful::environment::Environment> ::core::fmt::Debug for Error<'ctx, M, E> + impl<'ctx, M: 'ctx, E: effectful::environment::Environment> ::core::fmt::Debug for Error<'ctx, M, E> where $($type: $crate::Build<'ctx, M, E>),* { @@ -66,7 +66,7 @@ macro_rules! Build { } } - impl<'ctx, M: 'ctx, E: effectful::environment::Environment> ::core::fmt::Display for Error<'ctx, M, E> + impl<'ctx, M: 'ctx, E: effectful::environment::Environment> ::core::fmt::Display for Error<'ctx, M, E> where $($type: $crate::Build<'ctx, M, E>),* { @@ -80,7 +80,7 @@ macro_rules! Build { #[derive(SendSync)] $vis struct __Info; - impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::builders::core::r#struct::StructTypeInfo<'ctx, M, E> for __Info + impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::builders::core::r#struct::StructTypeInfo<'ctx, M, E> for __Info where effectful::bound::Dynamic<$name>: effectful::environment::DynBind<E>, $($type: $crate::Build<'ctx, M, E>),* @@ -168,7 +168,7 @@ macro_rules! Build { #[allow(non_upper_case_globals, non_snake_case, non_camel_case_types)] const _: () = { // add a module here to seal fields. - impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::Build<'ctx, M, E> for $name + impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::Build<'ctx, M, E> for $name where effectful::bound::Dynamic<$name>: effectful::environment::DynBind<E>, $($value: $crate::Build<'ctx, M, E>,)* @@ -182,7 +182,7 @@ macro_rules! Build { $vis struct __Info; #[derive(SendSync)] - $vis enum __Builders<'ctx, M, E: effectful::environment::Environment> + $vis enum __Builders<'ctx, M, E: effectful::environment::Environment> where $($value: $crate::Build<'ctx, M, E>),* { @@ -211,7 +211,7 @@ macro_rules! Build { } #[derive(SendSync)] - $vis struct __ErrorBuilder<'ctx, M, E: Environment> + $vis struct __ErrorBuilder<'ctx, M, E: Environment> where $($value: $crate::Build<'ctx, M, E>),* { @@ -219,7 +219,7 @@ macro_rules! Build { } #[derive(SendSync)] - $vis enum __Error<'ctx, M, E: Environment> + $vis enum __Error<'ctx, M, E: Environment> where $($value: $crate::Build<'ctx, M, E>),* { @@ -229,7 +229,7 @@ macro_rules! Build { $($variant(<<$value as $crate::Build<'ctx, M, E>>::Builder as BuilderTypes<E>>::Error)),* } - impl<'ctx, M, E: Environment> ::core::fmt::Display for __Error<'ctx, M, E> + impl<'ctx, M, E: Environment> ::core::fmt::Display for __Error<'ctx, M, E> where $($value: $crate::Build<'ctx, M, E>),* { @@ -247,7 +247,7 @@ macro_rules! Build { } } - impl<'ctx, M, E: Environment> ::core::fmt::Debug for __Error<'ctx, M, E> + impl<'ctx, M, E: Environment> ::core::fmt::Debug for __Error<'ctx, M, E> where $($value: $crate::Build<'ctx, M, E>),* { @@ -265,7 +265,7 @@ macro_rules! Build { } } - impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::builders::core::r#enum::EnumBuildInfo<'ctx, M, E> for __Info + impl<'ctx, M: 'ctx, E: effectful::environment::Environment> $crate::builders::core::r#enum::EnumBuildInfo<'ctx, M, E> for __Info where effectful::bound::Dynamic<$name>: effectful::environment::DynBind<E>, $($value: $crate::Build<'ctx, M, E>,)* @@ -336,7 +336,7 @@ macro_rules! Build { E::value((scope, Err(__ErrorBuilder::<M, E> { A: None, B: None }))) $(.or_else_update((), |_, scope, result| { let mut error = result.into_error(); - + <<$value as Build<M, E>>::Builder as Builder<_>>::from_seed(Default::default()) .map(scope, |scope, builder| (scope, builder)) .update((), |(), (scope, builder)| scope.new_walk(builder.as_visitor()).cast()) |