feral-lambda/feral.lambda/IOLambda

IOLambda

object IOLambda
Companion
class
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.