| acompare | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| acompare' | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| aeq | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| aeq' | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| Alpha | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| AlphaCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| AnIso | Unbound.Generics.LocallyNameless.Internal.Iso |
| AnyName | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| apply | Unbound.Generics.PermM |
| avoid | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| B | Unbound.Generics.LocallyNameless.Bind |
| Bind | Unbound.Generics.LocallyNameless.Bind, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| bind | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| Bn | Unbound.Generics.LocallyNameless.Name |
| close | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| compose | Unbound.Generics.PermM |
| contFreshM | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| contFreshMT | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| contLFreshM | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| contLFreshMT | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| ctxLevel | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| decrLevelCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| DisjointSet | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| Embed | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| embed | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| Embedded | Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless, Unbound.Generics.LocallyNameless |
| embedded | Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| empty | Unbound.Generics.PermM |
| Exchange | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Internal.Iso |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Internal.Iso |
| FFM | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| filtered | Unbound.Generics.LocallyNameless.Internal.Fold |
| Fn | Unbound.Generics.LocallyNameless.Name |
| Fold | Unbound.Generics.LocallyNameless.Internal.Fold |
| foldMapOf | Unbound.Generics.LocallyNameless.Internal.Fold |
| Fresh | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| fresh | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| freshen | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| freshen' | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| FreshM | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| FreshMT | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| from | Unbound.Generics.LocallyNameless.Internal.Iso |
| fv | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| fvAny | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| fvAny' | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gacompare | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gaeq | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gclose | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| getAvoids | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| Getting | Unbound.Generics.LocallyNameless.Internal.Lens |
| gfreshen | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gfvAny | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gisPat | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gisTerm | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| glfreshen | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gnamePatFind | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gnthPatFind | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gopen | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| gswaps | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| I | Unbound.Generics.LocallyNameless.Ignore |
| Ignore | Unbound.Generics.LocallyNameless.Ignore, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| ignore | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| inconsistentDisjointSet | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| incrLevelCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| initialCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| instantiate | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| isCoerceVar | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| isConsistentDisjointSet | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| IsEmbed | Unbound.Generics.LocallyNameless.Embed, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| isEmbed | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| isFreeName | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| isid | Unbound.Generics.PermM |
| isNullDisjointSet | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| Iso | Unbound.Generics.LocallyNameless.Internal.Iso |
| iso | Unbound.Generics.LocallyNameless.Internal.Iso |
| isPat | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| isTerm | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| isTermCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| isvar | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| isZeroLevelCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| join | Unbound.Generics.PermM |
| justFiltered | Unbound.Generics.LocallyNameless.Internal.Fold |
| LFresh | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| lfresh | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| lfreshen | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| lfreshen' | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| LFreshM | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| LFreshMT | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| liftFFM | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| lunbind | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| lunbind2 | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| luntrec | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| makeClosedAlpha | Unbound.Generics.LocallyNameless.TH |
| makeName | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| mkPerm | Unbound.Generics.PermM |
| Name | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| name2Integer | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| name2String | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| NamePatFind | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| namePatFind | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| NthPatFind | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| nthPatFind | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| open | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| patternCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| Perm | |
| 1 (Type/Class) | Unbound.Generics.PermM |
| 2 (Data Constructor) | Unbound.Generics.PermM |
| permValid | Unbound.Generics.PermM |
| Rebind | Unbound.Generics.LocallyNameless.Rebind, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| rebind | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| Rebnd | Unbound.Generics.LocallyNameless.Rebind |
| Rec | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless |
| rec | Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| restrict | Unbound.Generics.PermM |
| retractFFM | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| runFreshM | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| runFreshMT | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| runLFreshM | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| runLFreshMT | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| runNamePatFind | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| runNthPatFind | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| s2n | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| Shift | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Shift, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Shift, Unbound.Generics.LocallyNameless |
| single | Unbound.Generics.PermM |
| singletonDisjointSet | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| string2Name | Unbound.Generics.LocallyNameless.Name, Unbound.Generics.LocallyNameless |
| Subst | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| subst | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| substBind | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| substBvs | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| SubstCoerce | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| SubstName | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| substs | Unbound.Generics.LocallyNameless.Subst, Unbound.Generics.LocallyNameless |
| support | Unbound.Generics.PermM |
| swaps | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| swaps' | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| termCtx | Unbound.Generics.LocallyNameless.Alpha, Unbound.Generics.LocallyNameless |
| toListOf | Unbound.Generics.LocallyNameless.Internal.Fold |
| Traversal' | Unbound.Generics.LocallyNameless.Internal.Fold |
| TRec | |
| 1 (Type/Class) | Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| 2 (Data Constructor) | Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| trec | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unbind | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unbind2 | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unbind2Plus | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unembed | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unFreshMT | Unbound.Generics.LocallyNameless.Fresh, Unbound.Generics.LocallyNameless |
| unignore | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unLFreshMT | Unbound.Generics.LocallyNameless.LFresh, Unbound.Generics.LocallyNameless |
| unrebind | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unrec | Unbound.Generics.LocallyNameless.Rec, Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| unsafeUnbind | Unbound.Generics.LocallyNameless.Unsafe |
| untrec | Unbound.Generics.LocallyNameless.Operations, Unbound.Generics.LocallyNameless |
| view | Unbound.Generics.LocallyNameless.Internal.Lens |
| withIso | Unbound.Generics.LocallyNameless.Internal.Iso |