Documentation

Lake.Util.Task

source
@[implicit_reducible]
instance Lake.instMonadTask_lake :
Monad Task
source
@[reducible, inline]
abbrev Lake.ETask (ε α : Type u_1) :
Type u_1
Instances For
    source
    @[reducible, inline]
    abbrev Lake.OptionTask (α : Type u_1) :
    Type u_1
    Instances For
      source
      def Lake.BaseIOTask (α : Type u_1) :
      Type u_1
      Instances For
        source
        @[implicit_reducible]
        instance Lake.instMonadBaseIOTask :
        Monad BaseIOTask
        source
        @[implicit_reducible]
        instance Lake.instInhabitedBaseIOTask {α : Type u_1} [Inhabited α] :
        Inhabited (BaseIOTask α)
        source
        @[reducible, inline]
        abbrev Lake.EIOTask (ε α : Type u_1) :
        Type u_1
        Instances For
          source
          @[reducible, inline]
          abbrev Lake.OptionIOTask (α : Type u_1) :
          Type u_1
          Instances For
            source
            @[implicit_reducible]
            instance Lake.instInhabitedOptionIOTask {α : Type u_1} :
            Inhabited (OptionIOTask α)