Dhall.TypeCheck

Type-checking

typeWith

typeOf

Types

data X

data TypeError s

data DetailedTypeError s

data TypeMessage s