HERMIT.Kure.SumTypes

Sum Types

data Core

data TyCo

data CoreTC

Equality

Syntactic Equality

coreSyntaxEq

tyCoSyntaxEq

coreTCSyntaxEq

Alpha Equality

coreAlphaEq

tyCoAlphaEq

coreTCAlphaEq

Collecting Free Variables

freeVarsCore

freeVarsTyCo

freeVarsCoreTC

Promotion Combinators

Transform Promotions

promoteModGutsT

promoteProgT

promoteBindT

promoteDefT

promoteExprT

promoteAltT

promoteTypeT

promoteCoercionT

Rewrite Promotions

promoteModGutsR

promoteProgR

promoteBindR

promoteDefR

promoteExprR

promoteAltR

promoteTypeR

promoteCoercionR

BiRewrite Promotions

promoteExprBiR