structure Lake.Context : Type

A Lake configuration.

• opaqueWs : OpaqueWorkspace

@[reducible, inline]

abbrev Lake.LakeT (m : Type → Type u_1) (α : Type) : Type u_1

A transformer to equip a monad with a Lake.Context.

@[inline]

def Lake.LakeT.run {m : Type → Type u_1} {α : Type} (ctx : Context) (self : LakeT m α) : m α

@[reducible, inline]

abbrev Lake.LakeM (α : Type) : Type

A monad equipped with a Lake.Context.

@[inline]

def Lake.LakeM.run {α : Type} (ctx : Context) (self : LakeM α) : α