[hcoop/debian/mlton.git] / basis-library / config / choose-string.sml

(* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

signature CHOOSE_STRINGN_ARG =
   sig
      type 'a t
      val fString8: String8.string t
      val fString16: String16.string t
      val fString32: String32.string t
   end

functor ChooseStringN_String8 (A : CHOOSE_STRINGN_ARG) : 
   sig val f : String8.string A.t end = 
   struct val f = A.fString8 end
functor ChooseStringN_String16 (A : CHOOSE_STRINGN_ARG) : 
   sig val f : String16.string A.t end = 
   struct val f = A.fString16 end
functor ChooseStringN_String32 (A : CHOOSE_STRINGN_ARG) : 
   sig val f : String32.string A.t end = 
   struct val f = A.fString32 end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
	2	* Jagannathan, and Stephen Weeks.
	3	*
	4	* MLton is released under a BSD-style license.
	5	* See the file MLton-LICENSE for details.
	6	*)
	7
	8	signature CHOOSE_STRINGN_ARG =
	9	sig
	10	type 'a t
	11	val fString8: String8.string t
	12	val fString16: String16.string t
	13	val fString32: String32.string t
	14	end
	15
	16	functor ChooseStringN_String8 (A : CHOOSE_STRINGN_ARG) :
	17	sig val f : String8.string A.t end =
	18	struct val f = A.fString8 end
	19	functor ChooseStringN_String16 (A : CHOOSE_STRINGN_ARG) :
	20	sig val f : String16.string A.t end =
	21	struct val f = A.fString16 end
	22	functor ChooseStringN_String32 (A : CHOOSE_STRINGN_ARG) :
	23	sig val f : String32.string A.t end =
	24	struct val f = A.fString32 end