AkkomaGang/rdf-ex
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
776 commits 1 branch 0 tags 1.8 MiB
Commit graph

39 commits

Author SHA1 Message Date
Marcel Otto
3937e3f60c Use proper float conversion 2021-10-04 22:40:40 +02:00
Marcel Otto
611868cbeb Fix recognition of DateTimes with a plus before the year as invalid 
Since Elixir 1.12 this seems to be allowed.
 2021-05-23 00:07:46 +02:00
Marcel Otto
3b16a76ccd Format code with Elixir 1.12 2021-05-22 16:08:19 +02:00
Marcel Otto
e04b960557 Fix recognition of float and double literals of the form ".0" and "0." 2021-02-26 16:26:22 +01:00
Marcel Otto
ed403d9175 Allow initialization of dates and times with timezones from tuples 2020-12-20 02:55:24 +01:00
pukkamustard
e143a960e0 Add XSD.Base64Binary 2020-12-06 18:07:57 +01:00
Marcel Otto
d07db98436 Add :as_value opt for XSD.Datatype.new/2 implementations 
This is for datatypes where both the value space and the lexical space
consists of strings, which makes it impossible to differentiate if the
given value should be interpreted as one from the lexical space or the
value space.
 2020-12-06 14:27:55 +01:00
Marcel Otto
0e81f4c02c Apply mix formatter 2020-06-29 10:37:42 +02:00
Marcel Otto
fab63e6a0d Update API documentation 2020-06-01 15:43:38 +02:00
Marcel Otto
8106f89ca0 Optimize canonical_lexical/1 implementation on RDF.XSD.Datatypes 2020-05-29 01:33:40 +02:00
Marcel Otto
df9a928802 Fix dialyzer warnings 2020-05-28 02:00:01 +02:00
Marcel Otto
98adbaf878 Handle derived datatypes on RDF.Literal.Datatype.compare/2 properly 2020-05-27 00:56:44 +02:00
Marcel Otto
162e82ed47 Handle derived datatypes on RDF.Literal.Datatype.equal_value?/2 properly 2020-05-25 23:10:50 +02:00
Marcel Otto
d247e1bf4f Support derived datatypes on RDF.Literal.Datatype.value/1 and valid?/2 2020-05-24 21:13:04 +02:00
Marcel Otto
7daf494fb9 Restore ability to cast RDF.IRIs to XSD.Strings and XSD.AnyURIs 
This is needed for SPARQL.
 2020-05-23 00:31:15 +02:00
Marcel Otto
6c102c7ec8 Add explicitTimezone XSD datatype facet 2020-05-22 01:01:08 +02:00
Marcel Otto
486a64b4d7 Add totalDigits and fractionDigits XSD datatype facets 2020-05-21 22:57:03 +02:00
Marcel Otto
0a27c3a928 More strict type for length XSD datatype facets 
as defined in the XSD spec
 2020-05-21 22:24:44 +02:00
Marcel Otto
c2a28b3eb4 Add pattern XSD datatype facet 2020-05-21 17:54:38 +02:00
Marcel Otto
80b1382fa9 Add length facets to XSD.AnyURI 2020-05-21 17:50:53 +02:00
Marcel Otto
dbaac77dbb Handle derived types in RDF.Literal.Datatype.cast/1 implementations 2020-05-21 15:42:02 +02:00
Marcel Otto
c1a61c58e8 Remove coercion on RDF.Literal.Datatype.cast/1 
It's not worth the effort and more explicit to do the coercion step

manually.
 2020-05-21 01:58:07 +02:00
Marcel Otto
accf66d75f Fix failing of numeric operations with invalid literals 2020-05-20 00:32:20 +02:00
Marcel Otto
fa130bf14e Fix type promotion on numeric operations with derived datatypes 2020-05-19 03:09:29 +02:00
Marcel Otto
22c2aaa1af Add length, minLength and maxLength XSD datatype facets 2020-05-17 22:54:07 +02:00
Marcel Otto
2c4b5f604a Add minExclusive and maxExclusive XSD datatype facets 2020-05-17 21:51:03 +02:00
Marcel Otto
09dceb0e35 Add proper handling for derived datatypes on numeric operations 
with type promotion
 2020-05-17 21:49:07 +02:00
Marcel Otto
bf932be26d Add min- and max-inclusive facet implementations to decimal and double 2020-05-17 20:21:00 +02:00
Marcel Otto
47a19c0a67 Add proper handling of vocabulary terms at various places 
- in the coerce and value functions of the RDF.Term protocol for atoms
- allow them as XSD.AnyURI values
- RDF.Literal.coerce produces XSD.AnyURI literals from them
- allow them in equal_value comparisons with RDF.IRIs and XSD.AnyURIs
 2020-05-17 00:53:36 +02:00
Marcel Otto
6873ba4da1 Fix dialyzer warnings 2020-05-16 03:51:54 +02:00
Marcel Otto
fa35b65d9f Redesign datatype reflection API 2020-05-15 17:13:31 +02:00
Marcel Otto
b53d09d4f5 Add RDF.Literal.Datatype.Registry.xsd_datatype/1 2020-05-10 01:37:01 +02:00
Marcel Otto
afc6f28cf4 Always resolve datatype IRIs through the registration protocol 
It's actually faster (although just slightly) than the map access!
 2020-05-09 00:54:35 +02:00
Marcel Otto
2b46bb8f23 Restore casting of IRIs to strings 2020-05-07 21:18:05 +02:00
Marcel Otto
faaebb2de2 Add ProtocolEx-based custom datatype registration 2020-05-07 15:37:21 +02:00
Marcel Otto
00a6103e56 Interop between RDF.IRI and XSD.AnyURI in terms of cast and equal_value? 2020-05-06 16:48:31 +02:00
Marcel Otto
6057749d2a Move XSD.Datatype.canonical_lexical/1 up to RDF.Literal.Datatype 2020-05-06 15:19:32 +02:00
Marcel Otto
6e557a8bee Remove some higher-level functions from the datatypes 
Higher-level datatype functions should be implemented on RDF.Literal only
 2020-05-06 15:17:43 +02:00
Marcel Otto
5819eec0cf Re-integrate XSD.ex 
It turned out that the costs of separating the XSD datatypes are too high
and probably not worth the effort, since with its limited scope
probably nobody would want to use XSD.ex outside of the RDF.ex context
anyway.
 2020-05-05 23:58:44 +02:00