blanks-0.5.0: Fill-in-the-blanks - A library factoring out substitution from ASTs
Safe Haskell None Haskell2010

Blanks.Conversion

Synopsis

Documentation

locScopeForget :: Functor f => LocScope l n f a -> Scope n f a Source #

Forget all the annotations and yield a plain Scope.

scopeAnno :: Functor f => l -> Scope n f a -> LocScope l n f a Source #

Annotate every location in the Scope with a given value as a LocScope.