Category: functors | Component type: concept |
Argument type | The type of the Unary Function's argument. |
Result type | The type returned when the Unary Function is called |
F | A type that is a model of Unary Function |
X | The argument type of F |
Result | The result type of F |
f | Object of type F |
x | Object of type X |
The range of a Unary Function is the set of all possible values that it may return.
Name | Expression | Type requirements | Return type |
---|---|---|---|
Function call | f(x) | Result |
Name | Expression | Precondition | Semantics | Postcondition |
---|---|---|---|---|
Function call | f(x) | x is in f's domain | Calls f with x as an argument, and returns a value of type Result [1] | The return value is in f's range |
[1] Two different invocations of f may return different results, even if f is called with the same arguments both times. A Unary Function may refer to local state, perform I/O, and so on. The expression f(x) is permitted to change f's state.
Contact Us | Site Map | Trademarks | Privacy | Using this site means you accept its Terms of Use |
Copyright © 2009 - 2017 Silicon Graphics International. All rights reserved. |