Stability | experimental |
---|---|
Maintainer | Aleksey Kliger |
Safe Haskell | None |
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.