Index
| :*: | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| :+: | Unbound.LocallyNameless |
| ::: | Unbound.LocallyNameless |
| :<> | Unbound.LocallyNameless |
| <> | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.Util |
| A | Unbound.Nominal.Internal |
| a10a | Unbound.Nominal.Internal |
| a10b | Unbound.Nominal.Internal |
| a10c | Unbound.Nominal.Internal |
| a10d | Unbound.Nominal.Internal |
| Abstract | Unbound.LocallyNameless |
| Abstract1 | Unbound.LocallyNameless |
| AC | Unbound.LocallyNameless.Alpha |
| acompare | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| acompare' | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| acompareD | Unbound.LocallyNameless.Alpha |
| acompareR1 | Unbound.LocallyNameless.Alpha |
| aeq | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| aeq' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| aeq1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| aeqBinders | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| aeqD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| aeqR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Alpha | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| AlphaCtx | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Alpha |
| AlphaD | |
| 1 (Type/Class) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Alpha |
| 4 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| AnyName | |
| 1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Name, Unbound.Nominal |
| 3 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| anyName2Integer | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| anyName2String | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| apply | Unbound.PermM, Unbound.LocallyNameless |
| Arrow | Unbound.LocallyNameless |
| Arrow1 | Unbound.LocallyNameless |
| assert | Unbound.Nominal.Internal |
| avoid | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| B | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| big1 | Unbound.Nominal.Internal |
| big2 | Unbound.Nominal.Internal |
| Bind | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| bind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| binders | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| binders' | Unbound.Nominal.Internal, Unbound.Nominal |
| binders1 | Unbound.Nominal.Internal |
| bindersAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| bindersD | Unbound.Nominal.Internal |
| bindersR1 | Unbound.Nominal.Internal |
| Bn | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| BoundedD | Unbound.LocallyNameless |
| cast | Unbound.LocallyNameless |
| castR | Unbound.LocallyNameless |
| Char | Unbound.LocallyNameless |
| Char1 | Unbound.LocallyNameless |
| choiceMp | Unbound.LocallyNameless |
| choiceQ | Unbound.LocallyNameless |
| close | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| closeD | Unbound.LocallyNameless.Alpha |
| closeP | Unbound.LocallyNameless.Alpha |
| closeR1 | Unbound.LocallyNameless.Alpha |
| closeT | Unbound.LocallyNameless.Alpha |
| cmap | Unbound.Util, Unbound.LocallyNameless |
| Collection | Unbound.Util, Unbound.LocallyNameless |
| combine | Unbound.LocallyNameless.Alpha |
| comp | Unbound.LocallyNameless |
| compareR | Unbound.LocallyNameless |
| compareR1 | Unbound.LocallyNameless |
| compareTupM | Unbound.LocallyNameless.Alpha |
| compose | Unbound.PermM, Unbound.LocallyNameless |
| Con | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| Constr | Unbound.LocallyNameless |
| contFreshM | Unbound.LocallyNameless.Fresh |
| contFreshMT | Unbound.LocallyNameless.Fresh |
| contLFreshM | Unbound.LocallyNameless.Fresh |
| contLFreshMT | Unbound.LocallyNameless.Fresh |
| count | Unbound.LocallyNameless |
| crush | Unbound.LocallyNameless |
| CurIndex | Unbound.LocallyNameless.Alpha |
| Data | Unbound.LocallyNameless |
| Data1 | Unbound.LocallyNameless |
| decr | Unbound.LocallyNameless.Alpha |
| deepSeq | Unbound.LocallyNameless |
| deepSeqR | Unbound.LocallyNameless |
| derive | Unbound.LocallyNameless |
| derive_abstract | Unbound.LocallyNameless |
| dict | Unbound.LocallyNameless |
| Double | Unbound.LocallyNameless |
| Double1 | Unbound.LocallyNameless |
| do_tests | Unbound.Nominal.Internal |
| DT | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| Emb | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| Embed | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal, Unbound.Nominal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| embed | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| Embedded | Unbound.LocallyNameless.Alpha |
| empty | Unbound.PermM, Unbound.LocallyNameless |
| emptyC | Unbound.Util, Unbound.LocallyNameless |
| emptyNE | Unbound.Nominal.Internal |
| Enumerate | Unbound.LocallyNameless |
| enumerate | Unbound.LocallyNameless |
| EnumerateD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| enumerateD | Unbound.LocallyNameless |
| enumerateR1 | Unbound.LocallyNameless |
| EqD | Unbound.LocallyNameless |
| eqR | Unbound.LocallyNameless |
| eqR1 | Unbound.LocallyNameless |
| everything | Unbound.LocallyNameless |
| everywhere | Unbound.LocallyNameless |
| everywhere' | Unbound.LocallyNameless |
| everywhereBut | Unbound.LocallyNameless |
| everywhereM | Unbound.LocallyNameless |
| Ex | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| Exp | Unbound.Nominal.Internal |
| ext0 | Unbound.LocallyNameless |
| extB | Unbound.LocallyNameless |
| extM | Unbound.LocallyNameless |
| extMp | Unbound.LocallyNameless |
| extQ | Unbound.LocallyNameless |
| extR | Unbound.LocallyNameless |
| extT | Unbound.LocallyNameless |
| filterC | Unbound.Util |
| findCon | Unbound.LocallyNameless |
| findpat | Unbound.LocallyNameless.Alpha |
| findpatD | Unbound.LocallyNameless.Alpha |
| findpatL | Unbound.LocallyNameless.Alpha |
| findpatR1 | Unbound.LocallyNameless.Alpha |
| findpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| FindResult | Unbound.LocallyNameless.Alpha |
| Fixity | Unbound.LocallyNameless |
| fixity | Unbound.LocallyNameless |
| flatten | Unbound.LocallyNameless |
| Float | Unbound.LocallyNameless |
| Float1 | Unbound.LocallyNameless |
| Fold | Unbound.LocallyNameless |
| foldLeft | Unbound.LocallyNameless |
| foldl_l | Unbound.LocallyNameless |
| foldRight | Unbound.LocallyNameless |
| foldr_l | Unbound.LocallyNameless |
| Found | Unbound.LocallyNameless.Alpha |
| Fresh | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| fresh | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| freshen | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| freshen' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| freshenD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| freshenL | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| freshenR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| FreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| FreshMT | |
| 1 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Fresh |
| from | Unbound.LocallyNameless |
| fromList | Unbound.Util |
| fromSpine | Unbound.LocallyNameless |
| fromTup | Unbound.LocallyNameless |
| fromTupM | Unbound.LocallyNameless |
| fv | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| fv' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| fv1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| fvAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| fvD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| fvR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| gall | Unbound.LocallyNameless |
| gand | Unbound.LocallyNameless |
| gany | Unbound.LocallyNameless |
| gcast | Unbound.LocallyNameless |
| gcastR | Unbound.LocallyNameless |
| gconcat | Unbound.LocallyNameless |
| gcount | Unbound.LocallyNameless |
| gdepth | Unbound.LocallyNameless |
| gelem | Unbound.LocallyNameless |
| Generate | Unbound.LocallyNameless |
| generate | Unbound.LocallyNameless |
| GenerateD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| generateD | Unbound.LocallyNameless |
| generateR1 | Unbound.LocallyNameless |
| Generic | Unbound.LocallyNameless |
| Generic' | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| GenericB | Unbound.LocallyNameless |
| GenericM | Unbound.LocallyNameless |
| GenericM' | Unbound.LocallyNameless |
| GenericQ | Unbound.LocallyNameless |
| GenericQ' | Unbound.LocallyNameless |
| GenericR | Unbound.LocallyNameless |
| GenericT | Unbound.LocallyNameless |
| GenericT' | Unbound.LocallyNameless |
| getAvoids | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| getR | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| getRepC | Unbound.LocallyNameless |
| gfindtype | Unbound.LocallyNameless |
| glength | Unbound.LocallyNameless |
| GM | Unbound.LocallyNameless |
| gmapM | Unbound.LocallyNameless |
| gmapM1 | Unbound.LocallyNameless |
| gmapQ | Unbound.LocallyNameless |
| gmapQ1 | Unbound.LocallyNameless |
| gmapT | Unbound.LocallyNameless |
| gmapT1 | Unbound.LocallyNameless |
| gnodecount | Unbound.LocallyNameless |
| gor | Unbound.LocallyNameless |
| gproduct | Unbound.LocallyNameless |
| GQ | Unbound.LocallyNameless |
| gsize | Unbound.LocallyNameless |
| GSum | Unbound.LocallyNameless |
| gsum | Unbound.LocallyNameless |
| GSumD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| gsumD | Unbound.LocallyNameless |
| gsumR1 | Unbound.LocallyNameless |
| GT | Unbound.LocallyNameless |
| gtypecount | Unbound.LocallyNameless |
| HasNext | Unbound.Nominal.Internal, Unbound.Nominal |
| incr | Unbound.LocallyNameless.Alpha |
| Index | Unbound.LocallyNameless.Alpha |
| Infix | Unbound.LocallyNameless |
| Infixl | Unbound.LocallyNameless |
| Infixr | Unbound.LocallyNameless |
| initial | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Int | Unbound.LocallyNameless |
| Int1 | Unbound.LocallyNameless |
| Integer | Unbound.LocallyNameless |
| Integer1 | Unbound.LocallyNameless |
| integer2Name | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| IO | Unbound.LocallyNameless |
| IO1 | Unbound.LocallyNameless |
| IOError | Unbound.LocallyNameless |
| IOError1 | Unbound.LocallyNameless |
| isBound | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| IsEmbed | Unbound.LocallyNameless.Alpha |
| isEmbed | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| isEmbedD | Unbound.LocallyNameless.Alpha |
| isFree | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| isid | Unbound.PermM, Unbound.LocallyNameless |
| isPat | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| isPatD | Unbound.LocallyNameless.Alpha |
| isPatR1 | Unbound.LocallyNameless.Alpha |
| isTerm | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| isTermD | Unbound.LocallyNameless.Alpha |
| isTermR1 | Unbound.LocallyNameless.Alpha |
| isvar | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| isvarD | Unbound.LocallyNameless.Subst |
| join | Unbound.PermM, Unbound.LocallyNameless |
| L | Unbound.Nominal.Internal |
| labels | Unbound.LocallyNameless |
| level | Unbound.LocallyNameless.Alpha |
| lexord | Unbound.LocallyNameless.Alpha |
| LFresh | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| lfresh | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| lfreshen | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| lfreshen' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| lfreshenD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| lfreshenL | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| lfreshenR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| LFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| LFreshMT | |
| 1 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Fresh |
| listify | Unbound.LocallyNameless |
| Lreduce | Unbound.LocallyNameless |
| lreduce | Unbound.LocallyNameless |
| LreduceD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| lreduceD | Unbound.LocallyNameless |
| lreduceR1 | Unbound.LocallyNameless |
| lsubst | Unbound.Nominal.Internal, Unbound.Nominal |
| lsubsts | Unbound.Nominal.Internal, Unbound.Nominal |
| lunbind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| lunbind2 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| lunbind3 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| luntrec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| makeName | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| MapM | Unbound.LocallyNameless |
| MapM1 | Unbound.LocallyNameless |
| mapM_l | Unbound.LocallyNameless |
| mapQ_l | Unbound.LocallyNameless |
| map_l | Unbound.LocallyNameless |
| match | Unbound.Nominal.Internal, Unbound.Nominal |
| match' | Unbound.Nominal.Internal, Unbound.Nominal |
| match1 | Unbound.Nominal.Internal |
| matchBinders | Unbound.Nominal.Internal |
| matchD | Unbound.Nominal.Internal |
| matchEmbeds | Unbound.Nominal.Internal |
| matchR1 | Unbound.Nominal.Internal, Unbound.Nominal |
| maxBoundR1 | Unbound.LocallyNameless |
| MEx | Unbound.LocallyNameless |
| minBoundR1 | Unbound.LocallyNameless |
| mkbig | Unbound.Nominal.Internal |
| mkM | Unbound.LocallyNameless |
| mkMp | Unbound.LocallyNameless |
| mkPerm | Unbound.PermM, Unbound.LocallyNameless |
| mkQ | Unbound.LocallyNameless |
| mkR | Unbound.LocallyNameless |
| mkT | Unbound.LocallyNameless |
| MNil | Unbound.LocallyNameless |
| Mode | Unbound.LocallyNameless.Alpha |
| mode | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| MTup | Unbound.LocallyNameless |
| Multiset | |
| 1 (Type/Class) | Unbound.Util, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.Util, Unbound.LocallyNameless |
| naeq | Unbound.Nominal.Internal |
| Name | |
| 1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name | Unbound.LocallyNameless |
| name1 | Unbound.Nominal.Name, Unbound.Nominal |
| name10 | Unbound.Nominal.Name, Unbound.Nominal |
| name11 | Unbound.Nominal.Name |
| name2 | Unbound.Nominal.Name, Unbound.Nominal |
| name2Integer | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name2String | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name3 | Unbound.Nominal.Name, Unbound.Nominal |
| name4 | Unbound.Nominal.Name, Unbound.Nominal |
| name5 | Unbound.Nominal.Name, Unbound.Nominal |
| name6 | Unbound.Nominal.Name, Unbound.Nominal |
| name7 | Unbound.Nominal.Name, Unbound.Nominal |
| name8 | Unbound.Nominal.Name, Unbound.Nominal |
| name9 | Unbound.Nominal.Name, Unbound.Nominal |
| nameA | Unbound.Nominal.Internal |
| nameB | Unbound.Nominal.Internal |
| nameC | Unbound.Nominal.Internal |
| NamesSeen | Unbound.LocallyNameless.Alpha |
| nextInteger | Unbound.Nominal.Internal, Unbound.Nominal |
| Nil | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| Nm | |
| 1 (Data Constructor) | Unbound.Nominal.Name |
| 2 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| Nonfix | Unbound.LocallyNameless |
| NthCont | |
| 1 (Type/Class) | Unbound.LocallyNameless.Alpha |
| 2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| nthName | Unbound.LocallyNameless.Alpha |
| nthpat | Unbound.LocallyNameless.Alpha |
| nthpatD | Unbound.LocallyNameless.Alpha |
| nthpatL | Unbound.LocallyNameless.Alpha |
| nthpatR1 | Unbound.LocallyNameless.Alpha |
| nthpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| NthResult | Unbound.LocallyNameless.Alpha |
| open | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| openD | Unbound.LocallyNameless.Alpha |
| openP | Unbound.LocallyNameless.Alpha |
| openR1 | Unbound.LocallyNameless.Alpha |
| openT | Unbound.LocallyNameless.Alpha |
| OrdD | Unbound.LocallyNameless |
| orElse | Unbound.LocallyNameless |
| Pat | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| pat | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| patfv | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| patfvAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| Perm | Unbound.PermM, Unbound.LocallyNameless |
| perm | Unbound.Nominal.Internal |
| prec | Unbound.LocallyNameless |
| Query | Unbound.LocallyNameless |
| Query1 | Unbound.LocallyNameless |
| R | |
| 1 (Type/Class) | Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Data Constructor) | Unbound.LocallyNameless.Types |
| R1 | Unbound.LocallyNameless |
| rAnyName | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rAnyName1 | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| Rational | Unbound.LocallyNameless |
| Rational1 | Unbound.LocallyNameless |
| rBind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rBind1 | Unbound.Nominal.Internal |
| rBool | Unbound.LocallyNameless |
| rBool1 | Unbound.LocallyNameless |
| rConsEmb | Unbound.LocallyNameless |
| Rebind | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rebind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| Rec | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types |
| rec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| recoverMp | Unbound.LocallyNameless |
| recoverQ | Unbound.LocallyNameless |
| rEither | Unbound.LocallyNameless |
| rEither1 | Unbound.LocallyNameless |
| rEmbed | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rEmbed1 | Unbound.Nominal.Internal |
| reopen | Unbound.Nominal.Internal, Unbound.Nominal |
| Rep | Unbound.LocallyNameless |
| rep | Unbound.LocallyNameless |
| Rep1 | Unbound.LocallyNameless |
| rep1 | Unbound.LocallyNameless |
| resetNext | Unbound.Nominal.Internal, Unbound.Nominal |
| restrict | Unbound.PermM, Unbound.LocallyNameless |
| rExp | Unbound.Nominal.Internal |
| rExp1 | Unbound.Nominal.Internal |
| rList | Unbound.LocallyNameless |
| rList1 | Unbound.LocallyNameless |
| rMaybe | Unbound.LocallyNameless |
| rMaybe1 | Unbound.LocallyNameless |
| rName | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rName1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rnf | Unbound.LocallyNameless |
| rnfR | Unbound.LocallyNameless |
| rNilEmb | Unbound.LocallyNameless |
| rOrdering | Unbound.LocallyNameless |
| rOrdering1 | Unbound.LocallyNameless |
| rPairEmb | Unbound.LocallyNameless |
| rR | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rRebind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rRebind1 | Unbound.Nominal.Internal |
| rRec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rRec1 | Unbound.Nominal.Internal |
| Rreduce | Unbound.LocallyNameless |
| rreduce | Unbound.LocallyNameless |
| RreduceD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| rreduceD | Unbound.LocallyNameless |
| rreduceR1 | Unbound.LocallyNameless |
| rShift | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rShift1 | Unbound.Nominal.Internal |
| rTup2 | Unbound.LocallyNameless |
| rTup2_1 | Unbound.LocallyNameless |
| rTup3 | Unbound.LocallyNameless |
| rTup3_1 | Unbound.LocallyNameless |
| rTup4 | Unbound.LocallyNameless |
| rTup4_1 | Unbound.LocallyNameless |
| rTup5 | Unbound.LocallyNameless |
| rTup5_1 | Unbound.LocallyNameless |
| rTup6 | Unbound.LocallyNameless |
| rTup6_1 | Unbound.LocallyNameless |
| rTup7 | Unbound.LocallyNameless |
| rTup7_1 | Unbound.LocallyNameless |
| runFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| rUnit | Unbound.LocallyNameless |
| rUnitEmb | Unbound.LocallyNameless |
| runLFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runLFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runNthCont | Unbound.LocallyNameless.Alpha |
| s2n | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Sat | Unbound.LocallyNameless |
| Shift | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| ShowD | Unbound.LocallyNameless |
| showsPrecR1 | Unbound.LocallyNameless |
| Shrink | Unbound.LocallyNameless |
| shrink | Unbound.LocallyNameless |
| ShrinkD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| shrinkD | Unbound.LocallyNameless |
| single | Unbound.PermM, Unbound.LocallyNameless |
| singleton | Unbound.Util, Unbound.LocallyNameless |
| something | Unbound.LocallyNameless |
| Spine | Unbound.LocallyNameless |
| string2Name | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Subst | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| subst | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| SubstD | |
| 1 (Type/Class) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Subst |
| 4 (Data Constructor) | Unbound.LocallyNameless.Subst |
| substD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substDefault | Unbound.LocallyNameless.Subst |
| SubstName | |
| 1 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substs | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substsD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substsR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| subtrees | Unbound.LocallyNameless |
| support | Unbound.PermM, Unbound.LocallyNameless |
| swapall' | Unbound.Nominal.Internal, Unbound.Nominal |
| swapallD | Unbound.Nominal.Internal |
| swapallR1 | Unbound.Nominal.Internal |
| swaps | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swaps' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| swapsBinders | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| swapsEmbeds | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| synthesize | Unbound.LocallyNameless |
| Term | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| term | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| tests_aeq | Unbound.Nominal.Internal |
| tests_big | Unbound.Nominal.Internal |
| tests_fv | Unbound.Nominal.Internal |
| tests_subst | Unbound.Nominal.Internal |
| to | Unbound.LocallyNameless |
| toList | Unbound.LocallyNameless |
| toR | Unbound.LocallyNameless |
| toSortedName | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| toSpine | Unbound.LocallyNameless |
| translate | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Traversal | Unbound.LocallyNameless |
| Traversal1 | Unbound.LocallyNameless |
| TRec | |
| 1 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| trec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| Typed | Unbound.LocallyNameless |
| unbind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unbind2 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unbind3 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unembed | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| unFreshMT | Unbound.LocallyNameless.Fresh |
| unGeneric' | Unbound.LocallyNameless |
| unGM | Unbound.LocallyNameless |
| unGQ | Unbound.LocallyNameless |
| unGT | Unbound.LocallyNameless |
| union | Unbound.Util, Unbound.LocallyNameless |
| unions | Unbound.Util |
| unLFreshMT | Unbound.LocallyNameless.Fresh |
| unrebind | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unrec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unsafeUnbind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops |
| untrec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| V | Unbound.Nominal.Internal |
| Val | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| ZD | Unbound.LocallyNameless |
| Zero | Unbound.LocallyNameless |
| zero | Unbound.LocallyNameless |
| ZeroD | Unbound.LocallyNameless |
| zeroD | Unbound.LocallyNameless |
| zeroR1 | Unbound.LocallyNameless |