bendns' repos / treaty
Diffstat (limited to 'src/build/builders/core/struct.rs')
-rw-r--r--src/build/builders/core/struct.rs32
1 files changed, 15 insertions, 17 deletions
diff --git a/src/build/builders/core/struct.rs b/src/build/builders/core/struct.rs
index d08d06e..e9abc9c 100644
--- a/src/build/builders/core/struct.rs
+++ b/src/build/builders/core/struct.rs
@@ -1,12 +1,11 @@
use core::fmt::{Debug, Display};
use effectful::{
- bound::{IsSend, IsSync, Dynamic},
+ bound::{Dynamic, IsSend, IsSync},
effective::Effective,
environment::{DynBind, Environment, NativeForm},
higher_ranked::Mut,
- SendSync,
- tri,
+ tri, SendSync,
};
use crate::{
@@ -70,8 +69,7 @@ enum StructKind {
///
/// The `Mode` generic allows implementations to change depending on the mode the user gives.
/// It is not used by the trait directly.
-pub trait StructTypeInfo<'ctx, Mode: 'ctx, E: Environment>: 'static
-{
+pub trait StructTypeInfo<'ctx, Mode: 'ctx, E: Environment>: 'static {
/// A struct of builders for each field.
type Builders: DynBind<E>;
@@ -164,7 +162,7 @@ where
impl<'ctx, Info, Mode, E: Environment> BuilderTypes<E> for StructBuilder<'ctx, Info, Mode, E>
where
Info: StructTypeInfo<'ctx, Mode, E>,
- Dynamic<Info::T>: DynBind<E>
+ Dynamic<Info::T>: DynBind<E>,
{
type Seed = Info::Seed;
@@ -211,13 +209,13 @@ where
Self: DynBind<E>,
Info: StructTypeInfo<'ctx, Mode, E>,
Dynamic<Info::T>: DynBind<E>,
- Info: StructTypeInfo<'ctx, Mode, E>,
+ Info: StructTypeInfo<'ctx, Mode, E>,
Dynamic<OwnedStatic<usize>>: DynBind<E>,
for<'a> Dynamic<&'a Info::T>: DynBind<E>,
for<'b, 'c> Dynamic<TypeName::T<'b, 'c, Info::ValueT, E>>: DynBind<E>,
- Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
+ Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
for<'b, 'c> Dynamic<&'b TypeName::T<'b, 'c, Info::ValueT, E>>: DynBind<E>,
- for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
+ for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
{
fn from_seed<'a>(seed: Self::Seed) -> NativeForm<'a, Self, E>
where
@@ -260,12 +258,12 @@ where
Self: DynBind<E>,
Info: StructTypeInfo<'ctx, Mode, E>,
Dynamic<Info::T>: DynBind<E>,
- Info: StructTypeInfo<'ctx, Mode, E>,
- Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
+ Info: StructTypeInfo<'ctx, Mode, E>,
+ Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
for<'a> Dynamic<&'a Info::T>: DynBind<E>,
Dynamic<OwnedStatic<usize>>: DynBind<E>,
for<'b, 'c> Dynamic<TypeName::T<'b, 'c, Info::ValueT, E>>: DynBind<E>,
- for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
+ for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
for<'b, 'c> Dynamic<&'b TypeName::T<'b, 'c, Info::ValueT, E>>: DynBind<E>,
{
fn as_visitor<'a>(&'a mut self) -> DynVisitor<'a, 'ctx, E>
@@ -308,7 +306,7 @@ where
for<'b, 'c> Dynamic<&'b TypeName::T<'b, 'c, Info::ValueT, E>>: DynBind<E>,
Dynamic<OwnedStatic<usize>>: DynBind<E>,
for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
- Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
+ Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
E: Environment,
{
#[inline(always)]
@@ -463,8 +461,8 @@ impl<'ctx, Info, Mode: 'ctx, E> Sequence<'ctx, E> for StructBuilder<'ctx, Info,
where
Self: DynBind<E>,
Info: StructTypeInfo<'ctx, Mode, E>,
- for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
- Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
+ for<'b> Dynamic<TempBorrowedStatic<'b, str>>: DynBind<E>,
+ Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
Dynamic<OwnedStatic<usize>>: DynBind<E>,
E: Environment,
{
@@ -581,8 +579,8 @@ where
E: Environment,
I: StructTypeInfo<'ctx, M, E>,
Dynamic<OwnedStatic<usize>>: DynBind<E>,
- Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
- for<'a> Dynamic<TempBorrowedStatic<'a, str>>: DynBind<E>,
+ Dynamic<OwnedStatic<&'static str>>: DynBind<E>,
+ for<'a> Dynamic<TempBorrowedStatic<'a, str>>: DynBind<E>,
{
fn visit<'a: 'c, 'b: 'c, 'c>(
&'a mut self,