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.

Instances