Monadic instances for ULift
and PLift
#
In this file we define Monad
and IsLawfulMonad
instances on PLift
and ULift
.
@[simp]
Embedding of pure values.
Equations
Instances For
@[simp]
@[simp]
@[simp]
@[simp]
Embedding of pure values.
Equations
Instances For
@[simp]
@[simp]
@[simp]