[tiger.ml.git] / compiler / src / lib / tiger / tiger_env_type.mli

type unique

type t =
  | Unit
  | Nil
  | Int
  | String
  | Record of
      { unique : unique
      ; fields : record_fields
      }
  | Array of
      { unique : unique
      ; ty     : t
      }
  | Name of Tiger_symbol.t * t option ref
and record_fields =
  (Tiger_symbol.t * t) list

type env =
  (Tiger_symbol.t, t ) Tiger_map.t

val built_in : env

val is_equal  : t -> t -> bool

val is_int    : t -> bool
val is_string : t -> bool
val is_array  : t -> bool
val is_record : t -> bool
val is_name   : t -> bool

val if_record : t -> f:(record_fields -> 'a) -> otherwise:(unit -> 'a) -> 'a

val new_record : record_fields -> t
val new_array  : t -> t

val to_string : t -> string
Commit	Line	Data
	1	type unique
	2
	3	type t =
	4	\| Unit
	5	\| Nil
	6	\| Int
	7	\| String
	8	\| Record of
	9	{ unique : unique
	10	; fields : record_fields
	11	}
	12	\| Array of
	13	{ unique : unique
	14	; ty : t
	15	}
	16	\| Name of Tiger_symbol.t * t option ref
	17	and record_fields =
	18	(Tiger_symbol.t * t) list
	19
	20	type env =
	21	(Tiger_symbol.t, t ) Tiger_map.t
	22
	23	val built_in : env
	24
	25	val is_equal : t -> t -> bool
	26
	27	val is_int : t -> bool
	28	val is_string : t -> bool
	29	val is_array : t -> bool
	30	val is_record : t -> bool
	31	val is_name : t -> bool
	32
	33	val if_record : t -> f:(record_fields -> 'a) -> otherwise:(unit -> 'a) -> 'a
	34
	35	val new_record : record_fields -> t
	36	val new_array : t -> t
	37
	38	val to_string : t -> string