type go.pact.im/x/plumb/internal/gotypes.Set

31 uses

	go.pact.im/x/plumb/internal/gotypes (current package)
		gotypes.go#L55: type Set[T types.Type] struct{ m typeutil.Map }
		gotypes.go#L60: func (s *Set[T]) Add(t T) bool {
		gotypes.go#L69: func (s *Set[T]) Contains(t T) bool {
		gotypes.go#L75: func (s *Set[T]) Elements(yield func(T) bool) {
		subst.go#L125: 	return typeContains(t, &Set[types.Type]{}, func(x types.Type) bool {
		unify.go#L117: 	return typeContains(t, &Set[types.Type]{}, func(x types.Type) bool {
		unify.go#L127: 	return typeContains(t, &Set[types.Type]{}, func(x types.Type) bool {
		unify.go#L151: 	return typeDepthRec(t, &Set[types.Type]{})
		unify.go#L154: func typeDepthRec(t types.Type, seen *Set[types.Type]) int {
		walk.go#L15: 	walkNamed(t, &Set[types.Type]{}, visit)
		walk.go#L20: func walkNamed(t types.Type, seen *Set[types.Type], visit func(*types.TypeName) bool) {
		walk.go#L91: func walkTuple(tup *types.Tuple, seen *Set[types.Type], visit func(*types.TypeName) bool) {
		walk.go#L100: 	return typeContains(t, &Set[types.Type]{}, func(x types.Type) bool {
		walk.go#L110: 	return typeContains(t, &Set[types.Type]{}, func(x types.Type) bool {
		walk.go#L121: func typeContains(t types.Type, seen *Set[types.Type], pred func(types.Type) bool) bool {
		walk.go#L186: func tupleContains(tup *types.Tuple, seen *Set[types.Type], pred func(types.Type) bool) bool {

	go.pact.im/x/plumb/internal/solve
		finalize.go#L31: 	var consumed gotypes.Set[types.Type]                  // value types some instance consumes
		joint.go#L170: 		m = new(gotypes.Set[*types.Tuple])
		revision.go#L115: 		m = new(gotypes.Set[*types.Tuple])
		solve.go#L166: 	demand       gotypes.Set[types.Type]                           // demanded types, by type identity
		solve.go#L167: 	done         map[*discover.Provider]*gotypes.Set[*types.Tuple] // provider → set of instantiated type-arg lists (keyed by ListKey)
		solve.go#L168: 	jointDone    map[*discover.Provider]*gotypes.Set[*types.Tuple] // provider → set of joint-cluster pinnings (keyed by jointBindKey)
		solve.go#L169: 	nearMissDone map[*discover.Provider]*gotypes.Set[*types.Tuple] // provider → set of bindings that failed to instantiate (constraint near-miss)
		solve.go#L185: 	refusedUnions map[*discover.Provider]*gotypes.Set[*types.Tuple]
		solve.go#L215: 	refused := map[*discover.Provider]*gotypes.Set[*types.Tuple]{}
		solve.go#L224: 			done:          map[*discover.Provider]*gotypes.Set[*types.Tuple]{},
		solve.go#L225: 			jointDone:     map[*discover.Provider]*gotypes.Set[*types.Tuple]{},
		solve.go#L226: 			nearMissDone:  map[*discover.Provider]*gotypes.Set[*types.Tuple]{},
		solve.go#L586: 		m = new(gotypes.Set[*types.Tuple])
		solve.go#L604: 		m = new(gotypes.Set[*types.Tuple])
		solve.go#L722: 	var used gotypes.Set[types.Type]