Ix

module Data.Ix
base Data.Ix
The Ix class is used to map a contiguous subrange of values in type onto integers. It is used primarily for array indexing (see the array package).
class Ord a => Ix a
base Data.Ix
The Ix class is used to map a contiguous subrange of values in a type onto integers. It is used primarily for array indexing (see the array package). The first argument (l,u) of each of these operations is a pair specifying the lower and upper bounds of a contiguous subrange of values. An implementation is entitled to assume the following laws about these operations: * inRange (l,u) i == elem i (range (l,u))   * range (l,u) !! index (l,u) i == i, when inRange (l,u) i * map (index (l,u)) (range (l,u))) == [0..rangeSize (l,u)-1]   * rangeSize (l,u) == length (range (l,u))   Minimal complete instance: range, index and inRange.
package ix-shapable
package
Reshape multi-dimensional arrays. Provides the Shapable class, respresenting those instances of Ix that provide to arrays indexing that is isomorphic to that of C-style multi-dimensional arrays. Factored out of the carray library with the kind permission of its author. Version 0.1.0
package ixdopp
package
This preprocessor expands a Haskell program using "ixdo" notation into a Haskell program using the indexed monad bind operator (>>>=).  It also serves as an example for the preprocessor-tools package. While GHC 6.10 can now expand do-notation when (>>=) is rebound at a non-standard type, this makes it difficult to use do-notation for both monads and custom monad-like structures in the same compilation module.  This preprocessor makes it easy to use do-like syntax for indexed monads while retaining "do" for monads. If installed in ~.cabal, then ~.cabal/bin must be in the path for GHC to find it from a -pgmF flag. Version 0.1.1
ixmap :: (IArray a e, Ix i, Ix j) => (i, i) -> (i -> j) -> a j e -> a i e
array Data.Array.IArray
Returns a new array derived from the original array by applying a function to each of the indices.
ixmap :: (Ix i, Ix j) => (i, i) -> (i -> j) -> Array j e -> Array i e
array Data.Array
ixmap allows for transformations on array indices. It may be thought of as providing function composition on the right with the mapping that the original array embodies. A similar transformation of array values may be achieved using fmap from the Array instance of the Functor class.
package ixset
package
Create and query sets that are indexed by multiple indices. Version 1.0.3
floatRadix :: RealFloat a => a -> Integer
base Prelude
constrFixity :: Constr -> Fixity
base Data.Data
Gets the fixity of a constructor
module Control.Monad.Fix
base Control.Monad.Fix
Monadic fixpoints. For a detailed discussion, see Levent Erkok's thesis, Value Recursion in Monadic Computations, Oregon Graduate Institute, 2002.
module Data.Fixed
base Data.Fixed
This module defines a "Fixed" type for fixed-precision arithmetic. The parameter to Fixed is any type that's an instance of HasResolution. HasResolution has a single method that gives the resolution of the Fixed type. This module also contains generalisations of div, mod, and divmod to work with any Real instance.
fix :: (a -> a) -> a
base Data.Function, base Control.Monad.Fix
fix f is the least fixed point of the function f, i.e. the least defined x such that f x = x.
data Fixed a
base Data.Fixed
The type parameter should be an instance of HasResolution.
fixIO :: (a -> IO a) -> IO a
base System.IO
data Fixity
base Data.Data
Fixity of constructors
fixST :: (a -> ST s a) -> ST s a
base Control.Monad.ST, base Control.Monad.ST.Lazy
Allow the result of a state transformer computation to be used (lazily) inside the computation. Note that if f is strict, fixST f = _|_.
Infix :: Fixity
base Data.Data
isInfixOf :: Eq a => [a] -> [a] -> Bool
base Data.List
The isInfixOf function takes two lists and returns True iff the first list is contained, wholly and intact, anywhere within the second. Example: > isInfixOf "Haskell" "I really like Haskell." == True > isInfixOf "Ial" "I really like Haskell." == False
isPrefixOf :: Eq a => [a] -> [a] -> Bool
base Data.List
The isPrefixOf function takes two lists and returns True iff the first list is a prefix of the second.
isSuffixOf :: Eq a => [a] -> [a] -> Bool
base Data.List
The isSuffixOf function takes two lists and returns True iff the first list is a suffix of the second. Both lists must be finite.

Show more results