const +base

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
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
repConstr :: DataType -> ConstrRep -> Constr
base Data.Data
Look up a constructor by its representation
showConstr :: Constr -> String
base Data.Data
Gets the string for a constructor
toConstr :: Data a => a -> Constr
base Data.Data
tyConString :: TyCon -> String
base Data.Typeable
Observe string encoding of a type representation
ForceSpecConstr :: SpecConstrAnnotation
base GHC.Exts
mAX_SPEC_CONSTR_SIZE :: Int
base GHC.Constants
NoSpecConstr :: SpecConstrAnnotation
base GHC.Exts
data SpecConstrAnnotation
base GHC.Exts