unbound-generics-0.4.3: Support for programming with names and binders using GHC Generics
Copyright(c) 2014 Aleksey Kliger
LicenseBSD3 (See LICENSE)
MaintainerAleksey Kliger
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010
ExtensionsDeriveGeneric

Unbound.Generics.LocallyNameless.Unsafe

Description

Dangerous operations that may disturb the invariants of Unbind.Generics.LocallyNameless or of your AST.

Synopsis

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.