const -syb

const :: a -> b -> a
base Prelude, base Data.Function
Constant function.
Const :: a -> Const a b
base Control.Applicative
newtype Const a b
base Control.Applicative
data Constr
base Data.Data
Representation of constructors. Note that equality on constructors with different types may not work -- i.e. the constructors for False and Nothing may compare equal.
constrFields :: Constr -> [String]
base Data.Data
Gets the field labels of a constructor. The list of labels is returned in the same order as they were given in the original constructor declaration.
constrFixity :: Constr -> Fixity
base Data.Data
Gets the fixity of a constructor
constrIndex :: Constr -> ConIndex
base Data.Data
Gets the index of a constructor (algebraic datatypes only)
data ConstrRep
base Data.Data
Public representation of constructors
constrRep :: Constr -> ConstrRep
base Data.Data
Gets the public presentation of constructors
constrType :: Constr -> DataType
base Data.Data
Gets the datatype of a constructor
Constant :: Src
OpenGL Graphics.Rendering.OpenGL.GL.Texturing.Environments
Constant :: a -> Constant a b
transformers Data.Functor.Constant
newtype Constant a b
transformers Data.Functor.Constant
Constant functor.
ConstantAlpha :: BlendingFactor
OpenGL Graphics.Rendering.OpenGL.GL.PerFragment
ConstantBorder :: (Color4 GLfloat) -> ConvolutionBorderMode
OpenGL Graphics.Rendering.OpenGL.GL.PixelRectangles.Convolution
ConstantColor :: BlendingFactor
OpenGL Graphics.Rendering.OpenGL.GL.PerFragment
constantColor :: StateVar (Color4 GLfloat)
OpenGL Graphics.Rendering.OpenGL.GL.Texturing.Environments
package constraints
package
Constraint manipulation Version 0.3.0.1
package constructive-algebra
package
A library of algebra focusing mainly on commutative ring theory from a constructive point of view. Classical structures are implemented without Noetherian assumptions. This means that it is not assumed that all ideals are finitely generated. For example, instead of principal ideal domains one gets Bezout domains which are integral domains in which all finitely generated ideals are principal (and not necessarily that all ideals are principal). This give a good framework for implementing many interesting algorithms. Version 0.3.0
module Data.Functor.Constant
transformers Data.Functor.Constant
The constant functor.
module GHC.Constants
base GHC.Constants
AlgConstr :: ConIndex -> ConstrRep
base Data.Data
CharConstr :: Char -> ConstrRep
base Data.Data
dataTypeConstrs :: DataType -> [Constr]
base Data.Data
Gets the constructors of an algebraic datatype
FloatConstr :: Rational -> ConstrRep
base Data.Data
fromConstr :: Data a => Constr -> a
base Data.Data
Build a term skeleton
fromConstrB :: Data a => (forall d. Data d => d) -> Constr -> a
base Data.Data
Build a term and use a generic function for subterms
fromConstrM :: (Monad m, Data a) => (forall d. Data d => m d) -> Constr -> m a
base Data.Data
Monadic variation on fromConstrB
getConst :: Const a b -> a
base Control.Applicative
indexConstr :: DataType -> ConIndex -> Constr
base Data.Data
Gets the constructor for an index (algebraic datatypes only)
IntConstr :: Integer -> ConstrRep
base Data.Data
maxConstrIndex :: DataType -> ConIndex
base Data.Data
Gets the maximum constructor index of an algebraic datatype
mkCharConstr :: DataType -> Char -> Constr
base Data.Data
Makes a constructor for Char.
mkConstr :: DataType -> String -> [String] -> Fixity -> Constr
base Data.Data
Constructs a constructor
mkFloatConstr :: DataType -> Double -> Constr
base Data.Data
This function is now deprecated. Please use mkRealConstr instead.
mkIntConstr :: DataType -> Integer -> Constr
base Data.Data
This function is now deprecated. Please use mkIntegralConstr instead.
mkIntegralConstr :: Integral a => DataType -> a -> Constr
base Data.Data
mkRealConstr :: Real a => DataType -> a -> Constr
base Data.Data
mkStringConstr :: DataType -> String -> Constr
base Data.Data
This function is now deprecated. Please use mkCharConstr instead.
readConstr :: DataType -> String -> Maybe Constr
base Data.Data
Lookup a constructor via a string

Show more results