DDC.Core.Transform.SpreadX

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 DaCon

SpreadX Pat

SpreadX WiCon

SpreadX ImportSource

SpreadX (Witness a)

SpreadX (Cast a)

SpreadX (Alt a)

SpreadX (Lets a)

SpreadX (Exp a)

SpreadX (Module a)