feral-lambda/feral.lambda/INothing

INothing

object INothing
class Object
trait Matchable
class Any

Implicits

Implicits

@nowarn("msg=dead code following this construct")
implicit
val nothingEncoder: Encoder[INothing]

This can't actually be used. It's here because IOLambda demands an Encoder for its result type, which should be Nothing when no output is desired. Userland code will return an Option[Nothing] which is only inhabited by None, and the encoder is only used when the userland code returns Some.

This can't actually be used. It's here because IOLambda demands an Encoder for its result type, which should be Nothing when no output is desired. Userland code will return an Option[Nothing] which is only inhabited by None, and the encoder is only used when the userland code returns Some.