Safe Haskell | None |
---|
- data Core
- data TyCo
- data CoreTC
- coreSyntaxEq :: Core -> Core -> Bool
- tyCoSyntaxEq :: TyCo -> TyCo -> Bool
- coreTCSyntaxEq :: CoreTC -> CoreTC -> Bool
- coreAlphaEq :: Core -> Core -> Bool
- tyCoAlphaEq :: TyCo -> TyCo -> Bool
- coreTCAlphaEq :: CoreTC -> CoreTC -> Bool
- freeVarsCore :: Core -> VarSet
- freeVarsTyCo :: TyCo -> VarSet
- freeVarsCoreTC :: CoreTC -> VarSet
- promoteModGutsT :: (Monad m, Injection ModGuts g) => Translate c m ModGuts b -> Translate c m g b
- promoteProgT :: (Monad m, Injection CoreProg g) => Translate c m CoreProg b -> Translate c m g b
- promoteBindT :: (Monad m, Injection CoreBind g) => Translate c m CoreBind b -> Translate c m g b
- promoteDefT :: (Monad m, Injection CoreDef g) => Translate c m CoreDef b -> Translate c m g b
- promoteExprT :: (Monad m, Injection CoreExpr g) => Translate c m CoreExpr b -> Translate c m g b
- promoteAltT :: (Monad m, Injection CoreAlt g) => Translate c m CoreAlt b -> Translate c m g b
- promoteTypeT :: (Monad m, Injection Type g) => Translate c m Type b -> Translate c m g b
- promoteCoercionT :: (Monad m, Injection Coercion g) => Translate c m Coercion b -> Translate c m g b
- promoteModGutsR :: (Monad m, Injection ModGuts g) => Rewrite c m ModGuts -> Rewrite c m g
- promoteProgR :: (Monad m, Injection CoreProg g) => Rewrite c m CoreProg -> Rewrite c m g
- promoteBindR :: (Monad m, Injection CoreBind g) => Rewrite c m CoreBind -> Rewrite c m g
- promoteDefR :: (Monad m, Injection CoreDef g) => Rewrite c m CoreDef -> Rewrite c m g
- promoteExprR :: (Monad m, Injection CoreExpr g) => Rewrite c m CoreExpr -> Rewrite c m g
- promoteAltR :: (Monad m, Injection CoreAlt g) => Rewrite c m CoreAlt -> Rewrite c m g
- promoteTypeR :: (Monad m, Injection Type g) => Rewrite c m Type -> Rewrite c m g
- promoteCoercionR :: (Monad m, Injection Coercion g) => Rewrite c m Coercion -> Rewrite c m g
- promoteExprBiR :: (Monad m, Injection CoreExpr g) => BiRewrite c m CoreExpr -> BiRewrite c m g
Sum Types
Core is a sum type for use by KURE. Core = ModGuts + CoreProg + CoreBind + CoreDef + CoreExpr + CoreAlt
GutsCore ModGuts | The module. |
ProgCore CoreProg | A program (a telescope of top-level binding groups). |
BindCore CoreBind | A binding group. |
DefCore CoreDef | A recursive definition. |
ExprCore CoreExpr | An expression. |
AltCore CoreAlt | A case alternative. |
(ExtendPath c Crumb, ReadPath c Crumb, AddBindings c) => Walker c Core | Walking over modules, programs, binding groups, definitions, expressions and case alternatives. |
Injection ModGuts Core | |
Injection CoreExpr Core | |
Injection CoreBind Core | |
Injection CoreAlt Core | |
Injection CoreDef Core | |
Injection CoreProg Core | |
Injection Core CoreTC | |
Extern [RewriteH Core] | |
Extern (BiRewriteH Core) | |
Extern (RewriteH Core) | |
Extern (TranslateH Core String) | |
Extern (TranslateH Core ()) | |
Extern (TranslateH Core LocalPathH) |
TyCo is a sum type for use by KURE. TyCo = Type + Coercion
TypeCore Type | A type. |
CoercionCore Coercion | A coercion. |
CoreTC is a sum type for use by KURE. CoreTC = Core + TyCo
(ExtendPath c Crumb, ReadPath c Crumb, AddBindings c) => Walker c CoreTC | Walking over modules, programs, binding groups, definitions, expressions and case alternatives. |
Injection ModGuts CoreTC | |
Injection CoreExpr CoreTC | |
Injection CoreBind CoreTC | |
Injection CoreAlt CoreTC | |
Injection Coercion CoreTC | |
Injection Type CoreTC | |
Injection CoreDef CoreTC | |
Injection CoreProg CoreTC | |
Injection TyCo CoreTC | |
Injection Core CoreTC | |
Extern (RewriteH CoreTC) | |
Extern (TranslateDocH CoreTC) | |
Extern (TranslateH CoreTC String) | |
Extern (TranslateH CoreTC ()) | |
Extern (TranslateH CoreTC LocalPathH) |
Equality
Syntactic Equality
Alpha Equality
Collecting Free Variables
freeVarsCore :: Core -> VarSetSource
Find all free variables in a Core
node.
freeVarsTyCo :: TyCo -> VarSetSource
Find all free variables in a TyCo
node.
freeVarsCoreTC :: CoreTC -> VarSetSource
Find all free variables in a CoreTC
node.
Promotion Combinators
Translate Promotions
promoteModGutsT :: (Monad m, Injection ModGuts g) => Translate c m ModGuts b -> Translate c m g bSource
Promote a translate on ModGuts
.
promoteProgT :: (Monad m, Injection CoreProg g) => Translate c m CoreProg b -> Translate c m g bSource
Promote a translate on CoreProg
.
promoteBindT :: (Monad m, Injection CoreBind g) => Translate c m CoreBind b -> Translate c m g bSource
Promote a translate on CoreBind
.
promoteDefT :: (Monad m, Injection CoreDef g) => Translate c m CoreDef b -> Translate c m g bSource
Promote a translate on CoreDef
.
promoteExprT :: (Monad m, Injection CoreExpr g) => Translate c m CoreExpr b -> Translate c m g bSource
Promote a translate on CoreExpr
.
promoteAltT :: (Monad m, Injection CoreAlt g) => Translate c m CoreAlt b -> Translate c m g bSource
Promote a translate on CoreAlt
.
promoteTypeT :: (Monad m, Injection Type g) => Translate c m Type b -> Translate c m g bSource
Promote a translate on Type
.
promoteCoercionT :: (Monad m, Injection Coercion g) => Translate c m Coercion b -> Translate c m g bSource
Promote a translate on Coercion
.
Rewrite Promotions
promoteModGutsR :: (Monad m, Injection ModGuts g) => Rewrite c m ModGuts -> Rewrite c m gSource
Promote a rewrite on ModGuts
.
promoteProgR :: (Monad m, Injection CoreProg g) => Rewrite c m CoreProg -> Rewrite c m gSource
Promote a rewrite on CoreProg
.
promoteBindR :: (Monad m, Injection CoreBind g) => Rewrite c m CoreBind -> Rewrite c m gSource
Promote a rewrite on CoreBind
.
promoteDefR :: (Monad m, Injection CoreDef g) => Rewrite c m CoreDef -> Rewrite c m gSource
Promote a rewrite on CoreDef
.
promoteExprR :: (Monad m, Injection CoreExpr g) => Rewrite c m CoreExpr -> Rewrite c m gSource
Promote a rewrite on CoreExpr
.
promoteAltR :: (Monad m, Injection CoreAlt g) => Rewrite c m CoreAlt -> Rewrite c m gSource
Promote a rewrite on CoreAlt
.
promoteTypeR :: (Monad m, Injection Type g) => Rewrite c m Type -> Rewrite c m gSource
Promote a rewrite on Type
.
promoteCoercionR :: (Monad m, Injection Coercion g) => Rewrite c m Coercion -> Rewrite c m gSource
Promote a rewrite on Coercion
.