Index
| ::: | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| :<> | |
| 1 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | KleenePlugin.Types |
| :\/ | |
| 1 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | KleenePlugin.Types |
| <&&> | KleenePlugin.Matching |
| <> | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| >>>= | KleenePlugin.Matching |
| Append | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| append | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| appendLemma | KleenePlugin.Matching |
| command | Kleene.Type.Examples.KleeneSH |
| derivate | KleenePlugin.Matching |
| E | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| elaborateRe | KleenePlugin.Elaborate |
| elaborateStr | KleenePlugin.Elaborate |
| elaborateType | KleenePlugin.TypeEq |
| exists | KleenePlugin.Matching |
| FIND | Kleene.Type.Examples.KleeneSH |
| FIND' | Kleene.Type.Examples.KleeneSH |
| find_ | Kleene.Type.Examples.KleeneSH |
| Flag | Kleene.Type.Examples.KleeneSH |
| Haskelly | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| haskelly | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| hlength | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| HList | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| hlistToSList | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| hsingleton | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| InL | |
| 1 (Type/Class) | Kleene.Type.Examples |
| 2 (Data Constructor) | Kleene.Type.Examples |
| InR | |
| 1 (Type/Class) | Kleene.Type.Examples |
| 2 (Data Constructor) | Kleene.Type.Examples |
| justMatchIt | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| Key | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| key | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| keyVal | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| kleAlt | KleenePlugin.Names |
| kleApp | KleenePlugin.Names |
| kleCls | KleenePlugin.Names |
| kleE | KleenePlugin.Names |
| kleFApp | KleenePlugin.Names |
| kleKey | KleenePlugin.Names |
| kleLabel | KleenePlugin.Names |
| kleMA | KleenePlugin.Names |
| kleMC | KleenePlugin.Names |
| kleME | KleenePlugin.Names |
| kleML | KleenePlugin.Names |
| kleMN | KleenePlugin.Names |
| kleMR | KleenePlugin.Names |
| kleMT | KleenePlugin.Names |
| kleMV | KleenePlugin.Names |
| KleNames | |
| 1 (Type/Class) | KleenePlugin.Names |
| 2 (Data Constructor) | KleenePlugin.Names |
| kleRe | KleenePlugin.Names |
| kleS | KleenePlugin.Names |
| kleSCons | KleenePlugin.Names |
| kleSNil | KleenePlugin.Names |
| kleT | KleenePlugin.Names |
| kleV | KleenePlugin.Names |
| leading | KleenePlugin.Matching |
| liftSWT | KleenePlugin.SWT |
| listEx | Kleene.Type.Examples |
| listEx' | Kleene.Type.Examples |
| ListInduction | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| listInduction | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| ListInductionC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| listInductionC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| listInductionP | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| LS | Kleene.Type.Examples.KleeneSH |
| ls_ | Kleene.Type.Examples.KleeneSH |
| M | KleenePlugin.TypeEq |
| manyMayUnify | KleenePlugin.TypeEq |
| Match | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchA | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchA | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchE | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchE | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matches | KleenePlugin.Matching |
| MatchI | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchingError | KleenePlugin.Matching |
| MatchL | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchL | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchN | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchN | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchR | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchR | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchT | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchT | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| MatchV | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| matchV | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| maybeEqType | KleenePlugin.TypeEq |
| MayUnify | KleenePlugin.TypeEq |
| mayUnify | KleenePlugin.TypeEq |
| mkREList | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| Mono | KleenePlugin.TypeEq |
| MonoApp | KleenePlugin.TypeEq |
| MonoC | KleenePlugin.TypeEq |
| MonoSym | KleenePlugin.TypeEq |
| Nil | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| NonMatch | KleenePlugin.Matching |
| nullable | KleenePlugin.Matching |
| nullable1 | Kleene.Type.Examples |
| nullable2 | Kleene.Type.Examples |
| nullable3 | Kleene.Type.Examples |
| nullable4 | Kleene.Type.Examples |
| nullable5 | Kleene.Type.Examples |
| nullable6 | Kleene.Type.Examples |
| pairEx | Kleene.Type.Examples |
| pairEx' | Kleene.Type.Examples |
| plugin | KleenePlugin |
| pprMono | KleenePlugin.TypeEq |
| pprMono' | KleenePlugin.TypeEq |
| Proof | KleenePlugin.Types |
| ProofA | KleenePlugin.Types |
| ProofC | KleenePlugin.Types |
| ProofE | KleenePlugin.Types |
| ProofL | KleenePlugin.Types |
| ProofN | KleenePlugin.Types |
| ProofR | KleenePlugin.Types |
| proofStr | KleenePlugin.Types |
| ProofT | KleenePlugin.Types |
| proofTy | KleenePlugin.Types |
| ProofV | KleenePlugin.Types |
| rcons | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| RE | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Type/Class) | KleenePlugin.Types |
| REInductionC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| reInductionC | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| reInductionP | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| REList | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rfst | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rleft | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rnil | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rpair | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rright | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rsnd | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rstar | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| rsum | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| runSWT | KleenePlugin.SWT |
| rval | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| S | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| SCons | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| simplifyRE | KleenePlugin.Types |
| SList | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| SListI | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| slistI | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| SNil | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| sourcePlugin | KleenePlugin.SourcePlugin |
| split | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| starLemma | KleenePlugin.Matching |
| Sum | Kleene.Type.Examples |
| SWT | |
| 1 (Type/Class) | KleenePlugin.SWT |
| 2 (Data Constructor) | KleenePlugin.SWT |
| synProof | KleenePlugin.Synthesis |
| synReType | KleenePlugin.Synthesis |
| synSList | KleenePlugin.Synthesis |
| synStrType | KleenePlugin.Synthesis |
| T | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| taggedSumEx | Kleene.Type.Examples |
| taggedSumEx' | Kleene.Type.Examples |
| tcPlugin | KleenePlugin.TcPlugin |
| tellSingleSWT | KleenePlugin.SWT |
| ToArg | Kleene.Type.Examples.KleeneSH |
| toArg | Kleene.Type.Examples.KleeneSH |
| tracePpr | KleenePlugin.Debug |
| tracePprId | KleenePlugin.Debug |
| traverseProofC | KleenePlugin.Types |
| tripleEx | Kleene.Type.Examples |
| tripleExB | Kleene.Type.Examples |
| tripleExC | Kleene.Type.Examples |
| TRUE | Kleene.Type.Examples.KleeneSH |
| true_ | Kleene.Type.Examples.KleeneSH |
| TYPES | Kleene.Type.Examples.KleeneSH |
| UF | |
| 1 (Type/Class) | KleenePlugin.TypeEq |
| 2 (Data Constructor) | KleenePlugin.TypeEq |
| UnexpectedEnd | KleenePlugin.Matching |
| UnifResult | KleenePlugin.TypeEq |
| unitEx | Kleene.Type.Examples |
| unitEx' | Kleene.Type.Examples |
| unSWT | KleenePlugin.SWT |
| untaggedSumEx | Kleene.Type.Examples |
| untaggedSumEx' | Kleene.Type.Examples |
| V | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| withAppend | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withAppend3 | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withE | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withREList | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withREListI | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withStarMon | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withStarR | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withTop | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withUnion | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| withV | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| \/ | Kleene.Type, Kleene.Type.Examples.KleeneSH |