ddc-core-0.4.1.1: Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe-Inferred

DDC.Core.Transform.SpreadX

Documentation

class SpreadX c whereSource

Methods

spreadX :: forall n. Ord n => Env n -> Env n -> c n -> c nSource

Spread type annotations from binders and the environment into bound occurrences of variables and constructors.

Also convert Bounds to UPrim form if the environment says that they are primitive.