DDC.Type.Transform.SpreadT

Documentation

class SpreadT c where

Methods

spreadT :: forall n. Ord n => TypeEnv n -> c n -> c n

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.

Instances

SpreadT TyCon

SpreadT TypeSum

SpreadT Type

SpreadT Bound

SpreadT Bind

SpreadT DataCtor

SpreadT DataType

SpreadT DataDefs

SpreadT DataDef

SpreadT ExportSource