Core.Hash

Definitions

interface Hashable : Type -> Type

Parameters: a
Methods:

hash : a -> Int

hashWithSalt : Int -> a -> Int

Fixity Declaration: infixl operator, level 5

Implementations:

Hashable CompilationUnitId

Hashable def => Hashable (CompilationUnit def)

Hashable def => Hashable (FC, def)

Hashable Int

Hashable Int8

Hashable Int16

Hashable Int32

Hashable Int64

Hashable Bits8

Hashable Bits16

Hashable Bits32

Hashable Bits64

Hashable Integer

Hashable Nat

Hashable Char

Hashable a => Hashable (Vect n a)

Hashable a => Hashable (List a)

Hashable a => Hashable (SnocList a)

Hashable a => Hashable (List1 a)

Hashable a => Hashable (Maybe a)

Hashable a => Hashable b => Hashable (a, b)

Hashable String

Hashable Double

Hashable Namespace

Hashable Name

Hashable RigCount

Hashable t => Hashable (PiInfo t)

Hashable ty => Hashable (Binder ty)

Hashable (Var vars)

Hashable (Term vars)

Hashable Pat

Hashable (CaseTree vars)

Hashable (CaseAlt vars)

Hashable CFType

Hashable PrimType

Hashable Constant

Hashable LazyReason

Hashable (PrimFn arity)

Hashable ConInfo

Hashable NamedCExp

Hashable NamedConAlt

Hashable NamedConstAlt

Hashable NamedDef

hash : Hashable a => a -> Int

Visibility: public export

hashWithSalt : Hashable a => Int -> a -> Int

Visibility: public export
Fixity Declaration: infixl operator, level 5