DDC.Core.Transform.Bubble

Bubble casts outwards. We float casts up and outwards so they are just inside the inner-most enclosing let. This way the functions still have the same effect and closure, but the casts don't get in the way of subsequent transforms.

Documentation

bubbleModule :: Ord n => Module a n -> Module a n

Bubble casts outwards in a Module.

bubbleX :: Ord n => KindEnv n -> TypeEnv n -> Exp a n -> Exp a n

Bubble casts outwards in an Exp.