Dhall.Tutorial

Introduction

Types

Imports

Lists

Optional values

Records

Functions

Compiler

Strings

Combine

Let expressions

Unions

Polymorphic functions

Total

Headers

Built-in functions

Caveats

Overview

`Bool`

`(||)`

`(&&)`

`(==)`

`(!=)`

`if`/`then`/`else`

`Natural`

`(+)`

`(*)`

`Natural/even`

`Natural/odd`

`Natural/isZero`

`Natural/fold`

`Natural/build`

`Integer`

`Double`

`Text`

`(++)`

`List`

`(#)`

`List/fold`

`List/build`

`List/length`

`List/head`

`List/last`

`List/indexed`

`List/reverse`

`Optional`

`Optional/fold`

Prelude

Conclusion

Frequently Asked Questions (FAQ)