platypus 1.0.1 → 1.0.2
Sign up to get free protection for your applications and to get access to all the features.
- data/.ruby +7 -7
- data/.yardopts +5 -0
- data/COPYING.rdoc +31 -0
- data/HISTORY.rdoc +8 -0
- data/{qed/04_overload.rdoc → SPEC.rdoc} +68 -0
- data/lib/platypus/core_ext.rb +2 -1
- data/lib/platypus/type.rb +1 -1
- data/lib/platypus/version.rb +1 -1
- metadata +11 -10
- data/qed/01_intro.rdoc +0 -2
- data/qed/02_typecast.rdoc +0 -29
- data/qed/03_type.rdoc +0 -32
data/.ruby
CHANGED
@@ -1,4 +1,6 @@
|
|
1
1
|
---
|
2
|
+
source:
|
3
|
+
- Profile
|
2
4
|
authors:
|
3
5
|
- name: Thomas Sawyer
|
4
6
|
- name: Jonas Pfenniger
|
@@ -7,7 +9,7 @@ copyrights:
|
|
7
9
|
year: '2004'
|
8
10
|
license: BSD-2-Clause
|
9
11
|
replacements: []
|
10
|
-
|
12
|
+
alternatives: []
|
11
13
|
requirements:
|
12
14
|
- name: detroit
|
13
15
|
groups:
|
@@ -18,6 +20,7 @@ requirements:
|
|
18
20
|
- test
|
19
21
|
development: true
|
20
22
|
dependencies: []
|
23
|
+
conflicts: []
|
21
24
|
repositories:
|
22
25
|
- uri: http://rubyworks.github.com/platypus.git
|
23
26
|
scm: git
|
@@ -26,14 +29,11 @@ resources:
|
|
26
29
|
home: http://rubyworks.github.com/platypus
|
27
30
|
code: http://github.com/rubyworks/platypus
|
28
31
|
mail: http://googlegroups/group/rubyworks-mailinglist
|
32
|
+
extra: {}
|
29
33
|
load_path:
|
30
34
|
- lib
|
31
|
-
extra: {}
|
32
|
-
source:
|
33
|
-
- Profile
|
34
|
-
alternatives: []
|
35
35
|
revision: 0
|
36
|
-
version: 1.0.
|
36
|
+
version: 1.0.2
|
37
37
|
name: platypus
|
38
38
|
title: Platypus
|
39
39
|
summary: Riding on Types with Ruby
|
@@ -41,4 +41,4 @@ created: '2004-01-01'
|
|
41
41
|
description: Provides a complete double-dispatch type conversion system, method overloadability
|
42
42
|
and psuedo-classes.
|
43
43
|
organization: RubyWorks
|
44
|
-
date: '2011-10-
|
44
|
+
date: '2011-10-22'
|
data/.yardopts
ADDED
data/COPYING.rdoc
ADDED
@@ -0,0 +1,31 @@
|
|
1
|
+
= COPYRIGHT NOTICES
|
2
|
+
|
3
|
+
== TPlatypus
|
4
|
+
|
5
|
+
Copyright:: (c) 2004 Thomas Sawyer, Rubyworks
|
6
|
+
License:: BSD-2-Clause
|
7
|
+
Website:: http://rubyworks.github.com/platypus
|
8
|
+
|
9
|
+
Copyright 2011 Thomas Sawyer. All rights reserved.
|
10
|
+
|
11
|
+
Redistribution and use in source and binary forms, with or without
|
12
|
+
modification, are permitted provided that the following conditions are met:
|
13
|
+
|
14
|
+
1. Redistributions of source code must retain the above copyright notice,
|
15
|
+
this list of conditions and the following disclaimer.
|
16
|
+
|
17
|
+
2. Redistributions in binary form must reproduce the above copyright
|
18
|
+
notice, this list of conditions and the following disclaimer in the
|
19
|
+
documentation and/or other materials provided with the distribution.
|
20
|
+
|
21
|
+
THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
|
22
|
+
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
|
23
|
+
AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
24
|
+
COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
25
|
+
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
26
|
+
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
27
|
+
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
|
28
|
+
OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
|
29
|
+
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
|
30
|
+
EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
31
|
+
|
data/HISTORY.rdoc
CHANGED
@@ -1,3 +1,70 @@
|
|
1
|
+
= Platypus
|
2
|
+
|
3
|
+
|
4
|
+
== Type Casting
|
5
|
+
|
6
|
+
Require the casting library.
|
7
|
+
|
8
|
+
require 'platypus/typecast'
|
9
|
+
|
10
|
+
Define a couple of typecasts.
|
11
|
+
|
12
|
+
class ::String
|
13
|
+
typecast ::Regexp do |string|
|
14
|
+
/#{string}/
|
15
|
+
end
|
16
|
+
typecast ::Regexp, :multiline do |string|
|
17
|
+
/#{string}/m
|
18
|
+
end
|
19
|
+
end
|
20
|
+
|
21
|
+
::String.typecast ::Integer do |string|
|
22
|
+
Integer(string)
|
23
|
+
end
|
24
|
+
|
25
|
+
See that they work.
|
26
|
+
|
27
|
+
::Regexp.from("ABC").assert == /ABC/
|
28
|
+
|
29
|
+
And again.
|
30
|
+
|
31
|
+
"123".to(::Integer).assert == 123
|
32
|
+
|
33
|
+
|
34
|
+
== Pseudo-Types
|
35
|
+
|
36
|
+
Require the library.
|
37
|
+
|
38
|
+
require 'platypus/type'
|
39
|
+
|
40
|
+
Now we can create types which are psuedo-classes.
|
41
|
+
|
42
|
+
class KiloType < Type
|
43
|
+
condition do |x|
|
44
|
+
x.case? Integer
|
45
|
+
x.kind_of?(Integer)
|
46
|
+
x.respond_to?(:succ)
|
47
|
+
x > 1000
|
48
|
+
end
|
49
|
+
end
|
50
|
+
|
51
|
+
KiloType.assert === 2000
|
52
|
+
KiloType.refute === 999
|
53
|
+
|
54
|
+
Using the convenience #x method.
|
55
|
+
|
56
|
+
class MegaType < Type
|
57
|
+
x.case? Integer
|
58
|
+
x.kind_of?(Integer)
|
59
|
+
x.respond_to?(:succ)
|
60
|
+
x > 1000000
|
61
|
+
end
|
62
|
+
|
63
|
+
MegaType.refute === 999999
|
64
|
+
MegaType.assert === 20000000
|
65
|
+
|
66
|
+
|
67
|
+
|
1
68
|
== Overloadable
|
2
69
|
|
3
70
|
The Overloadable mixin provides a means for overloading
|
@@ -55,3 +122,4 @@ Or it will fallback to a non-signiature definition, if one is defined.
|
|
55
122
|
|
56
123
|
x.x("Hello", 200)
|
57
124
|
|
125
|
+
|
data/lib/platypus/core_ext.rb
CHANGED
data/lib/platypus/type.rb
CHANGED
@@ -24,7 +24,7 @@ require 'platypus/core_ext'
|
|
24
24
|
#
|
25
25
|
# While TypeCasts are not actual types in the sense they
|
26
26
|
# are not actual classes. They can be used for conversion
|
27
|
-
# by defining a "from_
|
27
|
+
# by defining a "from_<class>" class method. In doing so
|
28
28
|
# you should make sure the result of the conversion conforms
|
29
29
|
# to the typecast. You can use the TypeCast.validate method
|
30
30
|
# to make that a bit easier. For instance:
|
data/lib/platypus/version.rb
CHANGED
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: platypus
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.0.
|
4
|
+
version: 1.0.2
|
5
5
|
prerelease:
|
6
6
|
platform: ruby
|
7
7
|
authors:
|
@@ -10,11 +10,11 @@ authors:
|
|
10
10
|
autorequire:
|
11
11
|
bindir: bin
|
12
12
|
cert_chain: []
|
13
|
-
date: 2011-10-
|
13
|
+
date: 2011-10-22 00:00:00.000000000 Z
|
14
14
|
dependencies:
|
15
15
|
- !ruby/object:Gem::Dependency
|
16
16
|
name: detroit
|
17
|
-
requirement: &
|
17
|
+
requirement: &24356020 !ruby/object:Gem::Requirement
|
18
18
|
none: false
|
19
19
|
requirements:
|
20
20
|
- - ! '>='
|
@@ -22,10 +22,10 @@ dependencies:
|
|
22
22
|
version: '0'
|
23
23
|
type: :development
|
24
24
|
prerelease: false
|
25
|
-
version_requirements: *
|
25
|
+
version_requirements: *24356020
|
26
26
|
- !ruby/object:Gem::Dependency
|
27
27
|
name: qed
|
28
|
-
requirement: &
|
28
|
+
requirement: &24385900 !ruby/object:Gem::Requirement
|
29
29
|
none: false
|
30
30
|
requirements:
|
31
31
|
- - ! '>='
|
@@ -33,7 +33,7 @@ dependencies:
|
|
33
33
|
version: '0'
|
34
34
|
type: :development
|
35
35
|
prerelease: false
|
36
|
-
version_requirements: *
|
36
|
+
version_requirements: *24385900
|
37
37
|
description: Provides a complete double-dispatch type conversion system, method overloadability
|
38
38
|
and psuedo-classes.
|
39
39
|
email:
|
@@ -41,24 +41,25 @@ executables: []
|
|
41
41
|
extensions: []
|
42
42
|
extra_rdoc_files:
|
43
43
|
- HISTORY.rdoc
|
44
|
+
- SPEC.rdoc
|
44
45
|
- README.rdoc
|
45
46
|
- NOTES.rdoc
|
47
|
+
- COPYING.rdoc
|
46
48
|
files:
|
47
49
|
- .ruby
|
50
|
+
- .yardopts
|
48
51
|
- lib/platypus/core_ext.rb
|
49
52
|
- lib/platypus/overload.rb
|
50
53
|
- lib/platypus/type.rb
|
51
54
|
- lib/platypus/typecast.rb
|
52
55
|
- lib/platypus/version.rb
|
53
56
|
- lib/platypus.rb
|
54
|
-
- qed/01_intro.rdoc
|
55
|
-
- qed/02_typecast.rdoc
|
56
|
-
- qed/03_type.rdoc
|
57
|
-
- qed/04_overload.rdoc
|
58
57
|
- test/test_overload.rb
|
59
58
|
- HISTORY.rdoc
|
59
|
+
- SPEC.rdoc
|
60
60
|
- README.rdoc
|
61
61
|
- NOTES.rdoc
|
62
|
+
- COPYING.rdoc
|
62
63
|
homepage: http://rubyworks.github.com/platypus
|
63
64
|
licenses: []
|
64
65
|
post_install_message:
|
data/qed/01_intro.rdoc
DELETED
data/qed/02_typecast.rdoc
DELETED
@@ -1,29 +0,0 @@
|
|
1
|
-
== Type Casting
|
2
|
-
|
3
|
-
Require the casting library.
|
4
|
-
|
5
|
-
require 'platypus/typecast'
|
6
|
-
|
7
|
-
Define a couple of typecasts.
|
8
|
-
|
9
|
-
class ::String
|
10
|
-
typecast ::Regexp do |string|
|
11
|
-
/#{string}/
|
12
|
-
end
|
13
|
-
typecast ::Regexp, :multiline do |string|
|
14
|
-
/#{string}/m
|
15
|
-
end
|
16
|
-
end
|
17
|
-
|
18
|
-
::String.typecast ::Integer do |string|
|
19
|
-
Integer(string)
|
20
|
-
end
|
21
|
-
|
22
|
-
See that they work.
|
23
|
-
|
24
|
-
::Regexp.from("ABC").assert == /ABC/
|
25
|
-
|
26
|
-
And again.
|
27
|
-
|
28
|
-
"123".to(::Integer).assert == 123
|
29
|
-
|
data/qed/03_type.rdoc
DELETED
@@ -1,32 +0,0 @@
|
|
1
|
-
== Pseudo-Types
|
2
|
-
|
3
|
-
Require the library.
|
4
|
-
|
5
|
-
require 'platypus/type'
|
6
|
-
|
7
|
-
Now we can create types which are psuedo-classes.
|
8
|
-
|
9
|
-
class KiloType < Type
|
10
|
-
condition do |x|
|
11
|
-
x.case? Integer
|
12
|
-
x.kind_of?(Integer)
|
13
|
-
x.respond_to?(:succ)
|
14
|
-
x > 1000
|
15
|
-
end
|
16
|
-
end
|
17
|
-
|
18
|
-
KiloType.assert === 2000
|
19
|
-
KiloType.refute === 999
|
20
|
-
|
21
|
-
Using the convenience #x method.
|
22
|
-
|
23
|
-
class MegaType < Type
|
24
|
-
x.case? Integer
|
25
|
-
x.kind_of?(Integer)
|
26
|
-
x.respond_to?(:succ)
|
27
|
-
x > 1000000
|
28
|
-
end
|
29
|
-
|
30
|
-
MegaType.assert === 20000000
|
31
|
-
MegaType.refute === 999999
|
32
|
-
|