Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /archive/mlprof.1/basics/basictypes.sig
ViewVC logotype

View of /archive/mlprof.1/basics/basictypes.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4054 - (download) (as text) (annotate)
Wed Feb 4 20:42:42 2015 UTC (4 years, 5 months ago) by dbm
File size: 895 byte(s)
Initial import of archive (of early versions of sml/nj)
(* basictypes.sig *)

signature BASICTYPES = sig

structure Basics: BASICS

infix -->
val arrowTycon : Basics.tycon ref
val --> : Basics.ty * Basics.ty -> Basics.ty

val intTycon : Basics.tycon ref
val intTy : Basics.ty

val realTycon  : Basics.tycon ref
val realTy : Basics.ty

val stringTycon  : Basics.tycon ref
val stringTy : Basics.ty

val exnTycon : Basics.tycon ref
val exnTy : Basics.ty

val arrayTycon : Basics.tycon ref

val unitTycon : Basics.tycon ref
val unitTy : Basics.ty

val recordTy : (Basics.label * Basics.ty) list -> Basics.ty
val tupleTy : Basics.ty list -> Basics.ty

val boolTycon : Basics.tycon ref
val boolTy : Basics.ty
val falseDcon : Basics.datacon
val trueDcon : Basics.datacon

val refTycon : Basics.tycon ref
val refDcon : Basics.datacon

val listTycon : Basics.tycon ref
val nilDcon : Basics.datacon
val consDcon : Basics.datacon

end (* signature BASICTYPES *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0