ExprMonad

oxygen.meta.ExprMonad
See theExprMonad companion trait
object ExprMonad

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ExprMonad.type

Members list

Type members

Types

type EitherT[L] = [R] =>> Either[L, R]

Givens

Givens

given either[L : Type]: ExprMonad[EitherT[L]]
given option: ExprMonad[Option]