ddc-source-tetra-0.4.1.1: Disciplined Disciple Compiler source language.

Safe HaskellNone

DDC.Source.Tetra.Transform.Expand

Synopsis

Documentation

data Config a n Source

Expander configuration.

Constructors

Config 

Fields

configMakeTypeHole :: Kind n -> Type n

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.