unbound-generics-0.4.1: Support for programming with names and binders using GHC Generics

Copyright(c) 2014 Aleksey Kliger
LicenseBSD3 (See LICENSE)
MaintainerAleksey Kliger
Stabilityexperimental
Safe HaskellNone
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.