ddc-core-0.4.1.1: Disciplined Disciple Compiler core language and type checker.
class SpreadT c whereSource
spreadT :: forall n. Ord n => TypeEnv n -> c n -> c nSource
Rewrite UName bounds to UPrim bounds and attach their types.
Primitives have their types attached because they are so common in the
language, their types are closed, and we don't want to keep having to
look them up from the environment.
Produced by Haddock version 2.13.2