instance instToBoolOption {α : Type u_1} : ToBool (Option α)

def OptionT (m : Type u → Type v) (α : Type u) : Type v

@[inline]

def OptionT.run {m : Type u → Type v} {α : Type u} (x : OptionT m α) : m (Option α)

def OptionT.mk {m : Type u → Type v} {α : Type u} (x : m (Option α)) : OptionT m α

@[inline]

def OptionT.bind {m : Type u → Type v} [Monad m] {α : Type u} {β : Type u} (x : OptionT m α) (f : α → OptionT m β) : OptionT m β

@[inline]

def OptionT.pure {m : Type u → Type v} [Monad m] {α : Type u} (a : α) : OptionT m α

@[always_inline]

instance OptionT.instMonadOptionT {m : Type u → Type v} [Monad m] : Monad (OptionT m)

@[inline]

def OptionT.orElse {m : Type u → Type v} [Monad m] {α : Type u} (x : OptionT m α) (y : Unit → OptionT m α) : OptionT m α

@[inline]

def OptionT.fail {m : Type u → Type v} [Monad m] {α : Type u} : OptionT m α

instance OptionT.instAlternativeOptionT {m : Type u → Type v} [Monad m] : Alternative (OptionT m)

@[inline]

def OptionT.lift {m : Type u → Type v} [Monad m] {α : Type u} (x : m α) : OptionT m α

instance OptionT.instMonadLiftOptionT {m : Type u → Type v} [Monad m] : MonadLift m (OptionT m)

instance OptionT.instMonadFunctorOptionT {m : Type u → Type v} : MonadFunctor m (OptionT m)

@[inline]

def OptionT.tryCatch {m : Type u → Type v} [Monad m] {α : Type u} (x : OptionT m α) (handle : Unit → OptionT m α) : OptionT m α

instance OptionT.instMonadExceptOfUnitOptionT {m : Type u → Type v} [Monad m] : MonadExceptOf Unit (OptionT m)

instance OptionT.instMonadExceptOfOptionT {m : Type u → Type v} (ε : Type u) [Monad m] [MonadExceptOf ε m] : MonadExceptOf ε (OptionT m)

instance instMonadControlOptionT {m : Type u_1 → Type u_2} [Monad m] : MonadControl m (OptionT m)