← Back to branch summary

~ubuntu-branches/ubuntu/vivid/typerep/vivid

« back to all changes in this revision

Viewing changes to generics/sexprep/lib/sexprep.mli

  • Committer: Package Import Robot
  • Author(s): Hilko Bengen
  • Date: 2014-09-24 23:51:02 UTC
  • Revision ID: package-import@ubuntu.com-20140924235102-0qeq851f02otnnxp
Tags: upstream-111.17.00
Import upstream version 111.17.00

Show diffs side-by-side

added added

removed removed

Lines of Context:
generics/sexprep/lib/sexprep.mli
 
1
open Typerep_extended.Std
 
2
open Pre_core.Std
 
3
 
 
4
module Of_sexp : sig
 
5
  exception Type_mismatch of string * Sexp.t
 
6
  include Type_generic.S with type 'a t = Sexp.t -> 'a
 
7
end
 
8
module Sexp_of : Type_generic.S with type 'a t = 'a -> Sexp.t
 
9
 
 
10
val t_of_sexp : 'a Typerep.t -> [`generic of Sexp.t -> 'a]
 
11
val sexp_of_t : 'a Typerep.t -> [`generic of 'a -> Sexp.t]
 
12
 
 
13
module Make_sexpable(X:Typerepable.S0) : Sexpable.S
 
14
  with type t := X.t
 
15
val make_sexpable : 'a Typerep.t -> (module Sexpable.S with type t = 'a)
 
16
 
 
17
module Tagged : sig
 
18
  module Of_sexp : Tagged_generic.S with type 'a t = Sexp.t -> 'a
 
19
  module Sexp_of : Tagged_generic.S with type 'a t = 'a -> Sexp.t
 
20
 
 
21
  val t_of_sexp : Type_struct.t -> [ `generic of Sexp.t -> Tagged.t ]
 
22
  val sexp_of_t : Type_struct.t -> [ `generic of Tagged.t -> Sexp.t ]
 
23
 
 
24
  module Make_sexpable(X:sig val typestruct_of_t : Type_struct.t end) : Sexpable.S
 
25
    with type t := Tagged.t
 
26
  val make_sexpable : Type_struct.t -> (module Sexpable.S with type t = Tagged.t)
 
27
end