1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/libisabelle-protocol/protocol/Codec_Class.thy	Wed Apr 06 16:56:47 2016 +0200
     1.3 @@ -0,0 +1,21 @@
     1.4 +theory Codec_Class
     1.5 +imports Common "../lib/classy/Classy"
     1.6 +begin
     1.7 +
     1.8 +ML.class codec = \<open>'a codec\<close>
     1.9 +
    1.10 +ML.instance \<open>Codec.unit\<close> :: codec
    1.11 +ML.instance \<open>Codec.bool\<close> :: codec
    1.12 +ML.instance \<open>Codec.string\<close> :: codec
    1.13 +ML.instance \<open>Codec.int\<close> :: codec
    1.14 +ML.instance \<open>Codec.list\<close> :: codec
    1.15 +ML.instance \<open>Codec.tuple\<close> :: codec
    1.16 +ML.instance \<open>Codec.option\<close> :: codec
    1.17 +ML.instance \<open>Codec.either\<close> :: codec
    1.18 +ML.instance \<open>Codec.triple\<close> :: codec
    1.19 +ML.instance \<open>Codec.sort\<close> :: codec
    1.20 +ML.instance \<open>Codec.typ\<close> :: codec
    1.21 +ML.instance \<open>Codec.term\<close> :: codec
    1.22 +ML.instance \<open>Codec.tree\<close> :: codec
    1.23 +
    1.24 +end