├── Prelude.dhall ├── README.md ├── examples ├── small.dhall ├── unvalidated.dhall └── validated.dhall ├── render.dhall ├── render ├── AUTOCOMPLETE.dhall ├── AUTOPICKUP_EXCEPTION.dhall ├── Alignment.dhall ├── Attributes.dhall ├── BIND.dhall ├── Bool.dhall ├── Color.dhall ├── Comparison.dhall ├── Condition.dhall ├── Config.dhall ├── Disclose.dhall ├── Disclosure.dhall ├── Enabled.dhall ├── Gender.dhall ├── Hilite.dhall ├── HiliteStatus.dhall ├── MenuColor.dhall ├── MenuHeadings.dhall ├── MenuStyle.dhall ├── MsgType.dhall ├── MsgWindow.dhall ├── NumberPad.dhall ├── Numeric.dhall ├── Options.dhall ├── ParanoidConfirmation.dhall ├── Percent.dhall ├── PetType.dhall ├── PickupBurden.dhall ├── PileLimit.dhall ├── PlayMode.dhall ├── Race.dhall ├── Role.dhall ├── RunMode.dhall ├── SOUND.dhall ├── Scores.dhall ├── SortLoot.dhall ├── SymSet.dhall ├── Textual.dhall ├── WhatisCoord.dhall └── WhatisFilter.dhall ├── toNetHack.dhall ├── types.dhall └── types ├── AUTOPICKUP_EXCEPTION.dhall ├── Alignment.dhall ├── Attributes.dhall ├── BIND.dhall ├── Color.dhall ├── Comparison.dhall ├── Condition.dhall ├── Config.dhall ├── Disclose.dhall ├── Disclosure.dhall ├── Enabled.dhall ├── Gender.dhall ├── Hilite.dhall ├── HiliteStatus.dhall ├── MenuColor.dhall ├── MenuHeadings.dhall ├── MenuStyle.dhall ├── MsgType.dhall ├── MsgWindow.dhall ├── NumberPad.dhall ├── Numeric.dhall ├── ParanoidConfirmation.dhall ├── Percent.dhall ├── PetType.dhall ├── PickupBurden.dhall ├── PileLimit.dhall ├── PlayMode.dhall ├── Race.dhall ├── Role.dhall ├── RunMode.dhall ├── SOUND.dhall ├── Scores.dhall ├── SortLoot.dhall ├── SymSet.dhall ├── Textual.dhall ├── WhatisCoord.dhall └── WhatisFilter.dhall /Prelude.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/Prelude.dhall -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/README.md -------------------------------------------------------------------------------- /examples/small.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/examples/small.dhall -------------------------------------------------------------------------------- /examples/unvalidated.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/examples/unvalidated.dhall -------------------------------------------------------------------------------- /examples/validated.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/examples/validated.dhall -------------------------------------------------------------------------------- /render.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render.dhall -------------------------------------------------------------------------------- /render/AUTOCOMPLETE.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/AUTOCOMPLETE.dhall -------------------------------------------------------------------------------- /render/AUTOPICKUP_EXCEPTION.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/AUTOPICKUP_EXCEPTION.dhall -------------------------------------------------------------------------------- /render/Alignment.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Alignment.dhall -------------------------------------------------------------------------------- /render/Attributes.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Attributes.dhall -------------------------------------------------------------------------------- /render/BIND.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/BIND.dhall -------------------------------------------------------------------------------- /render/Bool.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Bool.dhall -------------------------------------------------------------------------------- /render/Color.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Color.dhall -------------------------------------------------------------------------------- /render/Comparison.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Comparison.dhall -------------------------------------------------------------------------------- /render/Condition.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Condition.dhall -------------------------------------------------------------------------------- /render/Config.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Config.dhall -------------------------------------------------------------------------------- /render/Disclose.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Disclose.dhall -------------------------------------------------------------------------------- /render/Disclosure.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Disclosure.dhall -------------------------------------------------------------------------------- /render/Enabled.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Enabled.dhall -------------------------------------------------------------------------------- /render/Gender.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Gender.dhall -------------------------------------------------------------------------------- /render/Hilite.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Hilite.dhall -------------------------------------------------------------------------------- /render/HiliteStatus.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/HiliteStatus.dhall -------------------------------------------------------------------------------- /render/MenuColor.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/MenuColor.dhall -------------------------------------------------------------------------------- /render/MenuHeadings.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/MenuHeadings.dhall -------------------------------------------------------------------------------- /render/MenuStyle.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/MenuStyle.dhall -------------------------------------------------------------------------------- /render/MsgType.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/MsgType.dhall -------------------------------------------------------------------------------- /render/MsgWindow.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/MsgWindow.dhall -------------------------------------------------------------------------------- /render/NumberPad.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/NumberPad.dhall -------------------------------------------------------------------------------- /render/Numeric.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Numeric.dhall -------------------------------------------------------------------------------- /render/Options.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Options.dhall -------------------------------------------------------------------------------- /render/ParanoidConfirmation.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/ParanoidConfirmation.dhall -------------------------------------------------------------------------------- /render/Percent.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Percent.dhall -------------------------------------------------------------------------------- /render/PetType.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/PetType.dhall -------------------------------------------------------------------------------- /render/PickupBurden.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/PickupBurden.dhall -------------------------------------------------------------------------------- /render/PileLimit.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/PileLimit.dhall -------------------------------------------------------------------------------- /render/PlayMode.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/PlayMode.dhall -------------------------------------------------------------------------------- /render/Race.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Race.dhall -------------------------------------------------------------------------------- /render/Role.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Role.dhall -------------------------------------------------------------------------------- /render/RunMode.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/RunMode.dhall -------------------------------------------------------------------------------- /render/SOUND.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/SOUND.dhall -------------------------------------------------------------------------------- /render/Scores.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Scores.dhall -------------------------------------------------------------------------------- /render/SortLoot.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/SortLoot.dhall -------------------------------------------------------------------------------- /render/SymSet.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/SymSet.dhall -------------------------------------------------------------------------------- /render/Textual.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/Textual.dhall -------------------------------------------------------------------------------- /render/WhatisCoord.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/WhatisCoord.dhall -------------------------------------------------------------------------------- /render/WhatisFilter.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/render/WhatisFilter.dhall -------------------------------------------------------------------------------- /toNetHack.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/toNetHack.dhall -------------------------------------------------------------------------------- /types.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types.dhall -------------------------------------------------------------------------------- /types/AUTOPICKUP_EXCEPTION.dhall: -------------------------------------------------------------------------------- 1 | { pickup : Bool, name : Text } 2 | -------------------------------------------------------------------------------- /types/Alignment.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Alignment.dhall -------------------------------------------------------------------------------- /types/Attributes.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Attributes.dhall -------------------------------------------------------------------------------- /types/BIND.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/BIND.dhall -------------------------------------------------------------------------------- /types/Color.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Color.dhall -------------------------------------------------------------------------------- /types/Comparison.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Comparison.dhall -------------------------------------------------------------------------------- /types/Condition.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Condition.dhall -------------------------------------------------------------------------------- /types/Config.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Config.dhall -------------------------------------------------------------------------------- /types/Disclose.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Disclose.dhall -------------------------------------------------------------------------------- /types/Disclosure.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Disclosure.dhall -------------------------------------------------------------------------------- /types/Enabled.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Enabled.dhall -------------------------------------------------------------------------------- /types/Gender.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Gender.dhall -------------------------------------------------------------------------------- /types/Hilite.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Hilite.dhall -------------------------------------------------------------------------------- /types/HiliteStatus.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/HiliteStatus.dhall -------------------------------------------------------------------------------- /types/MenuColor.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/MenuColor.dhall -------------------------------------------------------------------------------- /types/MenuHeadings.dhall: -------------------------------------------------------------------------------- 1 | < bold | inverse | underline > 2 | -------------------------------------------------------------------------------- /types/MenuStyle.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/MenuStyle.dhall -------------------------------------------------------------------------------- /types/MsgType.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/MsgType.dhall -------------------------------------------------------------------------------- /types/MsgWindow.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/MsgWindow.dhall -------------------------------------------------------------------------------- /types/NumberPad.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/NumberPad.dhall -------------------------------------------------------------------------------- /types/Numeric.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Numeric.dhall -------------------------------------------------------------------------------- /types/ParanoidConfirmation.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/ParanoidConfirmation.dhall -------------------------------------------------------------------------------- /types/Percent.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Percent.dhall -------------------------------------------------------------------------------- /types/PetType.dhall: -------------------------------------------------------------------------------- 1 | < cat | dog | none > 2 | -------------------------------------------------------------------------------- /types/PickupBurden.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/PickupBurden.dhall -------------------------------------------------------------------------------- /types/PileLimit.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/PileLimit.dhall -------------------------------------------------------------------------------- /types/PlayMode.dhall: -------------------------------------------------------------------------------- 1 | < normal | explore | debug > 2 | -------------------------------------------------------------------------------- /types/Race.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Race.dhall -------------------------------------------------------------------------------- /types/Role.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Role.dhall -------------------------------------------------------------------------------- /types/RunMode.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/RunMode.dhall -------------------------------------------------------------------------------- /types/SOUND.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/SOUND.dhall -------------------------------------------------------------------------------- /types/Scores.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Scores.dhall -------------------------------------------------------------------------------- /types/SortLoot.dhall: -------------------------------------------------------------------------------- 1 | < full | loot | none > 2 | -------------------------------------------------------------------------------- /types/SymSet.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/SymSet.dhall -------------------------------------------------------------------------------- /types/Textual.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/Textual.dhall -------------------------------------------------------------------------------- /types/WhatisCoord.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dhall-lang/dhall-nethack/HEAD/types/WhatisCoord.dhall -------------------------------------------------------------------------------- /types/WhatisFilter.dhall: -------------------------------------------------------------------------------- 1 | < no_filtering | view_only | same_area > 2 | --------------------------------------------------------------------------------