ddc-core-0.2.1.1: Disciple Core language and type checker.
DDC.Core.Transform.SpreadX
Description
Spread type annotations from binders and the environment into bound occurrences of variables and constructors.
class SpreadX c whereSource
Methods
spreadX :: forall n. Ord n => Env n -> Env n -> c n -> c nSource
Also convert Bounds to UPrim form if the environment says that they are primitive.
Bound
UPrim
Instances