validated.dhall

-- This file was tested using console NetHack version 3.6.1
--
-- To exercise all options documented in https://nethackwiki.com/wiki/Options
-- see `./unvalidated.dhall`

let types = ../types.dhall

in  types.Config::{
    , AUTOCOMPLETE =
      [ { enable = True, value = "zap" }
      , { enable = False, value = "annotate" }
      ]
    , acoustics = Some True
    , align = Some { enable = True, value = types.Alignment.chaotic }
    , autodescribe = Some False
    , autodig = Some False
    , AUTOPICKUP_EXCEPTION =
      [ { pickup = False, name = "chest" }, { pickup = True, name = "dagger" } ]
    , BIND =
      [ { keybinding = "!", command = "loot" }
      , { keybinding = "^v", command = "untrap" }
      , { keybinding = "M-x", command = "terrain" }
      ]
    , catname = Some "Mirri"
    , checkpoint = Some True
    , checkspace = Some True
    , clicklook = Some False
    , cmdassist = Some True
    , confirm = Some True
    , dark_room = Some False
    , disclose = Some types.Disclose::{
      , inventory = Some { prompt = True, default = True }
      , attributes = Some { prompt = True, default = False }
      , monsters_killed = Some { prompt = False, default = True }
      , monsters_genocided = Some { prompt = False, default = False }
      , conduct = Some { prompt = False, default = False }
      , dungeon_overview = Some { prompt = False, default = False }
      }
    , dogname = Some "Cujo"
    , extmenu = Some False
    , fixinv = Some True
    , force_invmenu = Some False
    , fruit = Some "slime mold"
    , gender = Some types.Gender.female
    , goldX = Some False
    , help = Some True
    , hilite_pet = Some False
    , hilite_pile = Some False
    , hilite_status = types.HiliteStatus::{
      , gold =
        [ { color = types.Color.yellow
          , trigger = Some types.Numeric.always
          , attributes = None types.Attributes.Type
          }
        ]
      }
    , hitpointbar = Some True
    , horsename = Some "Erhir"
    , ignintr = Some False
    , implicit_uncursed = Some True
    , legacy = Some True
    , lit_corridor = Some False
    , lootabc = Some False
    , mail = Some True
    , mention_walls = Some False
    , menucolors =
      [ { regex = "blessed"
        , color = Some types.Color.cyan
        , attributes = types.Attributes::{ bold = Some True }
        }
      ]
    , menustyle = Some types.MenuStyle.traditional
    , menu_deselect_all = Some "-"
    , menu_deselect_page = Some "\\"
    , menu_first_page = Some "^"
    , menu_headings = Some types.MenuHeadings.bold
    , menu_invert_all = Some "@"
    , menu_invert_page = Some "~"
    , menu_last_page = Some "|"
    , menu_next_page = Some ">"
    , menu_objsyms = Some False
    , menu_previous_page = Some "<"
    , menu_search = Some ":"
    , menu_select_all = Some "."
    , menu_tab_sep = Some False
    , msg_window = Some types.MsgWindow.single
    , MSGTYPE = [ types.MsgType.hide "You swap places with .*" ]
    , name = Some "Kaeru"
    , news = Some True
    , nudist = Some False
    , null = Some False
    , number_pad = Some types.NumberPad.Letters
    , packorder = Some "\")[%?+!=/(*`0_"
    , paranoid_confirmation = types.ParanoidConfirmation::{ pray = Some True }
    , pettype = Some types.PetType.cat
    , pickup_burden = Some types.PickupBurden.stressed
    , pickup_thrown = Some True
    , pickup_types = Some "?!/"
    , pile_limit = Some (types.PileLimit.limit 5)
    , playmode = Some types.PlayMode.normal
    , pushweapon = Some False
    , race = Some { enable = True, value = types.Race.elf }
    , rest_on_space = Some False
    , role = Some { enable = True, value = types.Role.wizard }
    , roguesymset = Some types.SymSet.RogueEpyx
    , runmode = Some types.RunMode.walk
    , safe_pet = Some True
    , sanity_check = Some False
    , scores = { own = Some True, around = Some 2, top = Some 10 }
    , showexp = Some False
    , showrace = Some False
    , showscore = Some False
    , silent = Some True
    , sortloot = Some types.SortLoot.none
    , sortpack = Some True
    , sparkle = Some True
    , standout = Some False
    , status_updates = Some True
    , statushilites = Some 10
    , suppress_alert = Some "3.3.1"
    , symset = Some types.SymSet.DECgraphics
    , time = Some False
    , timed_delay = Some True
    , tombstone = Some True
    , toptenwin = Some False
    , travel = Some True
    , verbose = Some True
    , whatis_coord = Some types.WhatisCoord.none
    , whatis_filter = Some types.WhatisFilter.no_filtering
    , whatis_menu = Some False
    , whatis_moveskip = Some False
    , windowtype = Some "tty"
    , wizkit = Some "wizkit.txt"
    }