DDC.Core.Transform.SpreadX

Documentation

class SpreadX c where

Minimal complete definition

spreadX

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

Methods

spreadX :: Ord n => Env n -> Env n -> Bound n -> Bound n

SpreadX Bind

Methods

spreadX :: Ord n => Env n -> Env n -> Bind n -> Bind n

SpreadX WiCon

Methods

spreadX :: Ord n => Env n -> Env n -> WiCon n -> WiCon n

SpreadX Pat

Methods

spreadX :: Ord n => Env n -> Env n -> Pat n -> Pat n

SpreadX (Witness a)

Methods

spreadX :: Ord n => Env n -> Env n -> Witness a n -> Witness a n

SpreadX (Cast a)

Methods

spreadX :: Ord n => Env n -> Env n -> Cast a n -> Cast a n

SpreadX (Alt a)

Methods

spreadX :: Ord n => Env n -> Env n -> Alt a n -> Alt a n

SpreadX (Lets a)

Methods

spreadX :: Ord n => Env n -> Env n -> Lets a n -> Lets a n

SpreadX (Exp a)

Methods

spreadX :: Ord n => Env n -> Env n -> Exp a n -> Exp a n

SpreadX (Module a)

Methods

spreadX :: Ord n => Env n -> Env n -> Module a n -> Module a n