id -mtl

id :: a -> a
base Prelude, base Data.Function
Identity function.
id :: Category cat => cat a a
base Control.Category
package ideas
package
ideas provides feedback services to intelligent tutoring systems such as the digital mathematical environment of the Freudenthal Institute, MathDox, and Activemath. Version 1.1
package ideas-math
package
Interactive domain reasoner for logic and mathematics, based on the feedback services of the Ideas framework. Domains supported include propositional logic (disjunctive normal form and equivalence proofs), mathematics (fractions, polynomial equations, powers, derivatives), linear algebra (Gaussian elimination and linear systems), and relation algebra. The domain reasoner is used by learning environments such as the digital mathematical environment of the Freudenthal Institute, MathDox, ActiveMath, and the GenExas logic tool. Version 1.0
identifier :: GenTokenParser s u m -> ParsecT s u m String
parsec Text.Parsec.Token, parsec Text.ParserCombinators.Parsec.Token
This lexeme parser parses a legal identifier. Returns the identifier string. This parser will fail on identifiers that are reserved words. Legal identifier (start) characters and reserved words are defined in the LanguageDef that is passed to makeTokenParser. An identifier is treated as a single token using try.
identifier :: String -> HtmlAttr
html Text.Html, xhtml Text.XHtml.Strict, xhtml Text.XHtml.Frameset, xhtml Text.XHtml.Transitional
identLetter :: GenLanguageDef s u m -> ParsecT s u m Char
parsec Text.Parsec.Token, parsec Text.ParserCombinators.Parsec.Token, parsec Text.ParserCombinators.Parsec.Language
This parser should accept any legal tail characters of identifiers. For example alphaNum <|> char "_".
identStart :: GenLanguageDef s u m -> ParsecT s u m Char
parsec Text.Parsec.Token, parsec Text.ParserCombinators.Parsec.Token, parsec Text.ParserCombinators.Parsec.Language
This parser should accept any start characters of identifiers. For example letter <|> char "_".
package idiii
package
ID3v2 (tagging standard for MP3 files) library Version 0.1.3.3
idleCallback :: SettableStateVar (Maybe IdleCallback)
GLUT Graphics.UI.GLUT.Callbacks.Global
Controls the global idle callback so a GLUT program can perform background processing tasks or continuous animation when window system events are not being received. If enabled, the idle callback is continuously called when events are not being received. The current window and current menu will not be changed before the idle callback. Programs with multiple windows and/or menus should explicitly set the current window and/or /current menu/ and not rely on its current setting. The amount of computation and rendering done in an idle callback should be minimized to avoid affecting the program's interactive response. In general, not more than a single frame of rendering should be done in an idle callback.
package idna
package
Implements IDNA - Internationalized Domain Names in Applications (RFC 3490). Version 0.2
package idna2008
package
Library to convert internationalized domain names between the ASCII (ACE) and Unicode encodings in accordance with IDNA2008 (RFC 5991: Internationalized Domain Names in Applications (IDNA): Protocol). Unlike IDNA2003, IDNA2008 is not based on RFC 3454: Preparation of Internationalized Strings (&quot;stringprep&quot;). Version 0.0.1.0
package idris
package
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at http://www.idris-lang.org/documentation. Features include: * Full dependent types with dependent pattern matching * where clauses, with rule, simple case expressions, pattern matching let and lambda bindings * Type classes, monad comprehensions * do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs * Totality checking * Coinductive types * Indentation significant syntax, extensible syntax * Tactic based theorem proving (influenced by Coq) * Cumulative universes * Simple foreign function interface (to C) * Hugs style interactive environment Version 0.9.10.1
Ident :: String -> Lexeme
base Text.Read.Lex, base Text.Read
Haskell identifier, e.g. foo, Baz
module Control.Monad.Trans.Identity
transformers Control.Monad.Trans.Identity
The identity monad transformer. This is useful for functions parameterized by a monad transformer.
module Data.Functor.Identity
transformers Data.Functor.Identity
The identity functor and monad. This trivial type constructor serves two purposes: * It can be used with functions parameterized by functor or monad classes. * It can be used as a base monad to which a series of monad transformers may be applied to construct a composite monad. Most monad transformer modules include the special case of applying the transformer to Identity. For example, State s is an abbreviation for StateT s Identity.
Identity :: a -> Identity a
transformers Data.Functor.Identity
newtype Identity a
transformers Data.Functor.Identity
Identity functor and monad.
IdentityT :: m a -> IdentityT m a
transformers Control.Monad.Trans.Identity
newtype IdentityT m a
transformers Control.Monad.Trans.Identity
The trivial monad transformer, which maps a monad to an equivalent monad.

Show more results