Documentation

Init.Data.Hashable

source
instance instHashableNat :
Hashable Nat
Equations
    source
    instance instHashableRaw :
    Hashable String.Pos.Raw
    Equations
      source
      instance instHashableProd {α : Type u_1} {β : Type u_2} [Hashable α] [Hashable β] :
      Hashable (α × β)
      Equations
        source
        instance instHashableBool :
        Hashable Bool
        Equations
          source
          instance instHashablePEmpty :
          Hashable PEmpty
          Equations
            source
            instance instHashablePUnit :
            Hashable PUnit
            Equations
              source
              instance instHashableOption {α : Type u_1} [Hashable α] :
              Hashable (Option α)
              Equations
                source
                instance instHashableList {α : Type u_1} [Hashable α] :
                Hashable (List α)
                Equations
                  source
                  instance instHashableArray {α : Type u_1} [Hashable α] :
                  Hashable (Array α)
                  Equations
                    source
                    instance instHashableUInt8 :
                    Hashable UInt8
                    Equations
                      source
                      instance instHashableUInt16 :
                      Hashable UInt16
                      Equations
                        source
                        instance instHashableUInt32 :
                        Hashable UInt32
                        Equations
                          source
                          instance instHashableUInt64 :
                          Hashable UInt64
                          Equations
                            source
                            instance instHashableUSize :
                            Hashable USize
                            Equations
                              source
                              instance instHashableFin {n : Nat} :
                              Hashable (Fin n)
                              Equations
                                source
                                instance instHashableChar :
                                Hashable Char
                                Equations
                                  source
                                  instance instHashableInt :
                                  Hashable Int
                                  Equations
                                    source
                                    instance instHashable (P : Prop) :
                                    Hashable P
                                    Equations
                                      source
                                      @[inline]
                                      def hash64 (u : UInt64) :
                                      UInt64

                                      An opaque (low-level) hash operation used to implement hashing for pointers.

                                      Equations
                                        Instances For