lib/mlton/env/finite-function.sig

   1 (* Copyright (C) 2009 Matthew Fluet.
   2  * Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature FINITE_FUNCTION =
  10    sig
  11       type ('a, 'b) t
  12
  13       val foreach: ('a, 'b) t * ('a * 'b -> unit) -> unit
  14       val lookup: ('a, 'b) t * 'a -> 'b
  15       val size: ('a, 'b) t -> int
  16       val toFunction: ('a, 'b) t -> 'a -> 'b
  17    end