|
|
|
|
|
|
| Synopsis |
|
|
|
|
| Data marshaling
|
|
| class Expressible a where | Source |
|
| Instances of Expressible are precisely the data types that can
be marshaled to and from Mathematica.
| | | Methods | | | Send a value to Mathematica.
| | | | Receive a value from Mathematica.
|
| |  Instances | | Expressible Char | | Expressible Double | | Expressible Float | | Expressible Int | | Expressible Int16 | | Expressible Int32 | | Expressible Expression | | Expressible e => Expressible ([] e) | | (Expressible e1, Expressible e2) => Expressible ((,) e1 e2) | | Dimensional ix => Expressible (UArray ix Double) | | Dimensional ix => Expressible (UArray ix Float) | | Dimensional ix => Expressible (UArray ix Int) | | Dimensional ix => Expressible (UArray ix Int32) | | Dimensional ix => Expressible (UArray ix Int16) | | (Expressible e1, Expressible e2, Expressible e3) => Expressible ((,,) e1 e2 e3) | | (Expressible e1, Expressible e2, Expressible e3, Expressible e4) => Expressible ((,,,) e1 e2 e3 e4) | | (Expressible e1, Expressible e2, Expressible e3, Expressible e4, Expressible e5) => Expressible ((,,,,) e1 e2 e3 e4 e5) | | (Expressible e1, Expressible e2, Expressible e3, Expressible e4, Expressible e5, Expressible e6) => Expressible ((,,,,,) e1 e2 e3 e4 e5 e6) | | (Expressible e1, Expressible e2, Expressible e3, Expressible e4, Expressible e5, Expressible e6, Expressible e7) => Expressible ((,,,,,,) e1 e2 e3 e4 e5 e6 e7) |
|
|
|
| class Ix ix => Dimensional ix where | Source |
|
| Arrays to be marshaled to and from Mathematica require indices
that are instances of Dimensional.
| | | Methods | | The number of dimensions.
Shouldn't examine its argument.
| | | | The dimensions
| | | The array bounds implied by a list of dimensions
NB: a (very) partial function! Fails if the length of the
given list is different from the result of rank.
|
| | | Instances | | Dimensional Int | | Dimensional ((,) Int Int) | | Dimensional ((,,) Int Int Int) | | Dimensional ((,,,) Int Int Int Int) | | Dimensional ((,,,,) Int Int Int Int Int) |
|
|
|
|
| Represents a general Mathematica expression.
| | Constructors | | ExInt Int | An atomic value of integer type
| | ExReal Double | An atomic value of floating point type
| | ExString String | An atomic value of string type
| | ExSymbol String | An atomic value of symbol type
| | ExFunction String [Expression] | A non-atomic value, with a head of type symbol
and a list of arguments
|
| | Instances | |
|
|
| Execution
|
|
|
| The monad in which functions exposed to Mathematica execute.
| | Constructors | | | Instances | |
|
|
|
| Encapsulates the readable state associated with the ML monad.
| | Constructors | | | Instances | |
|
|
|
| Encapsulates a description of a function callable from Mathematica
| | Constructors | | Function | | | callPattern :: String | A string representing the Mathematica pattern
whose match should result in a function call to
the specified Haskell function. Analogous to the
:Pattern: directive in an input to
Mathematica's mprep utility.
| | argumentPattern :: String | A string representing the Mathematica pattern
for the argument that will be marshaled from
Mathematica to Haskell. Pattern variables
appearing here are bound in the callPattern
match. Analogous to the :Arguments: directive
in an input to Mathematica's mprep utility.
| | function :: ML () | The Haskell function to be invoked.
|
|
| | Instances | |
|
|
|
| Encapsulates the read/write state associated with the ML monad.
| | Constructors | | | Instances | |
|
|
|
| Runs the given ML computation with the given state and configuration.
|
|
| MathLink internal types
|
|
|
| A wrapped pointer to the MathLink link.
| | Constructors | | | Instances | |
|
|
|
| A wrapped pointer to the MathLink environment.
| | Constructors | | | Instances | |
|
|
|
| An enumeriation of possible return values from the MathLink functions MLGetNext or MLGetType.
| | Constructors | | ErrorType | | | IntType | | | RealType | | | StringType | | | SymbolType | | | FunctionType | | | UnknownType Int | |
| | Instances | |
|
|
|
|
|
| An enumeration of MathLink message types.
| | Constructors | | TerminateMessage | | | InterruptMessage | | | AbortMessage | | | EndPacketMessage | | | SynchronizeMessage | | | ImDyingMessage | | | WaitingAcknowledgementMessage | | | MarkTopLevelMessage | | | LinkClosingMessage | | | AuthenticateFailureMessage | | | UserMessage Int | | | UnknownMessage Int | |
| | Instances | |
|
|
|
|
|
| An enumeration of some error codes defined in mathlink.h.
| | Constructors | | NoError | | | DeadLnkError | | | GetInconsistentError | | | GetOutOfSeqError | | | PutBadTokError | | | PutOutOfSeqError | | | PutTooBigError | | | MachineOverflowError | | | OutOfMemoryError | | | SocketUnacceptedError | | | UnconnectedError | | | PutEndPacketError | | | NextIncompleteCurrentPacketError | | | NextUnknownPacketError | | | GetEndPacketError | | | AbortError | | | ClosedError | | | InitError | | | ArgvError | | | ProtocolError | | | ModeError | | | LaunchError | | | RelaunchError | | | LaunchSpaceError | | | NoParentError | | | NameTakenError | | | NoListenError | | | BadNameError | | | BadHostError | | | LaunchFailedError | | | LaunchNameError | | | PutConvertError | | | GetConvertError | | | PutBadEncodingError | | | UnknownError Int | |
| | Instances | |
|
|
|
| Turns an Integral into the corresponding Error.
|
|
|
| An enumeration of MathLink packet types
| | Constructors | | IllegalPacket | | | CallPacket | | | EvaluatePacket | | | ReturnPacket | | | InputNamePacket | | | EnterTextPacket | | | EnterExpressionPacket | | | OutputNamePacket | | | ReturnTextPacket | | | ReturnExpressionPacket | | | DisplayPacket | | | DisplayEndPacket | | | MessagePacket | | | TextPacket | | | InputPacket | | | InputStringPacket | | | MenuPacket | | | SyntaxPacket | | | SuspendPacket | | | ResumePacket | | | BeginDialogPacket | | | EndDialogPacket | | | UserPacket Int | | | UnknownPacket Int | |
| | Instances | |
|
|
|
|
| Produced by Haddock version 2.3.0 |
