platypus 1.0.1 → 1.0.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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
|
-
|