DDC.Core.Transform.SpreadX

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

Documentation

class SpreadX c where

Methods

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

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

SpreadX Bound

SpreadX Bind

SpreadX WiCon

SpreadX Witness

SpreadX Pat

SpreadX LetMode

SpreadX Cast

SpreadX (Alt a)

SpreadX (Lets a)

SpreadX (Exp a)