Abstract

Definitions of modules that implement both the hashkey and ordkey module types for a variety of types.

Synopsis

open import "lib/github.com/diku-dk/containers/hashkey"
open import "lib/github.com/diku-dk/containers/ordkey"
module type key = {
type ctx
type key
type uint
include hashkey with ctx = ctx with key = key with uint = uint
include ordkey with ctx = ctx with key = key
}
module u8key: key with ctx = () with key = u8 with uint = u64
module u16key: key with ctx = () with key = u16 with uint = u64
module u32key: key with ctx = () with key = u32 with uint = u64
module u64key: key with ctx = () with key = u64 with uint = u64
module i8key: key with ctx = () with key = i8 with uint = u64
module i16key: key with ctx = () with key = i16 with uint = u64
module i32key: key with ctx = () with key = i32 with uint = u64
module i64key: key with ctx = () with key = i64 with uint = u64
module u8key_u32: key with ctx = () with key = u8 with uint = u32
module u16key_u32: key with ctx = () with key = u16 with uint = u32
module u32key_u32: key with ctx = () with key = u32 with uint = u32
module u64key_u32: key with ctx = () with key = u64 with uint = u32
module i8key_u32: key with ctx = () with key = i8 with uint = u32
module i16key_u32: key with ctx = () with key = i16 with uint = u32
module i32key_u32: key with ctx = () with key = i32 with uint = u32
module i64key_u32: key with ctx = () with key = i64 with uint = u32

Description

↑module type key
↑type ctx
↑type key
↑type uint
include hashkey with ctx = ctx with key = key with uint = uint
include ordkey with ctx = ctx with key = key
↑module u8key
↑module u16key
↑module u32key
↑module u64key
↑module i8key
↑module i16key
↑module i32key
↑module i64key
↑module u8key_u32
↑module u16key_u32
↑module u32key_u32
↑module u64key_u32
↑module i8key_u32
↑module i16key_u32
↑module i32key_u32
↑module i64key_u32