Blanks.Conversion
locScopeForget :: Functor f => LocScope l n f a -> Scope n f a Source #
Forget all the annotations and yield a plain Scope.
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.
LocScope