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