Primitives

Primitive types: String, Int, Bool, Float, Attrs, Path, Function, Null, Unit, Any.

Any

Top type. Every value inhabits Any.

Attrs

Attribute set type (any attrset).

Bool

Boolean type.

Float

Float type.

Function

Function type.

Int

Integer type.

Null

Null type. Only null inhabits it.

Path

Path type.

String

String type.

Unit

Unit type. Isomorphic to Null — the trivial type with one inhabitant.