Module canonic

Structs

CanonicalImpl

A solution for a CanonicalTrait.

CanonicalMapping

Mapping between canonical space and inference space. Created by a either canonicalizing or embedding a trait.

CanonicalTrait

A canonical representation of a concrete trait that needs to be solved.

MapperError

Mapper rewriter. Maps variables according to a given VarMapping.

VarMapping

Enums

NoError

A ‘never’ error.

Traits

ResultNoErrEx