| Stability | experimental |
|---|---|
| Maintainer | Aleksey Kliger |
| Safe Haskell | None |
Unbound.Generics.LocallyNameless.Unsafe
Description
Dangerous operations that may disturb the invariants of Unbind.Generics.LocallyNameless or of your AST.
- unsafeUnbind :: (Alpha p, Alpha t) => Bind p t -> (p, t)
Documentation
unsafeUnbind :: (Alpha p, Alpha t) => Bind p t -> (p, t)Source
A destructor for binders that does not guarantee fresh names for the binders.