Documentation

Lake.Config.Lang

source
inductive Lake.ConfigLang :
Type

Lake configuration language identifier.

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

      Lake's default configuration language.

      Instances For
        source
        @[implicit_reducible]
        instance Lake.instInhabitedConfigLang :
        Inhabited ConfigLang
        source
        def Lake.ConfigLang.ofString? :
        String → Option ConfigLang
        Instances For
          source
          def Lake.ConfigLang.fileExtension :
          ConfigLang → String
          Instances For
            source
            @[implicit_reducible]
            instance Lake.instToStringConfigLang :
            ToString ConfigLang