Lines Matching refs:using
55 using type = Type<T>;
60 using type = Type<T>;
65 using type = Type<T>;
70 using type = Type<T>;
75 using type = Type<T>;
80 using type = Type<T>;
85 using type = Type<T>;
90 using type = None;
95 using type = Type<T>;
100 using type = Type<T>;
105 using type = Type<T>;
112 using type = TransformVector(V, GetClassForType);
125 using type = Type<T>;
130 using type = Type<T>;
135 using type = Type<T>;
140 using type = Type<T>;
145 using type = Type<T>;
150 using type = Type<T>;
155 using type = Type<T>;
160 using type = None;
165 using type = Type<T>;
170 using type = Type<T>;
175 using type = Type<fruit::Annotated<Annotation, UnwrapType<Eval<NormalizeType(Type<T>)>>>>;
182 using type = If(IsSame(NormalizeType(T), T), T, NormalizeUntilStable(NormalizeType(T)));
189 using type = TransformVector(V, NormalizeType);
199 using type = Bool<false>;
204 using type = Bool<false>;
209 using type = Bool<true>;
214 using type = Bool<true>;
219 using type = Bool<false>;
224 using type = Bool<false>;
229 using type = Bool<true>;
234 using type = Bool<false>;
239 using type = Bool<true>;
244 using type = Bool<false>;
249 using type = TypeInjectionRequiresNonConstBinding(Type<T>);
260 using type = U;
265 using type = Type<fruit::Annotated<Annotation, U>>;
272 using type = Bool<false>;
277 using type = Bool<true>;
288 using type = Type<T>;
293 using type = Type<T>;
301 using type = ConstructError(NotASignatureErrorTag, AnnotatedSignature);
306 …using type = ConsSignature(RemoveAnnotations(Type<AnnotatedT>), Id<RemoveAnnotations(Type<Annotate…
314 using type = TransformVector(V, RemoveAnnotations);
325 using type = Type<T*>;
330 using type = Type<fruit::Annotated<Annotation, T*>>;
343 using type = CurrentResult;
348 using type = PushBack(CurrentResult, Type<T>);
352 using type = FoldVector(V, Helper, Vector<>);
363 using type = PushBack(CurrentResult, T);
369 using type = CurrentResult;
373 using type = FoldVector(V, Helper, Vector<>);
383 using type = Type<T>;
388 using type = Type<T>;
395 using type = TransformVector(V, UnlabelAssistedSingleType);
402 using type = RemoveAnnotationsFromVector(UnlabelAssisted(SignatureArgs(AnnotatedSignature)));
409 using type = ConsSignatureWithVector(RemoveAnnotations(SignatureType(AnnotatedSignature)),
417 using type = RemoveNonAssisted(SignatureArgs(AnnotatedSignature));
424 using type = ConsSignatureWithVector(RemoveAnnotations(SignatureType(AnnotatedSignature)),
432 using type = Bool<false>;
437 using type = Bool<true>;
447 using type = SumAll(typename IsAssisted::apply<Types>::type...);
458 using type = Int<0>;
463 using N = Int<n>;
464 using type = Minus(NumAssisted(V), NumAssisted(VectorRemoveFirstN(V, N)));
481 using type = decltype(test<C>(nullptr));
491 using type = Type<typename C::Inject>;
498 using C = RemoveAnnotations(AnnotatedC);
499 using DecoratedS = DoGetInjectAnnotation(C);
500 using SResult = SignatureType(DecoratedS);
501 using AnnotatedSArgs = SignatureArgs(DecoratedS);
502 using SArgs = RemoveAnnotationsFromVector(UnlabelAssisted(AnnotatedSArgs));
504 using AnnotatedDecoratedS = ConsSignatureWithVector(AnnotatedC, AnnotatedSArgs);
505 using type = If(IsAbstract(C), ConstructError(CannotConstructAbstractClassErrorTag, C),
530 using RsSuperset = RsSupersetParam;
532 using Ps = PsParam;
538 using NonConstRsPs = NonConstRsPsParam;
540 using Deps = DepsParam;
542 using InterfaceBindings = InterfaceBindingsParam;
543 using DeferredBindingFunctors = DeferredBindingFunctorsParam;
568 using type = Comp<RsSupersetParam, PsParam, NonConstRsPsParam,
579 using type = typename Comp::Deps;
586 using type = typename Comp::Ps;
593 using type = typename Comp::RsSuperset;
600 using type = typename Comp::NonConstRsPs;
610 …using type = Bool<std::is_arithmetic<T>::value || std::is_class<T>::value || std::is_enum<T>::valu…
615 using type = Bool<false>;
620 using type = Bool<false>;
628 using type = IsInjectableBareType(NormalizeType(T));
636 using type = If(Not(IsInjectableType(T)), ConstructError(NonInjectableTypeErrorTag, T), None);
647 using type = PropagateError(CheckInjectableType(T), CurrentResult);
653 using type = FoldVector(V, Helper, None);
668 using NormalizedType = NormalizeType(T);
669 using type = PropagateError(CheckInjectableType(RemoveAnnotations(NormalizeUntilStable(T))),
677 using type = Fold(Helper, None, Type<Types>...);
692 using TypeWithoutAnnotations = RemoveAnnotations(T);
693 using type = If(Not(IsSame(TypeWithoutAnnotations, T)),
698 using type = Fold(Helper, None, Type<Types>...);
710 using type = None;
715 using type = CheckNoRequiredTypesInComponentArguments(Vector<OtherTypes...>);
720 …using type = ConstructError(RequiredTypesInComponentArgumentsErrorTag, Type<fruit::Required<Requir…
729 using type = None;
734 using type = CheckNoRequiredTypesInInjectorArguments(Types...);
739 using type = ConstructError(InjectorWithRequirementsErrorTag, Type<RequiredArgs>...);
751 …using type = If(HasDuplicates(Vector<Types...>), ConstructError(RepeatedTypesErrorTag, Types...), …
761 using type = Type<T>;
766 using type = Type<T>;
771 using type = Type<fruit::Annotated<Annotation, T>>;
776 using type = Type<fruit::Annotated<Annotation, T>>;
786 using type = ConsVector(Id<RemoveConstFromType(Types)>...);
797 using type = Vector<AccContent...>;
802 using type = Vector<AccContent..., Type<T>>;
807 using type = Vector<AccContent...>;
812 using type = Vector<AccContent..., Type<fruit::Annotated<Annotation, T>>>;
818 using type = FoldVector(V, Helper, Vector<>);
828 … using type = If(TypeInjectionRequiresNonConstBinding(T), PushBack(Acc, NormalizeType(T)), Acc);
834 using type = FoldVector(V, Helper, Vector<>);
842 using type = PropagateError(
857 using type1 = PropagateError(
870 using Loop = ProofForestFindLoop(GetComponentDeps(type1));
871 using type = If(IsNone(Loop), type1, ConstructErrorWithArgVector(SelfLoopErrorTag, Loop));
873 using type = type1;
884 … using type = If(And(IsInSet(T, typename Comp::Ps), Not(IsInSet(T, typename Comp::NonConstRsPs))),
889 using type = FoldVector(V, Helper, None);
898 …using Comp1 = ConsComp(FoldVector(NewRequirementsVector, AddToSet, typename Comp::RsSuperset), typ…
904 …using type = PropagateError(CheckTypesNotProvidedAsConst(Comp, NewNonConstRequirementsVector), Com…
912 using Comp1 = ConsComp(
920 using type = If(IsInSet(C, typename Comp::Ps), ConstructError(TypeAlreadyBoundErrorTag, C),
932 using type = If(Not(IsNone(FindInMap(typename Comp::InterfaceBindings, C))),
942 … using new_DeferredBindingFunctors = Cons<DeferredBinding, typename Comp::DeferredBindingFunctors>;
943 using type = ConsComp(typename Comp::RsSuperset, typename Comp::Ps, typename Comp::NonConstRsPs,
954 using Loop = ProofForestFindLoop(typename Comp::Deps);
955 using type = If(IsNone(Loop), Bool<true>, ConstructErrorWithArgVector(SelfLoopErrorTag, Loop));
963 using CompRs = SetDifference(typename Comp::RsSuperset, typename Comp::Ps);
964 …using EntailedCompRs = SetDifference(typename EntailedComp::RsSuperset, typename EntailedComp::Ps);
965 using CommonRs = SetIntersection(CompRs, EntailedCompRs);
966 using CommonPs = SetIntersection(typename Comp::Ps, typename EntailedComp::Ps);
967 using type =
1002 using type = If(IsAbstract(RemoveAnnotations(AnnotatedC)),