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