-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathtypes.dhall
53 lines (48 loc) · 1.75 KB
/
types.dhall
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
{- This provides a convenient import to obtain all available types
Users will typically use this import to access constructors for various
union types, like this:
```
let types = ./types.dhall
in types.Config::{ role = Some { enable = True, value = types.Role.wizard } }
```
This import is also used internally within the package as a convenient
import for all available types.
-}
{ Alignment = ./types/Alignment.dhall
, Attributes = ./types/Attributes.dhall
, AUTOPICKUP_EXCEPTION = ./types/AUTOPICKUP_EXCEPTION.dhall
, BIND = ./types/BIND.dhall
, Color = ./types/Color.dhall
, Comparison = ./types/Comparison.dhall
, Condition = ./types/Condition.dhall
, Config = ./types/Config.dhall
, Disclose = ./types/Disclose.dhall
, Disclosure = ./types/Disclosure.dhall
, Enabled = ./types/Enabled.dhall
, Gender = ./types/Gender.dhall
, Hilite = ./types/Hilite.dhall
, HiliteStatus = ./types/HiliteStatus.dhall
, MenuColor = ./types/MenuColor.dhall
, MenuHeadings = ./types/MenuHeadings.dhall
, MenuStyle = ./types/MenuStyle.dhall
, MsgType = ./types/MsgType.dhall
, MsgWindow = ./types/MsgWindow.dhall
, NumberPad = ./types/NumberPad.dhall
, Numeric = ./types/Numeric.dhall
, ParanoidConfirmation = ./types/ParanoidConfirmation.dhall
, Percent = ./types/Percent.dhall
, PetType = ./types/PetType.dhall
, PickupBurden = ./types/PickupBurden.dhall
, PileLimit = ./types/PileLimit.dhall
, PlayMode = ./types/PlayMode.dhall
, Race = ./types/Race.dhall
, Role = ./types/Role.dhall
, RunMode = ./types/RunMode.dhall
, Scores = ./types/Scores.dhall
, SortLoot = ./types/SortLoot.dhall
, SOUND = ./types/SOUND.dhall
, SymSet = ./types/SymSet.dhall
, Textual = ./types/Textual.dhall
, WhatisCoord = ./types/WhatisCoord.dhall
, WhatisFilter = ./types/WhatisFilter.dhall
}