The bottom type of all standard effects. It is used by the DBIO and StreamingDBIO
type aliases instead of Nothing because the compiler does not properly infer Nothing
where needed. You can still introduce your own custom effect types but they will not be
used by DBIO and StreamingDBIO, so you either have to define your own type aliases
or spell out the proper DBIOAction types in type annotations.
The bottom type of all standard effects. It is used by the
DBIO
andStreamingDBIO
type aliases instead ofNothing
because the compiler does not properly inferNothing
where needed. You can still introduce your own custom effect types but they will not be used byDBIO
andStreamingDBIO
, so you either have to define your own type aliases or spell out the properDBIOAction
types in type annotations.