mtl -is:exact
Monad classes for transformers, using functional dependencies
MTL is a collection of monad classes, extending the
transformers package, using functional dependencies for generic
lifting of monadic actions.
Metric Temporal Logic (MTL) over a discrete time domain consisting of
sampled time values.
The operators in this module receive two additional arguments: a clock
stream clk, indicating the current time, and a distance
between samples dist. For the purposes of explaining the MTL
aspects, we ignore those arguments. If you are using streams for which
you can treat time as a discrete increasing number, you can safely
assume that the clock is a counter (i.e., [0, 1, 2,...],
which can be defined by the stream counter = [0] ++ counter)
and the distance between samples is 1.
Backported Control.Monad.Except module from mtl
This package backports the
Control.Monad.Except module from
mtl (if using
mtl-2.2.0.1 or earlier), which
reexports the
ExceptT monad transformer and the
MonadError class.
This package should only be used if there is a need to use the
Control.Monad.Except module specifically. If you just want
the
mtl class instances for
ExceptT, use
transformers-compat instead, since
mtl-compat does
nothing but reexport the instances from that package.
Note that unlike how
mtl-2.2 or later works, the
Control.Monad.Except module defined in this package exports all
of
ExceptT's monad class instances. Therefore, you may have
to declare
import Control.Monad.Except () at the top of your
file to get all of the
ExceptT instances in scope.
Reexports of most definitions from "mtl" and "transformers"
This package only exports definitions from the "mtl" and
"transformers" libraries. Unlike every module of "mtl" it does not
reexport
Control.Monad and
Control.Monad.Fix.
In combination with the
"base-prelude" library, this should
give you a quite rich prelude.
The
2.* versions are restricted by the feature set of
mtl-2.2 and
transformers-0.4, however they provide
support for newer versions of those libraries as well.
Not on Stackage, so not searched.
Very strict CPS'd transformers
Not on Stackage, so not searched.
Instances for the mtl classes for all monad transformers.
Not on Stackage, so not searched.
MTL classes without the functional dependency
Not on Stackage, so not searched.
parse library using mtl package
- Output Only Unique identifier for the resource; defined by
the server.
A list of MachineType resources.
- Output Only Type of resource. Always
compute#machineTypeList for lists of machine types.
- Output Only This token allows you to get the next page of
results for list requests. If the number of results is larger than
maxResults, use the nextPageToken as a value for the query parameter
pageToken in the next list request. Subsequent list requests will have
their own nextPageToken to continue paging through the results.
- Output Only Server-defined URL for this resource.
- Output Only Informational warning message.
- Output Only A warning code, if applicable. For example,
Compute Engine returns NO_RESULTS_ON_PAGE if there are no results in
the response.
- Output Only Metadata about this warning in key: value
format. For example: "data": [ { "key": "scope", "value":
"zones/us-east1-d" }
- Output Only A human-readable description of the warning
code.
- Output Only A key that provides more detail on the warning
being returned. For example, for warnings where there are no results
in a list request for a particular zone, this key might be scope and
the key value might be the zone name. Other examples might be a key
indicating a deprecated resource and a suggested replacement, or a
warning about invalid network settings (for example, if an instance
attempts to perform IP forwarding but is not enabled for IP
forwarding).
- Output Only A warning data value corresponding to the
key.
A filter expression that filters resources listed in the response. The
expression must specify the field name, a comparison operator, and the
value that you want to use for filtering. The value must be a string,
a number, or a boolean. The comparison operator must be either =, !=,
>, or <. For example, if you are filtering Compute Engine
instances, you can exclude instances named example-instance by
specifying name != example-instance. You can also filter nested
fields. For example, you could specify scheduling.automaticRestart =
false to include instances only if they are not scheduled for
automatic restarts. You can use filtering on nested fields to filter
based on resource labels. To filter on multiple expressions, provide
each separate expression within parentheses. For example,
(scheduling.automaticRestart = true) (cpuPlatform = "Intel Skylake").
By default, each expression is an AND expression. However, you can
include AND and OR expressions explicitly. For example, (cpuPlatform =
"Intel Skylake") OR (cpuPlatform = "Intel Broadwell") AND
(scheduling.automaticRestart = true).
The maximum number of results per page that should be returned. If the
number of available results is larger than maxResults, Compute Engine
returns a nextPageToken that can be used to get the next page of
results in subsequent list requests. Acceptable values are 0 to 500,
inclusive. (Default: 500)
Sorts list results by a certain order. By default, results are
returned in alphanumerical order based on the resource name. You can
also sort results in descending order based on the creation timestamp
using orderBy="creationTimestamp desc". This sorts results based on
the creationTimestamp field in reverse chronological order (newest
result first). Use this to sort resources like operations so that the
newest operation is returned first. Currently, only sorting by name or
creationTimestamp desc is supported.
Specifies a page token to use. Set pageToken to the nextPageToken
returned by a previous list request to get the next page of results.