Skip to content

Commit

Permalink
Update MemberImplicits.scala
Browse files Browse the repository at this point in the history
  • Loading branch information
xuwei-k committed Jul 25, 2021
1 parent 1ffd10b commit baa6acf
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions src/test/scala/org/atnos/site/MemberImplicits.scala
Original file line number Diff line number Diff line change
Expand Up @@ -62,9 +62,11 @@ There are 3 different ways to declare that an effect is part of an effect stack

Some function signatures can be repetitive when they always require the same list of effects:

def foo1[R :_foo :_bar :_baz](i: Int): Eff[R, Int]
def foo2[R :_foo :_bar :_baz](i: Int): Eff[R, Int]
def foo3[R :_foo :_bar :_baz](i: Int): Eff[R, Int]
```scala
def foo1[R :_foo :_bar :_baz](i: Int): Eff[R, Int]
def foo2[R :_foo :_bar :_baz](i: Int): Eff[R, Int]
def foo3[R :_foo :_bar :_baz](i: Int): Eff[R, Int]
```

It is possible to "pack" them with the following `_effects` type definition:${snippet{

Expand Down

0 comments on commit baa6acf

Please sign in to comment.