Documentation

Lake.Build.Context

Configuration options for a Lake build.

Instances For

    A Lake context with a build configuration and additional build data.

    Instances For
      @[inline, reducible]
      abbrev Lake.BuildT (m : TypeType u_1) (α : Type) :
      Type u_1

      A transformer to equip a monad with a BuildContext.

      Instances For
        @[inline]
        Instances For
          @[inline]
          Instances For
            @[inline]
            def Lake.getIsOldMode {m : TypeType u_1} [Monad m] :
            Instances For
              @[inline]
              def Lake.getTrustHash {m : TypeType u_1} [Monad m] :
              Instances For
                @[inline, reducible]
                abbrev Lake.SchedulerM (α : Type) :

                The monad for the Lake build manager.

                Instances For
                  @[inline, reducible]
                  abbrev Lake.BuildM (α : Type) :

                  The core monad for Lake builds.

                  Instances For
                    @[inline, reducible]
                    abbrev Lake.BuildStoreT (m : TypeType u_1) (α : Type) :
                    Type u_1

                    A transformer to equip a monad with a Lake build store.

                    Instances For
                      @[inline, reducible]

                      A Lake build cycle.

                      Instances For
                        @[inline, reducible]
                        abbrev Lake.BuildCycleT (m : TypeType u_1) (α : Type) :
                        Type u_1

                        A transformer for monads that may encounter a build cycle.

                        Instances For
                          @[inline, reducible]
                          abbrev Lake.RecBuildM (α : Type) :

                          A recursive build of a Lake build store that may encounter a cycle.

                          Instances For
                            @[inline]
                            def Lake.BuildM.run {α : Type} (ctx : Lake.BuildContext) (self : Lake.BuildM α) :
                            Instances For
                              def Lake.BuildM.catchFailure {α : Type} (f : UnitBaseIO α) (self : Lake.BuildM α) :
                              Instances For
                                Instances For