mirror of
https://github.com/IBM/fp-go.git
synced 2025-07-01 00:44:55 +02:00
fix: generate DI variations
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
This commit is contained in:
Dr. Carsten Leue
@ -34,5 +34,6 @@ func Commands() []*C.Command {
|
|||||||
IOEitherCommand(),
|
IOEitherCommand(),
|
||||||
IOCommand(),
|
IOCommand(),
|
||||||
IOOptionCommand(),
|
IOOptionCommand(),
|
||||||
|
DICommand(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
231
cli/di.go
Normal file
231
cli/di.go
Normal file
@ -0,0 +1,231 @@
|
|||||||
|
// Copyright (c) 2023 IBM Corp.
|
||||||
|
// All rights reserved.
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// http://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
package cli
|
||||||
|
|
||||||
|
import (
|
||||||
|
"fmt"
|
||||||
|
"log"
|
||||||
|
"os"
|
||||||
|
"path/filepath"
|
||||||
|
"time"
|
||||||
|
|
||||||
|
C "github.com/urfave/cli/v2"
|
||||||
|
)
|
||||||
|
|
||||||
|
func generateMakeProvider(f *os.File, i int) {
|
||||||
|
// non generic version
|
||||||
|
fmt.Fprintf(f, "\n// MakeProvider%d creates a [DIE.Provider] for an [InjectionToken] from a function with %d dependencies\n", i, i)
|
||||||
|
fmt.Fprintf(f, "func MakeProvider%d[", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " any, R any](\n")
|
||||||
|
fmt.Fprintf(f, " token InjectionToken[R],\n")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d Dependency[T%d],\n", j+1, j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " f func(")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, ") IOE.IOEither[error, R],\n")
|
||||||
|
fmt.Fprintf(f, ") DIE.Provider {\n")
|
||||||
|
fmt.Fprint(f, " return DIE.MakeProvider(\n")
|
||||||
|
fmt.Fprint(f, " token,\n")
|
||||||
|
fmt.Fprintf(f, " MakeProviderFactory%d(\n", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d,\n", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprint(f, " f,\n")
|
||||||
|
fmt.Fprint(f, " ))\n")
|
||||||
|
fmt.Fprintf(f, "}\n")
|
||||||
|
}
|
||||||
|
|
||||||
|
func generateMakeTokenWithDefault(f *os.File, i int) {
|
||||||
|
// non generic version
|
||||||
|
fmt.Fprintf(f, "\n// MakeTokenWithDefault%d creates an [InjectionToken] with a default implementation with %d dependenciess\n", i, i)
|
||||||
|
fmt.Fprintf(f, "func MakeTokenWithDefault%d[", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " any, R any](\n")
|
||||||
|
fmt.Fprintf(f, " name string,\n")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d Dependency[T%d],\n", j+1, j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " f func(")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, ") IOE.IOEither[error, R],\n")
|
||||||
|
fmt.Fprintf(f, ") InjectionToken[R] {\n")
|
||||||
|
fmt.Fprintf(f, " return MakeTokenWithDefault[R](name, MakeProviderFactory%d(\n", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d,\n", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprint(f, " f,\n")
|
||||||
|
fmt.Fprint(f, " ))\n")
|
||||||
|
fmt.Fprintf(f, "}\n")
|
||||||
|
}
|
||||||
|
|
||||||
|
func generateMakeProviderFactory(f *os.File, i int) {
|
||||||
|
// non generic version
|
||||||
|
fmt.Fprintf(f, "\n// MakeProviderFactory%d creates a [DIE.ProviderFactory] from a function with %d arguments and %d dependencies\n", i, i, i)
|
||||||
|
fmt.Fprintf(f, "func MakeProviderFactory%d[", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " any, R any](\n")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d Dependency[T%d],\n", j+1, j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " f func(")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, ") IOE.IOEither[error, R],\n")
|
||||||
|
fmt.Fprintf(f, ") DIE.ProviderFactory {\n")
|
||||||
|
fmt.Fprint(f, " return DIE.MakeProviderFactory(\n")
|
||||||
|
fmt.Fprint(f, " A.From[DIE.Dependency](\n")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d,\n", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprint(f, " ),\n")
|
||||||
|
fmt.Fprintf(f, " eraseProviderFactory%d(\n", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d,\n", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprint(f, " f,\n")
|
||||||
|
fmt.Fprint(f, " ),\n")
|
||||||
|
fmt.Fprint(f, " )\n")
|
||||||
|
fmt.Fprintf(f, "}\n")
|
||||||
|
}
|
||||||
|
|
||||||
|
func generateEraseProviderFactory(f *os.File, i int) {
|
||||||
|
// non generic version
|
||||||
|
fmt.Fprintf(f, "\n// eraseProviderFactory%d creates a function that takes a variadic number of untyped arguments and from a function of %d strongly typed arguments and %d dependencies\n", i, i, i)
|
||||||
|
fmt.Fprintf(f, "func eraseProviderFactory%d[", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " any, R any](\n")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " d%d Dependency[T%d],\n", j+1, j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, " f func(")
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
if j > 0 {
|
||||||
|
fmt.Fprintf(f, ", ")
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, "T%d", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprintf(f, ") IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {\n")
|
||||||
|
fmt.Fprintf(f, " ft := eraseTuple(T.Tupled%d(f))\n", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " t%d := lookupAt[T%d](%d, d%d)\n", j+1, j+1, j, j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprint(f, " return func(params ...any) IOE.IOEither[error, any] {\n")
|
||||||
|
fmt.Fprintf(f, " return ft(E.SequenceT%d(\n", i)
|
||||||
|
for j := 0; j < i; j++ {
|
||||||
|
fmt.Fprintf(f, " t%d(params),\n", j+1)
|
||||||
|
}
|
||||||
|
fmt.Fprint(f, " ))\n")
|
||||||
|
fmt.Fprint(f, " }\n")
|
||||||
|
fmt.Fprintf(f, "}\n")
|
||||||
|
}
|
||||||
|
|
||||||
|
func generateDIHelpers(filename string, count int) error {
|
||||||
|
dir, err := os.Getwd()
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
absDir, err := filepath.Abs(dir)
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
pkg := filepath.Base(absDir)
|
||||||
|
f, err := os.Create(filepath.Clean(filename))
|
||||||
|
if err != nil {
|
||||||
|
return err
|
||||||
|
}
|
||||||
|
defer f.Close()
|
||||||
|
// log
|
||||||
|
log.Printf("Generating code in [%s] for package [%s] with [%d] repetitions ...", filename, pkg, count)
|
||||||
|
|
||||||
|
// some header
|
||||||
|
fmt.Fprintln(f, "// Code generated by go generate; DO NOT EDIT.")
|
||||||
|
fmt.Fprintln(f, "// This file was generated by robots at")
|
||||||
|
fmt.Fprintf(f, "// %s\n\n", time.Now())
|
||||||
|
|
||||||
|
fmt.Fprintf(f, "package %s\n\n", pkg)
|
||||||
|
|
||||||
|
fmt.Fprint(f, `
|
||||||
|
import (
|
||||||
|
E "github.com/IBM/fp-go/either"
|
||||||
|
IOE "github.com/IBM/fp-go/ioeither"
|
||||||
|
T "github.com/IBM/fp-go/tuple"
|
||||||
|
A "github.com/IBM/fp-go/array"
|
||||||
|
DIE "github.com/IBM/fp-go/di/erasure"
|
||||||
|
)
|
||||||
|
`)
|
||||||
|
|
||||||
|
for i := 1; i <= count; i++ {
|
||||||
|
generateEraseProviderFactory(f, i)
|
||||||
|
generateMakeProviderFactory(f, i)
|
||||||
|
generateMakeTokenWithDefault(f, i)
|
||||||
|
generateMakeProvider(f, i)
|
||||||
|
}
|
||||||
|
|
||||||
|
return nil
|
||||||
|
}
|
||||||
|
|
||||||
|
func DICommand() *C.Command {
|
||||||
|
return &C.Command{
|
||||||
|
Name: "di",
|
||||||
|
Usage: "generate code for the dependency injection package",
|
||||||
|
Flags: []C.Flag{
|
||||||
|
flagCount,
|
||||||
|
flagFilename,
|
||||||
|
},
|
||||||
|
Action: func(ctx *C.Context) error {
|
||||||
|
return generateDIHelpers(
|
||||||
|
ctx.String(keyFilename),
|
||||||
|
ctx.Int(keyCount),
|
||||||
|
)
|
||||||
|
},
|
||||||
|
}
|
||||||
|
}
|
||||||
19
di/doc.go
Normal file
19
di/doc.go
Normal file
@ -0,0 +1,19 @@
|
|||||||
|
// Copyright (c) 2023 IBM Corp.
|
||||||
|
// All rights reserved.
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// http://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
package di
|
||||||
|
|
||||||
|
//go:generate go run .. di --count 10 --filename gen.go
|
||||||
219
di/provider.go
219
di/provider.go
@ -21,7 +21,6 @@ import (
|
|||||||
"github.com/IBM/fp-go/errors"
|
"github.com/IBM/fp-go/errors"
|
||||||
F "github.com/IBM/fp-go/function"
|
F "github.com/IBM/fp-go/function"
|
||||||
IOE "github.com/IBM/fp-go/ioeither"
|
IOE "github.com/IBM/fp-go/ioeither"
|
||||||
T "github.com/IBM/fp-go/tuple"
|
|
||||||
)
|
)
|
||||||
|
|
||||||
func lookupAt[T any](idx int, token Dependency[T]) func(params []any) E.Either[error, T] {
|
func lookupAt[T any](idx int, token Dependency[T]) func(params []any) E.Either[error, T] {
|
||||||
@ -32,6 +31,14 @@ func lookupAt[T any](idx int, token Dependency[T]) func(params []any) E.Either[e
|
|||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
func eraseTuple[A, R any](f func(A) IOE.IOEither[error, R]) func(E.Either[error, A]) IOE.IOEither[error, any] {
|
||||||
|
return F.Flow3(
|
||||||
|
IOE.FromEither[error, A],
|
||||||
|
IOE.Chain(f),
|
||||||
|
IOE.Map[error](F.ToAny[R]),
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
func eraseProviderFactory0[R any](f func() IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {
|
func eraseProviderFactory0[R any](f func() IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {
|
||||||
return func(params ...any) IOE.IOEither[error, any] {
|
return func(params ...any) IOE.IOEither[error, any] {
|
||||||
return F.Pipe1(
|
return F.Pipe1(
|
||||||
@ -41,78 +48,6 @@ func eraseProviderFactory0[R any](f func() IOE.IOEither[error, R]) func(params .
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
func eraseProviderFactory1[T1 any, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
f func(T1) IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
ft := T.Tupled1(f)
|
|
||||||
t1 := lookupAt[T1](0, d1)
|
|
||||||
return func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
return F.Pipe3(
|
|
||||||
E.SequenceT1(t1(params)),
|
|
||||||
IOE.FromEither[error, T.Tuple1[T1]],
|
|
||||||
IOE.Chain(ft),
|
|
||||||
IOE.Map[error](F.ToAny[R]),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
func eraseProviderFactory2[T1, T2 any, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
f func(T1, T2) IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
ft := T.Tupled2(f)
|
|
||||||
t1 := lookupAt[T1](0, d1)
|
|
||||||
t2 := lookupAt[T2](1, d2)
|
|
||||||
return func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
return F.Pipe3(
|
|
||||||
E.SequenceT2(t1(params), t2(params)),
|
|
||||||
IOE.FromEither[error, T.Tuple2[T1, T2]],
|
|
||||||
IOE.Chain(ft),
|
|
||||||
IOE.Map[error](F.ToAny[R]),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
func eraseProviderFactory3[T1, T2, T3 any, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
f func(T1, T2, T3) IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
ft := T.Tupled3(f)
|
|
||||||
t1 := lookupAt[T1](0, d1)
|
|
||||||
t2 := lookupAt[T2](1, d2)
|
|
||||||
t3 := lookupAt[T3](2, d3)
|
|
||||||
return func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
return F.Pipe3(
|
|
||||||
E.SequenceT3(t1(params), t2(params), t3(params)),
|
|
||||||
IOE.FromEither[error, T.Tuple3[T1, T2, T3]],
|
|
||||||
IOE.Chain(ft),
|
|
||||||
IOE.Map[error](F.ToAny[R]),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
func eraseProviderFactory4[T1, T2, T3, T4 any, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
d4 Dependency[T4],
|
|
||||||
f func(T1, T2, T3, T4) IOE.IOEither[error, R]) func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
ft := T.Tupled4(f)
|
|
||||||
t1 := lookupAt[T1](0, d1)
|
|
||||||
t2 := lookupAt[T2](1, d2)
|
|
||||||
t3 := lookupAt[T3](2, d3)
|
|
||||||
t4 := lookupAt[T4](3, d4)
|
|
||||||
return func(params ...any) IOE.IOEither[error, any] {
|
|
||||||
return F.Pipe3(
|
|
||||||
E.SequenceT4(t1(params), t2(params), t3(params), t4(params)),
|
|
||||||
IOE.FromEither[error, T.Tuple4[T1, T2, T3, T4]],
|
|
||||||
IOE.Chain(ft),
|
|
||||||
IOE.Map[error](F.ToAny[R]),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProviderFactory0[R any](
|
func MakeProviderFactory0[R any](
|
||||||
fct func() IOE.IOEither[error, R],
|
fct func() IOE.IOEither[error, R],
|
||||||
) DIE.ProviderFactory {
|
) DIE.ProviderFactory {
|
||||||
@ -137,144 +72,6 @@ func MakeProvider0[R any](
|
|||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
func MakeProviderFactory1[T1, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
fct func(T1) IOE.IOEither[error, R],
|
|
||||||
) DIE.ProviderFactory {
|
|
||||||
|
|
||||||
return DIE.MakeProviderFactory(
|
|
||||||
A.From[DIE.Dependency](d1),
|
|
||||||
eraseProviderFactory1(d1, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
// MakeTokenWithDefault1 create a unique `InjectionToken` for a specific type with an attached default provider
|
|
||||||
func MakeTokenWithDefault1[T1, R any](name string,
|
|
||||||
d1 Dependency[T1],
|
|
||||||
fct func(T1) IOE.IOEither[error, R]) InjectionToken[R] {
|
|
||||||
return MakeTokenWithDefault[R](name, MakeProviderFactory1(d1, fct))
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProvider1[T1, R any](
|
|
||||||
token InjectionToken[R],
|
|
||||||
d1 Dependency[T1],
|
|
||||||
fct func(T1) IOE.IOEither[error, R],
|
|
||||||
) DIE.Provider {
|
|
||||||
|
|
||||||
return DIE.MakeProvider(
|
|
||||||
token,
|
|
||||||
MakeProviderFactory1(d1, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProviderFactory2[T1, T2, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
fct func(T1, T2) IOE.IOEither[error, R],
|
|
||||||
) DIE.ProviderFactory {
|
|
||||||
|
|
||||||
return DIE.MakeProviderFactory(
|
|
||||||
A.From[DIE.Dependency](d1, d2),
|
|
||||||
eraseProviderFactory2(d1, d2, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
// MakeTokenWithDefault2 create a unique `InjectionToken` for a specific type with an attached default provider
|
|
||||||
func MakeTokenWithDefault2[T1, T2, R any](name string,
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
fct func(T1, T2) IOE.IOEither[error, R]) InjectionToken[R] {
|
|
||||||
return MakeTokenWithDefault[R](name, MakeProviderFactory2(d1, d2, fct))
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProvider2[T1, T2, R any](
|
|
||||||
token InjectionToken[R],
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
fct func(T1, T2) IOE.IOEither[error, R],
|
|
||||||
) DIE.Provider {
|
|
||||||
|
|
||||||
return DIE.MakeProvider(
|
|
||||||
token,
|
|
||||||
MakeProviderFactory2(d1, d2, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProviderFactory3[T1, T2, T3, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
fct func(T1, T2, T3) IOE.IOEither[error, R],
|
|
||||||
) DIE.ProviderFactory {
|
|
||||||
|
|
||||||
return DIE.MakeProviderFactory(
|
|
||||||
A.From[DIE.Dependency](d1, d2, d3),
|
|
||||||
eraseProviderFactory3(d1, d2, d3, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
// MakeTokenWithDefault3 create a unique `InjectionToken` for a specific type with an attached default provider
|
|
||||||
func MakeTokenWithDefault3[T1, T2, T3, R any](name string,
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
fct func(T1, T2, T3) IOE.IOEither[error, R]) InjectionToken[R] {
|
|
||||||
return MakeTokenWithDefault[R](name, MakeProviderFactory3(d1, d2, d3, fct))
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProvider3[T1, T2, T3, R any](
|
|
||||||
token InjectionToken[R],
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
fct func(T1, T2, T3) IOE.IOEither[error, R],
|
|
||||||
) DIE.Provider {
|
|
||||||
|
|
||||||
return DIE.MakeProvider(
|
|
||||||
token,
|
|
||||||
MakeProviderFactory3(d1, d2, d3, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProviderFactory4[T1, T2, T3, T4, R any](
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
d4 Dependency[T4],
|
|
||||||
fct func(T1, T2, T3, T4) IOE.IOEither[error, R],
|
|
||||||
) DIE.ProviderFactory {
|
|
||||||
|
|
||||||
return DIE.MakeProviderFactory(
|
|
||||||
A.From[DIE.Dependency](d1, d2, d3, d4),
|
|
||||||
eraseProviderFactory4(d1, d2, d3, d4, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
// MakeTokenWithDefault4 create a unique `InjectionToken` for a specific type with an attached default provider
|
|
||||||
func MakeTokenWithDefault4[T1, T2, T3, T4, R any](name string,
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
d4 Dependency[T4],
|
|
||||||
fct func(T1, T2, T3, T4) IOE.IOEither[error, R]) InjectionToken[R] {
|
|
||||||
return MakeTokenWithDefault[R](name, MakeProviderFactory4(d1, d2, d3, d4, fct))
|
|
||||||
}
|
|
||||||
|
|
||||||
func MakeProvider4[T1, T2, T3, T4, R any](
|
|
||||||
token InjectionToken[R],
|
|
||||||
d1 Dependency[T1],
|
|
||||||
d2 Dependency[T2],
|
|
||||||
d3 Dependency[T3],
|
|
||||||
d4 Dependency[T4],
|
|
||||||
fct func(T1, T2, T3, T4) IOE.IOEither[error, R],
|
|
||||||
) DIE.Provider {
|
|
||||||
|
|
||||||
return DIE.MakeProvider(
|
|
||||||
token,
|
|
||||||
MakeProviderFactory4(d1, d2, d3, d4, fct),
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
// ConstProvider simple implementation for a provider with a constant value
|
// ConstProvider simple implementation for a provider with a constant value
|
||||||
func ConstProvider[R any](token InjectionToken[R], value R) DIE.Provider {
|
func ConstProvider[R any](token InjectionToken[R], value R) DIE.Provider {
|
||||||
return MakeProvider0[R](token, F.Constant(IOE.Of[error](value)))
|
return MakeProvider0[R](token, F.Constant(IOE.Of[error](value)))
|
||||||
|
|||||||
Reference in New Issue
Block a user