|
|
|
|
|
|
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 |