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 |