Fill AACI and coerce type specs

Any error reasons or paths are just term() still, and ACI doesn't have a defined spec in the compiler, so whatever, but the AACI types, the erlang representation of terms, and the four different kinds of coerce function are all spec'd now.

Also some internal type substitution functions were given types, just in the hopes of catching some errors, but dyalizer doesn't seem to complain at all no matter how badly I break my code. Strange approach to making a type system, but oh well.

.gitignore

@@ -8,7 +8,9 @@ cancer
 erl_crash.dump
 ebin/*.beam
 doc/*.html
+doc/*.css
 doc/edoc-info
+doc/erlang.png
 rel/example_project
 .concrete/DEV_MODE
 .rebar

doc/stylesheet.css

@@ -1,75 +0,0 @@
-/* standard EDoc style sheet */
-body {
-    font-family: Verdana, Arial, Helvetica, sans-serif;
-    margin-left: .25in;
-    margin-right: .2in;
-    margin-top: 0.2in;
-    margin-bottom: 0.2in;
-    color: #696969;
-    background-color: #ffffff;
-}
-a:link{
-    color: #000000;
-}
-a:visited{
-    color: #000000;
-}
-a:hover{
-    color: #d8613c;
-}
-h1,h2 {
- 	margin-left: -0.2in;
-}
-div.navbar {
-	background-color: #000000;
-	padding: 0.2em;
-}
-h2.indextitle {
-	padding: 0.4em;
-    color: #dfdfdf;
-	background-color: #000000;
-}
-div.navbar a:link {
-    color: #dfdfdf;
-}
-div.navbar a:visited {
-    color: #dfdfdf;
-}
-div.navbar a:hover {
-    color: #d8613c;
-}
-h3.function,h3.typedecl {
-	background-color: #000000;
-    color: #dfdfdf;
- 	padding-left: 1em;
-}
-div.spec {
- 	margin-left: 2em;
-	background-color: #eeeeee;
-}
-a.module {
-	text-decoration:none
-}
-a.module:hover {
-	background-color: #eeeeee;
-}
-ul.definitions {
-	list-style-type: none;
-}
-ul.index {
-	list-style-type: none;
-	background-color: #eeeeee;
-}
-
-/*
- * Minor style tweaks
- */
-ul {
-	list-style-type: square;
-}
-table {
-	border-collapse: collapse;
-}
-td {
-	padding: 3
-}

ebin/hakuzaru.app

@@ -3,7 +3,7 @@
               {included_applications,[]},
               {applications,[stdlib,kernel]},
               {description,"Gajumaru interoperation library"},
-              {vsn,"0.8.3"},
+              {vsn,"0.8.2"},
               {modules,[hakuzaru,hz,hz_fetcher,hz_format,hz_grids,
                         hz_key_master,hz_man,hz_sup]},
               {mod,{hakuzaru,[]}}]}.

src/hakuzaru.erl

@@ -6,7 +6,7 @@
 %%% @end
 
 -module(hakuzaru).
--vsn("0.8.3").
+-vsn("0.8.2").
 -author("Craig Everett <ceverett@tsuriai.jp>").
 -copyright("Craig Everett <ceverett@tsuriai.jp>").
 -license("GPL-3.0-or-later").

src/hz_fetcher.erl

@@ -1,5 +1,5 @@
 -module(hz_fetcher).
--vsn("0.8.3").
+-vsn("0.8.2").
 -author("Craig Everett <ceverett@tsuriai.jp>").
 -copyright("Craig Everett <ceverett@tsuriai.jp>").
 -license("MIT").

src/hz_format.erl

@@ -21,7 +21,7 @@
 %%% @end
 
 -module(hz_format).
--vsn("0.8.3").
+-vsn("0.8.2").
 -author("Craig Everett <ceverett@tsuriai.jp>").
 -copyright("Craig Everett <ceverett@tsuriai.jp>").
 -license("GPL-3.0-or-later").

src/hz_grids.erl

@@ -37,8 +37,8 @@
 %%% @end
 
 -module(hz_grids).
--vsn("0.8.3").
--export([url/2, url/3, url/4, parse/1, req/2, req/3, req/4]).
+-vsn("0.8.2").
+-export([url/2, url/3, url/4, parse/1, req/2, req/3]).
 
 
 -spec url(Instruction, HTTP) -> Result
@@ -193,28 +193,24 @@ l_to_i(S) ->
 req(Type, Message) ->
     req(Type, Message, false).
 
-req(Type, Message, ID) ->
-    {ok, NetworkID} = hz:network_id(),
-    req(Type, Message, ID, NetworkID).
-
-req(sign, Message, ID, NetworkID) ->
+req(sign, Message, ID) ->
     #{"grids"      => 1,
       "chain"      => "gajumaru",
-      "network_id" => NetworkID,
+      "network_id" => hz:network_id(),
       "type"       => "message",
       "public_id"  => ID,
       "payload"    => Message};
-req(tx, Data, ID, NetworkID) ->
+req(tx, Data, ID) ->
     #{"grids"      => 1,
       "chain"      => "gajumaru",
-      "network_id" => NetworkID,
+      "network_id" => hz:network_id(),
       "type"       => "tx",
       "public_id"  => ID,
       "payload"    => Data};
-req(ack, Message, ID, NetworkID) ->
+req(ack, Message, ID) ->
     #{"grids"      => 1,
       "chain"      => "gajumaru",
-      "network_id" => NetworkID,
+      "network_id" => hz:network_id(),
       "type"       => "ack",
       "public_id"  => ID,
       "payload"    => Message}.

src/hz_key_master.erl

@@ -8,7 +8,7 @@
 %%% @end
 
 -module(hz_key_master).
--vsn("0.8.3").
+-vsn("0.8.2").
 
 
 -export([make_key/1, encode/1, decode/1]).

src/hz_man.erl

@@ -9,7 +9,7 @@
 %%% @end
 
 -module(hz_man).
--vsn("0.8.3").
+-vsn("0.8.2").
 -behavior(gen_server).
 -author("Craig Everett <ceverett@tsuriai.jp>").
 -copyright("Craig Everett <ceverett@tsuriai.jp>").

src/hz_sup.erl

@@ -9,7 +9,7 @@
 %%% @end
 
 -module(hz_sup).
--vsn("0.8.3").
+-vsn("0.8.2").
 -behaviour(supervisor).
 -author("Craig Everett <zxq9@zxq9.com>").
 -copyright("Craig Everett <zxq9@zxq9.com>").

zomp.meta

@@ -4,7 +4,7 @@
 {prefix,"hz"}.
 {desc,"Gajumaru interoperation library"}.
 {author,"Craig Everett"}.
-{package_id,{"otpr","hakuzaru",{0,8,3}}}.
+{package_id,{"otpr","hakuzaru",{0,8,2}}}.
 {deps,[{"otpr","sophia",{9,0,0}},
        {"otpr","gmserialization",{0,1,3}},
        {"otpr","gmbytecode",{3,4,1}},