| Copyright | (c) 2014, Aleksey Kliger |
|---|---|
| License | BSD3 (See LICENSE) |
| Maintainer | Aleksey Kliger |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
| Extensions | DeriveGeneric |
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.