Rational a => a -> Float

Warning: Unknown class Rational

id :: a -> a
base Prelude, base Data.Function
Identity function.
breakpoint :: a -> a
base GHC.Exts
inline :: a -> a
base GHC.Exts
The call '(inline f)' reduces to f, but inline has a BuiltInRule that tries to inline f (if it has an unfolding) unconditionally The NOINLINE pragma arranges that inline only gets inlined (and hence eliminated) late in compilation, after the rule has had a good chance to fire.
lazy :: a -> a
base GHC.Exts
The call '(lazy e)' means the same as e, but lazy has a magical strictness property: it is lazy in its first argument, even though its semantics is strict.
unsafeCoerce :: a -> b
base Unsafe.Coerce
F# :: Float# -> Float
base GHC.Exts
ribbonsPerLine :: Style -> Float
pretty Text.PrettyPrint.HughesPJ, pretty Text.PrettyPrint, haskell-src Language.Haskell.Pretty
Ratio of ribbon length to line length
mapException :: (Exception e1, Exception e2) => (e1 -> e2) -> a -> a
base Control.Exception.Base, base Control.Exception
This function maps one exception into another as proposed in the paper "A semantics for imprecise exceptions".
everywhere :: (forall a. Data a => a -> a) -> (forall a. Data a => a -> a)
syb Data.Generics.Schemes
Apply a transformation everywhere in bottom-up manner
everywhere' :: (forall a. Data a => a -> a) -> (forall a. Data a => a -> a)
syb Data.Generics.Schemes
Apply a transformation everywhere in top-down manner
mapException :: (Exception -> Exception) -> a -> a
base Control.OldException
This function maps one exception into another as proposed in the paper "A semantics for imprecise exceptions".
fromConstrB :: Data a => (forall d. Data d => d) -> Constr -> a
base Data.Data
Build a term and use a generic function for subterms
const :: a -> b -> a
base Prelude, base Data.Function
Constant function.
asTypeOf :: a -> a -> a
base Prelude
asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
fromMaybe :: a -> Maybe a -> a
base Data.Maybe
The fromMaybe function takes a default value and and Maybe value. If the Maybe is Nothing, it returns the default values; otherwise, it returns the value contained in the Maybe.
unGT :: GenericT' -> forall a. Data a => a -> a
syb Data.Generics.Aliases
assert :: Bool -> a -> a
base Control.Exception.Base, base Control.Exception, base Control.OldException
If the first argument evaluates to True, then the result is the second argument. Otherwise an AssertionFailed exception is raised, containing a String with the source file and line number of the call to assert. Assertions can normally be turned on or off with a compiler flag (for GHC, assertions are normally on unless optimisation is turned on with -O or the -fignore-asserts option is given). When assertions are turned off, the first argument to assert is ignored, and the second argument is returned as the result.
breakpointCond :: Bool -> a -> a
base GHC.Exts
evalState :: State s a -> s -> a
transformers Control.Monad.Trans.State.Lazy, transformers Control.Monad.Trans.State.Strict, mtl Control.Monad.State.Lazy, mtl Control.Monad.State.Strict
Evaluate a state computation with the given initial state and return the final value, discarding the final state. *  m s = fst (runState m >  
runReader :: Reader r a -> r -> a
transformers Control.Monad.Trans.Reader, mtl Control.Monad.Reader
Runs a Reader and extracts the final value from it. (The inverse of reader.)

Show more results