| * | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| + | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| - | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| :~: | Data.Type.Witness |
| :~~: | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| <= | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| == | Data.Type.Witness |
| Add | Data.PeanoNat, Data.Type.Witness |
| addNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| addPeanoNat | Data.PeanoNat, Data.Type.Witness |
| addPeanoNatType | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| addPeanoNatTypeGE | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| addZeroPeanoNatTypeEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| AllConstraint | Data.Type.Witness.General.AllConstraint, Data.Type.Witness |
| allConstraint | Data.Type.Witness.General.AllConstraint, Data.Type.Witness |
| AllFor | Data.Type.Witness.Specific.All, Data.Type.Witness |
| allForCodomain | Data.Type.Witness.General.Finite, Data.Type.Witness |
| allForToAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| allForWitnessConstraint | Data.Type.Witness.Specific.All, Data.Type.Witness |
| allMapSome | Data.Type.Witness.Specific.All, Data.Type.Witness |
| AllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| allOfToAllFor | Data.Type.Witness.Specific.All, Data.Type.Witness |
| allShow | Data.Type.Witness.General.AllConstraint, Data.Type.Witness |
| allWitnesses | Data.Type.Witness.General.Finite, Data.Type.Witness |
| apply | Data.Type.Witness |
| applyConcatRefl | Data.Type.Witness.Specific.ApplyStack, Data.Type.Witness |
| applyRefl | Data.Type.Witness.Apply, Data.Type.Witness |
| ApplyStack | Data.Type.Witness.Specific.ApplyStack, Data.Type.Witness |
| asProxyTypeOf | Data.Type.Witness |
| assembleAllFor | Data.Type.Witness.General.Finite, Data.Type.Witness |
| assembleAllOf | Data.Type.Witness.General.Finite, Data.Type.Witness |
| assembleListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| castWith | Data.Type.Witness |
| CmpNat | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| Concat | Data.Type.Witness.Specific.Concat, Data.Type.Witness |
| concatEmptyRefl | Data.Type.Witness.Specific.Concat, Data.Type.Witness |
| concatIsDict | Data.Type.Witness.Specific.Concat, Data.Type.Witness |
| concatListType | Data.Type.Witness.Specific.Concat, Data.Type.Witness |
| ConsFixedList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| ConsListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| ConsType | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| countListType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| diff1GreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| Div | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| eitherAllFor | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| eitherAllOf | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| eitherFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| EitherType | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| emptyAllFor | Data.Type.Witness.Specific.Empty, Data.Type.Witness |
| emptyAllOf | Data.Type.Witness.Specific.Empty, Data.Type.Witness |
| emptyOrderedWitnessMapFor | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| emptyOrderedWitnessMapOf | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| EmptyType | Data.Type.Witness.Specific.Empty, Data.Type.Witness |
| emptyWitnessMapFor | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| emptyWitnessMapOf | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| fillListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| FiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteCodomain | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteDomain | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| finiteGetAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| FiniteWitness | Data.Type.Witness.General.Finite, Data.Type.Witness |
| FirstElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| fixedFromList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| FixedList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fixedListArrowSequence | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fixedListArrowSequence_ | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fixedListElement | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| fromListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
| fromRepWitness | Data.Type.Witness.General.Representative, Data.Type.Witness |
| gcastWith | Data.Type.Witness |
| getRepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| getRepWitness | Data.Type.Witness.General.Representative, Data.Type.Witness |
| getSingleAllOf | Data.Type.Witness.Specific.Single, Data.Type.Witness |
| Greater | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| GreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| greaterEqualIndex | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| greaterIndex | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| HetConstraint | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
| hetConstraint | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
| HetConstraintWitness | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
| HetEqual | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| hetHomoEq | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| HetRefl | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| HRefl | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| identityListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| indexListElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| injectiveListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| injectiveListSum | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| inner | Data.Type.Witness |
| Is | Data.Type.Witness.General.Representative, Data.Type.Witness |
| isWitnessRepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| joinListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| joinMListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| KnownNat | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| KnownSymbol | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |
| KProxy | |
| 1 (Data Constructor) | Data.Type.Witness |
| 2 (Type/Class) | Data.Type.Witness |
| LeftType | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| lift2ListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| ListElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| listElementTypeIndex | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| ListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
| ListLength | Data.PeanoNat, Data.Type.Witness |
| ListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductEq | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductGetElement | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductModifyElement | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductPutElement | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductShow | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| ListProductType | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| ListSum | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| listSumEq | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| listSumShow | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| ListSumType | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| ListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFor | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFor_ | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFromFixedList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeLength | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeLengthType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeToFixedList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeToList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| Log2 | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| lookUpListElement | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| mapFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| mapListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| mapListSum | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| mapListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| mapMListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| mapSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| matchIs | Data.Type.Witness.General.Representative, Data.Type.Witness |
| matchSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| matchSomeFor | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| matchSomeOf | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| MkAllFor | Data.Type.Witness.Specific.All, Data.Type.Witness |
| MkAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| MkEmptyType | Data.Type.Witness.Specific.Empty, Data.Type.Witness |
| MkFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| mkFiniteAllFor | Data.Type.Witness.Specific.FiniteAllFor, Data.Type.Witness |
| MkGreater | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| MkHetConstraintWitness | Data.Type.Witness.General.HetConstraint, Data.Type.Witness |
| MkListProductType | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| MkListSumType | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| MkNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| MkOrderedWitnessMapFor | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| MkPairType | Data.Type.Witness.Specific.Pair, Data.Type.Witness |
| MkSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| MkSomeFor | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| mkSomeFor | Data.Type.Witness.General.Representative, Data.Type.Witness |
| MkSomeOf | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| mkSomeOf | Data.Type.Witness.General.Representative, Data.Type.Witness |
| MkSymbolType | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |
| MkWitnessMapFor | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| Mod | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| multiplyNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| multiplyPeanoNat | Data.PeanoNat, Data.Type.Witness |
| Nat | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| naturalToPeano | Data.PeanoNat, Data.Type.Witness |
| NaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| NilFixedList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| NilListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| OrderedWitnessMapFor | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForAdd | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForFold | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForFromList | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForLookup | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForMapM | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForModify | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForRemove | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForReplace | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForSingle | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| orderedWitnessMapForToList | Data.Type.Witness.Specific.OrderedWitnessMap.For, Data.Type.Witness |
| OrderedWitnessMapOf | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfAdd | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfFold | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfFromList | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfLookup | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfModify | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfRemove | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfReplace | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfSingle | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| orderedWitnessMapOfToList | Data.Type.Witness.Specific.OrderedWitnessMap.Of, Data.Type.Witness |
| outer | Data.Type.Witness |
| pairListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| PairType | Data.Type.Witness.Specific.Pair, Data.Type.Witness |
| peanoGreater | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| peanoGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| PeanoNat | Data.PeanoNat, Data.Type.Witness |
| PeanoNatType | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| PeanoToNatural | Data.PeanoNat, Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| peanoToNatural | Data.PeanoNat, Data.Type.Witness |
| peanoToNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| pickListElement | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| Proxy | |
| 1 (Data Constructor) | Data.Type.Witness |
| 2 (Type/Class) | Data.Type.Witness |
| Refl | Data.Type.Witness |
| reflId | Data.Type.Witness.Apply, Data.Type.Witness |
| reflId1 | Data.Type.Witness.Apply, Data.Type.Witness |
| Representative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| representative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| rerepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| RestElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| RightType | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| samePeanoGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| sequenceListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| setAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| singleAllOf | Data.Type.Witness.Specific.Single, Data.Type.Witness |
| SingleType | Data.Type.Witness.Specific.Single, Data.Type.Witness |
| Some | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| SomeFor | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| someForToSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| SomeOf | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| someToValue | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| splitSomeOfList | Data.Type.Witness.Specific.All, Data.Type.Witness |
| Subrepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| subtractFromPeanoNat | Data.PeanoNat, Data.Type.Witness |
| Succ | Data.PeanoNat, Data.Type.Witness |
| succAddPeanoNatTypeEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| succAddPeanoNatTypeEqual' | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| SuccGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| succNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| SuccType | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| sym | Data.Type.Witness |
| Symbol | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |
| SymbolType | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |
| testCompare | Data.Type.Witness.General.Order, Data.Type.Witness |
| TestEquality | Data.Type.Witness |
| testEquality | Data.Type.Witness |
| TestHetEquality | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| testHetEquality | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| TestOrder | Data.Type.Witness.General.Order, Data.Type.Witness |
| toListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
| trans | Data.Type.Witness |
| typeValue | Data.Type.Witness.General.Representative, Data.Type.Witness |
| unAllFor | Data.Type.Witness.Specific.All, Data.Type.Witness |
| UnAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| unAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| valueToSome | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| valueToWitness | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| WEQ | Data.Type.Witness.General.Order, Data.Type.Witness |
| WGT | Data.Type.Witness.General.Order, Data.Type.Witness |
| witApplyConcatRefl | Data.Type.Witness.Specific.ApplyStack, Data.Type.Witness |
| withConcatIs | Data.Type.Witness.Specific.Concat, Data.Type.Witness |
| withHRefl | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| withRefl | Data.Type.Witness.Apply, Data.Type.Witness |
| withRepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| withSubrepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| WitnessConstraint | Data.Type.Witness.General.WitnessConstraint, Data.Type.Witness |
| witnessConstraint | Data.Type.Witness.General.WitnessConstraint, Data.Type.Witness |
| WitnessMapFor | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForAdd | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForFold | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForFromList | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForLookup | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForMapM | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForModify | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForRemove | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForReplace | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForSingle | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForToList | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| WitnessMapOf | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfAdd | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfFold | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfFromList | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfLookup | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfModify | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfRemove | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfReplace | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfSingle | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfToList | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessToValue | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| WitnessTypeList | Data.Type.Witness.General.ListElement, Data.Type.Witness, Data.Type.Witness |
| WitnessValue | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| WitnessValueType | Data.Type.Witness.General.WitnessValue, Data.Type.Witness, Data.Type.Witness |
| WLT | Data.Type.Witness.General.Order, Data.Type.Witness |
| WOrdering | Data.Type.Witness.General.Order, Data.Type.Witness |
| wOrderingToOrdering | Data.Type.Witness.General.Order, Data.Type.Witness |
| Zero | Data.PeanoNat, Data.Type.Witness |
| ZeroGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| zeroNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| ZeroType | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| ^ | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| ~~ | Data.Type.Witness |