ddc-source-tetra-0.4.1.3: Disciplined Disciple Compiler source language.
DDC.Source.Tetra.Transform.Expand
Synopsis
data Config a n Source
Expander configuration.
Constructors
Fields
Make a type hole of the given kind.
configDefault :: Config a NameSource
Default expander configuration.
class Expand c whereSource
Methods
expand :: Ord n => Config a n -> KindEnv n -> TypeEnv n -> c a n -> c a nSource
Add quantifiers to the types of binders. Also add holes for missing type arguments.
Instances