Sha256: 1fc822b8c804455af745ab7263c8ae7b60c33ca2ca9b90243ededa933eb1a770
Contents?: true
Size: 548 Bytes
Versions: 19
Compression:
Stored size: 548 Bytes
Contents
require 'spec_helper'
module Finitio
describe System, "initialize" do
let(:system){ System.new }
context 'for building a tuple type' do
subject{
system.tuple(r: Integer)
}
it{ should be_a(TupleType) }
end
context 'for building a sub type' do
subject{
system.subtype(Integer){|i| i>=0 }
}
it{ should be_a(SubType) }
it 'should apply the constraint' do
expect{
subject.dress(-9)
}.to raise_error(TypeError)
end
end
end
end
Version data entries
19 entries across 19 versions & 1 rubygems