/Ansible/Vars

/dhall-ansible/Ansible/Vars

Copy path to clipboard

Exported files:

JSON.dhall
Type.dhall:
```
Type
```
array.dhall:
```
List ./Type.dhall -> ./Type.dhall
```
bool.dhall:
```
Bool -> ./Type.dhall
```
double.dhall:
```
Double -> ./Type.dhall
```
integer.dhall:
```
Integer -> ./Type.dhall
```

forall (valueType : Type) -> forall (transformer : valueType -> ./Type.dhall) -> forall (map : Map.Type Text valueType) -> ./Type.dhall

mapBool.dhall:
```
Map Text Bool -> ./Type.dhall
```
mapText.dhall:
```
Map Text Text -> ./Type.dhall
```

List { mapKey : Text, mapValue : ./Type.dhall } -> ./Type.dhall

package.dhall
string.dhall:
```
Text -> ./Type.dhall
```