Documentation

Lake.Util.Task

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