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 |