Literal (cobol_data.Cobol

module VAL : sig ... end

Representation of basic COBOL values.

val invalid_chars : 
  loc:Cobol_common.Srcloc.srcloc ->
  literal_class:Cobol_data__.Data_types.literal_class ->
  (int * char) Cobol_common.Basics.NEL.t ->
  Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t

val alphanum_of_string : 
  ?quotation:Cobol_ptree.alphanum_quote ->
  string ->
  Cobol_data__.Data_types.alphanum_literal

val alphanum_with_dummy_fallback : 
  Cobol_ptree.alphanum Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_data__.Data_types.alphanum_literal Cobol_common.Srcloc.TYPES.with_loc
  * Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t option

val integer_with_dummy_fallback : 
  Cobol_ptree.integer Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_data__.Data_types.integer_literal Cobol_common.Srcloc.TYPES.with_loc
  * Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t option

val fixed_with_dummy_fallback : 
  Cobol_ptree.fixed Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_data__.Data_types.fixed_literal Cobol_common.Srcloc.TYPES.with_loc
  * Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t option

val floating_with_dummy_fallback : 
  Cobol_ptree.floating Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_data__.Data_types.floating_literal Cobol_common.Srcloc.TYPES.with_loc
  * Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t option

val boolean_with_dummy_fallback : 
  ?max_length:int ->
  Cobol_ptree.boolean Cobol_common.Srcloc.TYPES.with_loc ->
  Cobol_data__.Data_types.boolean_literal Cobol_common__Srcloc.TYPES.with_loc
  * Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t option

val value_or_error : 
  literal_class:Cobol_data__.Data_types.literal_class ->
  loc:Cobol_common__Srcloc.TYPES.srcloc ->
  ('a, VAL.error) Stdlib.result ->
  ('a Cobol_common__Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val alphanum_value : 
  Cobol_ptree.alphanum Cobol_common__Srcloc.TYPES.with_loc ->
  (string Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val boolean_value : 
  Cobol_ptree.boolean Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.boolean_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val integer_value : 
  Cobol_ptree.integer Cobol_common__Srcloc.TYPES.with_loc ->
  (Z.t Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val fixed_value : 
  Cobol_ptree.fixed Cobol_common__Srcloc.TYPES.with_loc ->
  (Q.t Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val floating_value : 
  Cobol_ptree.floating Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.floating_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val alphanum_literal_value : 
  Cobol_ptree.alphanum Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val boolean_literal_value : 
  Cobol_ptree.boolean Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val integer_literal_value : 
  Cobol_ptree.integer Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val fixed_literal_value : 
  Cobol_ptree.fixed Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val floating_literal_value : 
  Cobol_ptree.floating Cobol_common__Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val value : 
  Cobol_ptree.literal Cobol_common.Srcloc.TYPES.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val strlit_value : 
  Cobol_ptree.strlit Cobol_common.Srcloc.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val nonnumlit_value : 
  Cobol_ptree.nonnumlit Cobol_common.Srcloc.with_loc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val concat : 
  loc:Cobol_common__Srcloc.TYPES.srcloc ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result

val unsupported : 
  loc:Cobol_common__Srcloc.TYPES.srcloc ->
  Cobol_data__.Data_types.unsupported_stuff ->
  (Cobol_data__.Data_types.literal_value Cobol_common.Srcloc.TYPES.with_loc,
    Cobol_data__.Data_types.error Cobol_common.Basics.NEL.t)
    Stdlib.result