Learn More About This
Directory
This directory sponsored by SIQL, a Spider Makers company...
1. functor(?Term, ?Functor, ?Arity)
- www.icparc.ic.ac.uk
- Term Manipulation | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index functor(?Term, ?Functor, ?Arity).
- Succeeds if the compound term Term has functor Functor and arity Arity or if Term and Functor are atomic and equal, and Arity is 0. ... ?Functor Atomic term or variable. ...
- If Term is instantiated, its functor is unified with Functor and its arity with Arity. ...
- If Term is not instantiated, it is bound to a term with functor Functor and arity Arity. ...
- This predicate regards atomic terms (number, atom or string) as terms with arity 0 and functor equal to the term. ...
- Fails if Term does not unify with a compound term with functor Functor and arity Arity. Also fails if Arity is 0 and Functor does not unify with Term. ...
- (4) instantiation fault Term and either (or both) of Functor and Arity are uninstantiated (non-coroutine mode only). ... (5) type error Functor is neither a variable nor an atomic term. ...
- Success: functor(f(1,2),f,2). functor(f(1,2),F,A). ... functor(T,f,3). ... functor(T,. ... functor( ,F,A). ... functor("s",F,A). ... Fail: functor(f(1,2),f,3). functor("compound(g)",compound,1). functor(f(1,2),"f",2). Error: functor(T,F,A). ... functor("f", f ,X).
2. functor(?Term, ?Functor, ?Arity)
- www.cs.usask.ca
- |Group Index| Full Index functor(?Term, ?Functor, ?Arity).
- Succeeds if the compound term Term has functor Functor and arity Arity or if Term and Functor are atomic and equal, and Arity is 0. ...
- ?Functor Atomic term or variable. ...
- If Term is instantiated, its functor is unified with Functor and its arity with Arity. ...
- If Term is not instantiated, it is bound to a term with functor Functor and arity Arity. ...
- This predicate regards atomic terms (integer, real atom or string) as terms with arity 0 and functor equal to the term. ...
- Fails if Term does not unify with a compound term with functor Functor and arity Arity. Also fails if Arity is 0 and Functor does not unify with Term. ...
- (4) Instantiation fault Term and either (or both) of Functor and Arity are uninstantiated (non-coroutine mode only). ... (5) Type error Functor is neither a variable nor an atomic term. ...
- Success: functor(f(1,2),f,2). functor(f(1,2),F,A). ... functor(T,f,3). ... functor(T,. ... functor( ,F,A). ... functor("s",F,A). ... Fail: functor(f(1,2),f,3). functor("compound(g)",compound,1). functor(f(1,2),"f",2). Error: functor(T,F,A). ... functor("f", f ,X).
3. q-alg/9511011 Modular functor and representation theory of \hat{sl}_{2} at a rational level
- arxiv.org
- Voronov) Date: Fri, 17 Nov 1995 19:25:06 -0500 (EST) (38kb) Modular functor and representation theory of \hat{sl}_{2} at a rational level.
- Malikov Comments: 49 pages Subj-class: Quantum Algebra; Algebraic Geometry We define a new modular functor based on Kac-Wakimoto admissible representations and the corresponding D-module on the moduli space of rank 2 vector bundles with parabolic structure. A new fusion functor arises which is related to representation theory of the pair "osp(1|2),sl(2)" in the same way as the fusion functor for the Virasoro algebra is related to representation theory of the pair "sl(2),sl(2)" Full-text: PostScript, PDF, or Other formats.
4. Klaas Landsman at MSRI - Quantization as a functor
- www.msri.org
- Klaas Landsman - Quantization as a functor .
5. Index of /downloads/functor
- johnwlong.com
- Index of /downloads/functor.
- Name Last modified Size Description Parent Directory - functor. ...
6. Crazy Eddies GUI System: CEGUI::_refBinder< Functor, Ret, Args > Class Template Reference
- www.cegui.org.uk
- Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members CEGUI::_refBinder< Functor, Ret, Args > Class Template Reference.
- Inheritance diagram for CEGUI::_refBinder< Functor, Ret, Args >:.
- legend Collaboration diagram for CEGUI::_refBinder< Functor, Ret, Args >:.
- _refBinder (const Functor &f).
- const Functor & .
- template<class Functor, typename Ret, typename Args>.
- class CEGUI::_refBinder< Functor, Ret, Args >.
- template<class Functor, typename Ret, typename Args> .
- CEGUI::_refBinder< Functor, Ret, Args >::_refBinder .
- const Functor & .
- template<class Functor, typename Ret, typename Args> .
- virtual Ret CEGUI::_refBinder< Functor, Ret, Args >::operator() .
- template<class Functor, typename Ret, typename Args> .
- const Functor& CEGUI::_refBinder< Functor, Ret, Args >::d_f protected .
7. functor from FOLDOC
- winnie.kuis.kyoto-u.ac.jp
- functor.
- In category theory, a functor F is an operator on types. ...
- Nearby terms: Function Graph Language « function key « Function Point Analysis « functor » funky » FUNLOG » FunnelWeb Translate to Japanese Powered by Excite Powered by SYSTRAN .
8. commons-functor 1.0-dev API: Interface Predicate
- jakarta.apache.org
- functor .
- functor. ...
- A functor that takes no arguments and returns a boolean value. ...
- Indicates whether some other object is "equal to" this functor.
- Returns a hash code for this functor adhering to the general Object. ...
- Returns a human readable description of this functor.
- public String toString() Returns a human readable description of this functor. ... Overrides:toString in class Object Returns:a human readable description of this functor hashCode.
- public int hashCode() Returns a hash code for this functor adhering to the general Object. ...
- public boolean equals(Object that) Indicates whether some other object is "equal to" this functor. ... Additionally, this method can return true only if the specified Object implements the same functor interface and is known to produce the same results and/or side-effects for the same arguments (if any). ...
- While implementators are strongly encouraged to override the default Object implementation of this method, note that the default Object implementation does in fact adhere to the functor equals contract. ...
- Overrides:equals in class Object Parameters:that - the object to compare this functor toReturns:true iff the given object implements this functor interface, and is known to produce the same results and/or side-effects for the same arguments (if any). ...
9. C++-sig how to wrap this handle/body design?
- mail.python.org
- The idea in the code that follows is that "functors" wrap polymorphic "functor implementations". Existing functor implementations are in C++ but we should like to be able to design new functor implementations in Python, wrap them up in C++ functors and use them both from C++ and Python. Functor implementations are created by "functor constructor" objects which are registered with a "functor factory". ... p); } }; class functor { cloned_impl_ptr<functor_impl> m_pimpl; public: functor() : m_pimpl(0) {} functor(functor_impl* pimpl) : m_pimpl(pimpl) {} void perform() const { m_pimpl->perform(); } }; class functor_constructor { public: virtual functor create_functor() = 0; virtual functor_impl* create_functor_impl() = 0; }; class functor_factory { private: std::map<std::string, functor_constructor*> m_ctors; public: static functor_factory& instance() { static functor_factory ff; return ff; } void register_functor(std::string const& name , functor_constructor* p_functor_constructor) { m_ctors name = p_functor_constructor; } functor create_functor(std::string const& name) { functor_constructor* p_functor_constructor = m_ctors name ; return p_functor_constructor->create_functor(); } functor_impl* create_functor_impl(std::string const& name) { functor_constructor* p_functor_constructor = m_ctors name ; return p_functor_constructor->create_functor_impl(); } }; struct functor_impl_wrapper : functor_impl { PyObject* m_self; functor_impl_wrapper(PyObject* self) : m_self(self) {} functor_impl_wrapper(PyObject* self , functor_impl const& rhs) : m_self(self), functor_impl(rhs) {} void Attach() const { Py_INCREF(m_self); } void Release() const { Py_DECREF(m_self); } void perform() const { boost::python::call_method(m_self , "perform" , (boost::type<void>*)0); } functor_impl* clone() const { // ??? // how should this be implemented? } }; functor* bind_functor_to_impl(functor_impl* p_impl) { return new functor(p_impl); } struct functor_constructor_wrapper : functor_constructor { PyObject* m_self; functor_constructor_wrapper(PyObject* self) : m_self(self) {} functor_constructor_wrapper(PyObject* self , functor_constructor const& rhs) : m_self(self), functor_constructor(rhs) {} functor_impl* create_functor_impl() { // how should this be implemented? } functor create_functor() { // ??? // how should this be implemented? // first cut was, // return boost::python::call_method(m_self // ,"create_functor" // , (boost::type<functor>*)0)); // but this gives rise to runtime errors due to // attempt to return a dangling reference } }; void invoke_functor_perform(functor const& f) { f. perform(); } void create_functor_and_perform(std::string const& which) { functor f = functor_factory::instance(). ... def(init<functor_impl const&>()) ; class_<functor_constructor , functor_constructor_wrapper , boost::noncopyable>("functor_constructor", init<>()) ; class_<functor>("functor", init<>()). ... def(init<functor const&>()). def("perform", &functor::perform) ; def("bind_functor_to_impl" , &bind_functor_to_impl , return_value_policy<manage_new_object>()) ; class_<functor_factory, boost::noncopyable>("functor_factory", no_init). ... TestCase): """Tests for functors """ def setUp(self): """Initialize test case""" pass def tearDown(self): """Uninitialize test case""" pass def test(self): """Test functor creation & invocation of functors. """ print "\n Testing creation & invocation of python defined functor. ... " functor = isle.
10. functor/3
- www.trinc-prolog.com
- functor(+Term, ?Name, ?Arity) ISO .
- functor(-Term, +Name, +Arity) ISO .
- This predicate is true if Term is a compound term with a functor that is equal to the value of Name and an arity equal to value of Arity, if Term is atomic then must Name be equal to the value of Term and Arity must be 0. ...
- The predicate functor/3 can be used to retrieve the functor and arity (=number of arguments) of a (compound) term, but it can also be used to compose a new compound term with a specified functor and arity. If functor/3 is used to compose a compound term then mode specification is functor(-Term, +Name, +Arity).
- functor(foo(aa, X), Y, Z).
- functor(X, foo, 3).
- functor(X, 1. ...
- functor(foo(a), foo, 2).
- functor(testfoo(a), foo, 1).
- fails because functor is not foo.
11. cvs commit: jakarta-commons-sandbox/functor/xdocs index.xml
- www.mail-archive.com
- cvs commit: jakarta-commons-sandbox/functor/xdocs index. ...
- rwaldhoff 2003/04/01 16:07:41 Modified: functor build. xml functor/xdocs index. ... 11 +2 -2 jakarta-commons-sandbox/functor/build. ... xml =================================================================== RCS file: /home/cvs/jakarta-commons-sandbox/functor/build. ... functor"/> <!-- The title of this component --> - <property name="component. title" value="Functor - Functions as Objects"/> + <property name="component. title" value="Functor - Function Objects for Java"/> <!-- The current version number of this component --> <property name="component. ... 6 +1 -20 jakarta-commons-sandbox/functor/xdocs/index. ... xml =================================================================== RCS file: /home/cvs/jakarta-commons-sandbox/functor/xdocs/index. ... 6 @@ -7,30 +7,11 @@ </properties> <body> - <section name="Functor: Functions as Objects"> + <section name="Functor: Function Objects for Java"> <p> A <em>functor</em> is a function that can be manipulated as an object. ... For example, - functors appear in: - </p> - <ul> - <li>LISP as funargs or closures</li> - <li>Smalltalk as blocks and closures</li> - <li> - functional programming languages such as Prolog, ML, and - Haskell (<code>functor</code> is even a keyword in Haskell) - </li> - <li>C as function pointers</li> - <li>C++'s Standard Template Library as function objects</li> - <li>Ruby as blocks</li> - <li>etc.
- cvs commit: jakarta-commons-sandbox/functor/xdocs index. ...
- cvs commit: jakarta-commons-sandbox/functor/xdocs index. ...
12. Chicago Area Ruby Group Functor
- rubyforge.org
- Chicago Area Ruby Group Functor.
- Previous message: Chicago Area Ruby Group Functor .
- Next message: Chicago Area Ruby Group Functor .
- Given the following definition of a Functor: class Functor def initialize(&func) @func = func end def method_missing(op, *args) @func. ... exit end Here's my test method: def test_redirect__exit exited = false sys = Functor. ... This example is admittedly contrived, but I think it gives you an idea of how you could use a Functor as a Mock object. ...
- Previous message: Chicago Area Ruby Group Functor .
- Next message: Chicago Area Ruby Group Functor .
Other related topics:
Do you have a great site about Functor? Is
your Functor site listed here?
Would you like a prefered placement of your site in this directory?
It's easy! First place, the HTML from the box below on your page that
you would like listed in this directory.
Then use our link submission request with
your name, your contact information, and the URL of your site that has
a link to this directory. After we
verify your link to us, we'll make sure your site stays in our directory,
and we'll give it prefered placement here also.
Here is how to make a simple text link to us. Just copy the code in this
box to your website:
We can also develop a custom Guide To The Internet for your site. Please
request your own
custom Guide To The Internet.
This custom Guide To The Internet produced by
Siql. Visit us today, and find out how to get your own
custom guide to the Internet, and how to get your site
listed in our guides.
Copyright 1995-2005 by Siql. All
Rights Reserved.