3 commits

Author	SHA1	Message	Date
fr33domlover	d3e14b3edf	Add LocalURI type for recording shared URI host	2019-02-21 23:59:53 +00:00
fr33domlover	aefb2aaee7	Add InstanceURI datatype	2019-02-20 07:40:25 +00:00
fr33domlover	8ac559d064	New datatype FedURI for @id URIs ... Using a dedicated type allows to record in the type the guarantees that we provide, such as scheme being HTTPS and authority being present. Allows to replace ugly `fromJust` and such with direct field access.	2019-02-07 23:08:28 +00:00