Documentation

Lake.Config.Lang

source
inductive Lake.ConfigLang :
Type

Lake configuration language identifier.

Instances For
    source
    instance Lake.instReprConfigLang :
    Repr ConfigLang
    Equations
      source
      def Lake.instReprConfigLang.repr :
      ConfigLang → Nat → Std.Format
      Equations
        Instances For
          source
          instance Lake.instDecidableEqConfigLang :
          DecidableEq ConfigLang
          Equations
            source
            @[reducible, inline]
            abbrev Lake.ConfigLang.default :
            ConfigLang

            Lake's default configuration language.

            Equations
              Instances For
                source
                instance Lake.instInhabitedConfigLang :
                Inhabited ConfigLang
                Equations
                  source
                  def Lake.ConfigLang.ofString? :
                  String → Option ConfigLang
                  Equations
                    Instances For
                      source
                      def Lake.ConfigLang.fileExtension :
                      ConfigLang → String
                      Equations
                        Instances For
                          source
                          instance Lake.instToStringConfigLang :
                          ToString ConfigLang
                          Equations