Dhall.TypeCheck

Type-checking

typeWith

typeOf

typeWithA

Types

type Typer a

data X

data TypeError s a

data DetailedTypeError s a

data TypeMessage s a