The C++ Programming Language (3rd Edition) The C++ Programming Language (Special 3rd Edition) Flatterland: Like Flatland, Only More So The Logic of Scientific Discovery (Routledge Classics) A History of Mathematics The Cambridge Encyclopedia of the English Language Art in Theory 1900-2000: An Anthology of Changing Ideas Practical Statecharts in C/C++: Quantum Programming for Embedded Systems with CDROM C++ Design Patterns and Derivatives Pricing (Mathematics, Finance and Risk)

• Functor.
• Functor.
• Functor composition, standard functors, and more. Note: declares functor instance for ((,) a) .
• lComp :: Functor f => O f (O g h) a -> O (O f g) h a.
• rComp :: Functor f => O (O f g) h a -> O f (O g h) a.
• Functor composition. ... ) Functor composition is associative, so f `O` (g `O` h) and (f `O` g) `O` h are equivalent. ...
• (Functor f, Functor g) => Functor (O f g).
• lComp :: Functor f => O f (O g h) a -> O (O f g) h a.
• rComp :: Functor f => O (O f g) h a -> O f (O g h) a.
• The identity functor (or a reasonable facsimile thereof). ...
• Functor Id.
• The unit functor. ...
• Functor Unit.
• Functor (Const t).

• creates a compound term or determines functor and arity. ...
• functor/3 .
• IF Computer > MINERVA > Manual > Reference > Predicates > Term creation and decomposition > functor/3 .
• functor/3 .
• creates a compound term or determines functor and arity. ...
• functor(+CompoundTerm, -Functor, -Arity) .
• functor(-CompoundTerm, +Functor, +Arity) .
• If CompoundTerm is a compound term then Functor is the functor and Arity is the arity of that CompoundTerm. ...
• If CompoundTerm is an atomic term (an atom or a number) then Functor is that atomic term and Arity is 0. ...
• If CompoundTerm is a variable then Functor must be an atomic term and Arity must be an integer between 0 and max_arity (127). ...
• CompoundTerm compound term or atomic term Functor atomic term Arity integer or integer-expression (between 0 and 127) .
• functor(f(a,b,c),F,A). ...
• functor(X,functor,3). ...
• Succeeds with substitution X <- functor(_1, _2, _3). ...
• functor(f(X),f,2). ...
• jp/MINERVA/Manual/Reference/Predicates/term_creat_decomp/functor/home_en. ...

• 4 Functor Package.
• The Function package includes two subpackages, Functor List and Functor Map. For complete information about the Functor package, see Chapter 8 of the Threads Module User's Guide.
• 2 Functor Class Hierarchy.
• The Functor package contains a large family of template classes designed to accommodate global, static, and member function calls with varying numbers of arguments, as shown in Figure 2 and Figure 3. Like many other Threads Module packages, the Functor package uses the handle-body idiom. ...
• Figure 2: Hierarchy of functor classes for functions whose return values are ignored .
• Figure 3: Hierarchy of functor classes for functions with return values .
• 3 Functor List Class Hierarchy.
• The Functor List subpackage is made up of classes designed for creating functors which are themselves lists of functors to be invoked in turn. Functor list classes are an extension to the functor class hierarchy, as shown in Figure 4.
• Figure 4: Hierarchy of functor list classes and the functor classes from which they derive .
• S1 -- The type of the functor list's first argument.
• S2 -- The type of the functor list's second argument.
• NOTE -- Functor lists do not provide R0, R1, or R2 classes. ... 4 Functor Map Class Hierarchy.

• Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members FieldStencilSimple< Functor, Expression > Struct Template Reference.
• template<class Functor, class Expression>.
• struct FieldStencilSimple< Functor, Expression >.
• typedef Functor::OutputElement_t .
• typedef StencilEngine< Functor,.
• make (const Functor &stencil, const Expression &f).
• make (const Functor &stencil, const Expression &f, const Interval< outputDim > &domain).
• template<class Functor, class Expression> .
• typedef Expression::MeshTag_t FieldStencilSimple< Functor, Expression >::MeshTag_t .
• template<class Functor, class Expression> .
• typedef Functor::OutputElement_t FieldStencilSimple< Functor, Expression >::OutputElement_t .
• template<class Functor, class Expression> .
• typedef StencilEngine<Functor, Expression> FieldStencilSimple< Functor, Expression >::OutputEngineTag_t .
• template<class Functor, class Expression> .
• typedef Field<MeshTag_t, OutputElement_t, OutputEngineTag_t> FieldStencilSimple< Functor, Expression >::Type_t .
• template<class Functor, class Expression> .

• Main Page | Class Hierarchy | Class List | File List | Class Members | File Members Functor Class Reference.
• Inheritance diagram for Functor: .
• Functor (const unsigned int uSize=0).
• Functor::Functor .
• double Functor::getDerivative .
• bool Functor::getDerivativeEpsilon .
• unsigned int Functor::getSize .
• matVector Functor::gradient .
• virtual double Functor::operator() .
• void Functor::setDerivativeEpsilon .
• double Functor::mdDerivativeEpsilon protected .
• unsigned int Functor::muSize protected .

• Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK > Class Template Reference.
• Inheritance diagram for ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >:.
• legend Collaboration diagram for ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >:.
• ACE_Timer_Heap_Iterator_T (ACE_Timer_Heap_T< TYPE, FUNCTOR, ACE_LOCK > &).
• ACE_Timer_Heap_T< TYPE, FUNCTOR,.
• template<class TYPE, class FUNCTOR, class ACE_LOCK>.
• class ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >.
• template<class TYPE, class FUNCTOR, class ACE_LOCK> .
• ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >::ACE_Timer_Heap_Iterator_T .
• ACE_Timer_Heap_T< TYPE, FUNCTOR, ACE_LOCK > & .
• References ACE_TRACE, and ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >::first(). ...
• template<class TYPE, class FUNCTOR, class ACE_LOCK> .
• ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >::~ACE_Timer_Heap_Iterator_T .
• template<class TYPE, class FUNCTOR, class ACE_LOCK> .
• void ACE_Timer_Heap_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >::first .
• Implements ACE_Timer_Queue_Iterator_T< TYPE, FUNCTOR, ACE_LOCK >. ...

• adjoint functor .
• is said to be a left adjoint functor to (equivalently, is a right adjoint functor to ) if for every object in and in there exists such that .
• We can construct a functor.
• and a second functor .
• An adjoint to a functor is in some ways like an inverse (as in the case of an adjoint matrix); often formal properties about a functor lead to formal properties of its adjoint (for example the right adjoint to a left-exact functor takes injectives to injectives). An adjoint to any functor is unique up to natural isomorphism.
• Let be the functor and let given by Then one can show that is the left adjoint to. ...
• Let be the forgetful functor (i. ... Then is right adjoint to the functor which gives each set the discrete topology. ...
• If is again the forgetful functor, this time on the category of groups, the functor which takes a set to the free group generated by is left adjoint to. ...
• "adjoint functor" is owned by archibal. ...
• See Also: forgetful functor Also defines: .
• Cross-references: free group, groups, time, discrete topology, set functions, continuous maps, topological spaces, forgetful functor, fix, commutative ring, natural isomorphism, properties, adjoint matrix, inverse, natural transformation, bijection, covariant functors, categories There are 7 references to this object. This is version 10 of adjoint functor, born on 2002-02-25, modified 2004-04-02. ...

• The BSearchFn functor.
• functor BSearchFn (MONO_ARRAY) : sig. ...
• The BSearchFn functor implements binary searching on sorted monomorphic arrays. Functor result interface.

• The concept used is called functor. A functor is an expression that specifies the components of a module. The Mozart system converts a functor to a module with the help of a module manager. ...
• Let us first see what a module is, and then look to a corresponding functor that specifies the module. ...
• The above module can be created from a functor that looks as follows: .
• functor  .
• Assuming that this functor is stored, somehow, on the file '/home/xxx/list. ...
• If you want to import a system module you can just state the name of its functor. On the other-hand importing a user-defined module requires stating the URL of the file where the functor is stored. ...
• Consider the following functor. ...
• functor  .
• It also imports the module FO specified by the functor stored in the file '/home/seif/FileOperations. ... This functor is defined for its effect, therefore it does not export any interface. When this functor is linked the statement between define . ...
• oz' defining a functor, you may create the corresponding functor 'x. ...

• e-cvs cvs commit: e/src/jsrc/org/quasiliteral/term Functor. ...
• Next message: e-cvs cvs commit: e/src/jsrc/org/quasiliteral/term Functor. ...
• java src/jsrc/org/quasiliteral/term Functor. ... - * <p> - * Depending on context, it may represent a Functor, a Term, or a list of - * Terms. ... functor(new AstroToken(TermParser. ... functor(null, + new AstroToken(myValueType, mySource, myValue)); } else { @@ -192,9 +194,9 @@ * Since QuasiFunctors currently contain no holes, this just determines * if the specimen matches. ... Term; @@ -18,14 +19,17 @@ * For building a quasiliteral for generating or matching Term/Functor trees. ... EmptyList); - } - /** - * @param fnctr :(QuasiNode - * @param args :ConstList(QuasiNode) + * @param fnctr :(QuasiFunctor | PFunctorHole) + * @param args : (QuasiTerm | PTermHole | ArgHole)* * @return :QuasiTerm */ public Object term(Object fnctr, Object args) { @@ -122,82 +118,108 @@ } /** - * @param ident :AstroToken(ID) + * @param optIdent :(AstroToken(ID) | null) + * @param optLit :(AstroToken(Literal*) | PLitHole | null) * @return :QuasiFunctor */ - public Object functor(Object ident) { - AstroToken tok = (AstroToken)ident; - if (TermParser. ... getSource(), null); - } + public Object functor(Object optIdent, Object optLit) { + AstroToken optIdTok = (AstroToken)optIdent; - /** - * @param lit :AstroToken(Literal*) - * @return :QuasiFunctor - */ - public Object literal(Object lit) { - AstroToken tok = (AstroToken)lit; - //XXX check that it's a kind of literal - Functor functor = tok. ... getTokenNames()); - return new QuasiFunctor(functor); + String name = null; + Twine source = null; + Object value = null; + + if (null == optIdTok) { + //Just a literal. ... require(null != optLit, "can't default entire functor"); + AstroToken litTok = (AstroToken)optLit; + ConstList typeNames = TermParser. ... getSource()); + value = litHole; + } + } + return new QuasiFunctor(name, source, value); } /** - * @param ident :AstroToken(ID) - * @param lit :AstroToken(Literal*) - * @return :QuasiFunctor + * */ - public Object functor(Object ident, Object lit) { - AstroToken idTok = (AstroToken)ident; - AstroToken litTok = (AstroToken)lit; - - if (TermParser. ... Functor; import java.
• Next message: e-cvs cvs commit: e/src/jsrc/org/quasiliteral/term Functor. ...

• Size functor: A homological shape descriptor.
• The talk introduces a functor as a new shape descriptor. ...
• We define a functor S:Morse --> Funct(Rord, Exact). ...
• The functor F=S((M, f)) is defined to associate to each x (values x below the second lowest critical value are treated aside) the Mayer-Vietoris sequence corresponding to the attachment space just described. ...
• The functor S portraits the development of the manifold through its critical points; moreover, it keeps explicitly into account the topology ofthe various Mx. ...

• 3 Finite Domain Functor.
• We next define a functor that accounts for domains of atoms or integers and for products of domains. ...
• oz>=functor .

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.