Documentation

Lake.Util.Task

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