DDC.Type.Transform.SpreadT

Documentation

class SpreadT c where

Methods

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

Spread type annotations from variable binders in to the bound occurrences.

Instances

SpreadT TyCon

SpreadT TypeSum

SpreadT Type

SpreadT Bound

SpreadT Bind