11:05 <snusnu> yo mbj

11:05 <snusnu> do you know how axiom-types is supposed to be used?

11:06 <snusnu> i have to generate a hash of axiom relations based on DM1 model definitions, and without thinking much i just mapped from a DataMapper::Property::* to a builtin ruby type, however, i just hit DataMapper::Property::Boolean and that reminded me of axiom-types

11:08 <snusnu> mbj: no idea but i'll try: Axiom::Types.infer(Integer) and the likes now

11:09 <snusnu> and it doesn't work

11:12 <snusnu> lib/axiom/types/type.rb:113:in `constraint': wrong number of arguments (2 for 0..1) (ArgumentError)

12:08 <snusnu> mbj: around?

12:15 <mbj> snusnu: hola

12:16 <snusnu> mbj: do you have any idea how axiom-types is supposed to be used?

12:17 <mbj> snusnu: axiom-types is an inspectable primitive type predicate used in axiom.

12:17 <mbj> snusnu: inspectable in sense of relectable and useful as an information source when pushing down.

12:17 <mbj> snusnu: predicate in sense of #include?(object) can be used to determine if a cetrain value fulfills the needs of that relation.

12:18 <snusnu> mbj: i'm more concerned with "setting it up" … i iterate over my DM1::Model.descendants, and generate an axiom base relation from them

12:18 <snusnu> mbj: so at some point i have to map from DataMapper::Property::* to something axiom understands, either a primitive, or an Axiom::Type

12:19 <snusnu> so my question is, should i map to Axiom::Types::Type subclasses directly, or shall i just map to primitives

12:19 <snusnu> i couldn't get it to even start when trying to map to axiom type subtypes

12:20 <snusnu> so currently i map like this: DataMapper::Property::String => String

12:20 <mbj> snusnu: gimme a sec to refresh the creation api

12:20 <snusnu> this gets weird when it comes to DataMapper::Property::Boolean tho

12:20 <snusnu> mbj: https://github.com/snusnu/subway/blob/master/lib/subway/repository.rb#L11-L16

12:21 <snusnu> that's what i'm doing, and i wonder if the values in this hash should already be Axiom::Types::Type subclasses

12:21 <snusnu> but i can't get that to work

12:25 <mbj> snusnu: Axiom::Types.infer(TrueClass)

12:25 <mbj> =>

12:25 <mbj> Axiom::Types::Boolean (BasicObject)

12:30 <snusnu> mbj: lib/axiom/types/type.rb:113:in `constraint': wrong number of arguments (2 for 0..1) (ArgumentError)

12:31 <snusnu> mbj: anyways, i guess my question is, do I have to even do that, or does axiom do it internally anyway

12:32 <snusnu> fwiw, i don't care about any constraints or anything, as i define/migrate the schema with DM1 anyway, and only use axiom for reading data

12:34 <mbj> snusnu: I teted against latest master.

12:35 <snusnu> mbj: sorry, don't mean to be rude, but that doesn't answer my question at all ;)

12:36 <mbj> snusnu: mhh

12:36 <mbj> snusnu: I thought you wanna construct a Axiom::Type::Boolean ;)

12:37 <snusnu> mbj: heh i do, but i mainly wanna know if i even have to map to axiom type subclasses, or if axiom will do that by itself anyway

12:37 <snusnu> using the inference cache

12:38 <mbj> snusnu: I'm very busy, so tried to give you as much as possible input from reading minimal text ;)

12:38 <snusnu> mbj: i guess it boils down to this: when constructing an Axiom::Header instance, do i need to pass axiom type subclasses, or primitives

12:39 <mbj> snusnu: I'm to loaded with some mutant stuff, cannot switch context while giving you good input. Sorry.

12:40 <snusnu> no worries, it was worth a try ;)