Import Upstream version 20180207
[hcoop/debian/mlton.git] / basis-library / mlton / platform.sig
CommitLineData
7f918cf1
CE
1(* Copyright (C) 2003-2009 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
8signature MLTON_PLATFORM =
9 sig
10 structure Arch:
11 sig
12 datatype t = Alpha | AMD64 | ARM | ARM64 | HPPA | IA64 | m68k |
13 MIPS | PowerPC | PowerPC64 | S390 | Sparc | X86
14
15 val fromString: string -> t option
16 val host: t
17 val toString: t -> string
18 end
19
20 structure Format:
21 sig
22 datatype t = Archive | Executable | LibArchive | Library
23
24 val fromString: string -> t option
25 val host: t
26 val toString: t -> string
27 end
28
29 structure OS:
30 sig
31 datatype t = AIX | Cygwin | Darwin | FreeBSD | Hurd | HPUX
32 | Linux | MinGW | NetBSD | OpenBSD | Solaris
33
34 val fromString: string -> t option
35 val host: t
36 val toString: t -> string
37 end
38 end