Safe Haskell	None
Language	GHC2021

GHC.Core.Opt.SpecConstr

Synopsis

specConstrProgram :: ModGuts -> CoreM ModGuts
data SpecConstrAnnotation
- = NoSpecConstr
- | ForceSpecConstr
newtype SpecFailWarning = SpecFailForcedArgCount {
- spec_failed_fun_name :: Name
}

Documentation

specConstrProgram :: ModGuts -> CoreM ModGuts Source #

data SpecConstrAnnotation Source #

Deprecated, use SPEC directly instead.

Annotating a type with NoSpecConstr will make SpecConstr not specialise for arguments of that type, e. g., {-# ANN type SPEC ForceSpecConstr #-}.

Constructors

NoSpecConstr
ForceSpecConstr

Instances

Instances details

Eq SpecConstrAnnotation Source #	Since: base-4.3.0.0
Instance details Defined in GHC.Internal.Exts Methods (==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool Source # (/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool Source #
Data SpecConstrAnnotation Source #	Since: base-4.3.0.0
Instance details Defined in GHC.Internal.Exts Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpecConstrAnnotation -> c SpecConstrAnnotation Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SpecConstrAnnotation Source # toConstr :: SpecConstrAnnotation -> Constr Source # dataTypeOf :: SpecConstrAnnotation -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SpecConstrAnnotation) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SpecConstrAnnotation) Source # gmapT :: (forall b. Data b => b -> b) -> SpecConstrAnnotation -> SpecConstrAnnotation Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpecConstrAnnotation -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpecConstrAnnotation -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SpecConstrAnnotation -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SpecConstrAnnotation -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpecConstrAnnotation -> m SpecConstrAnnotation Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpecConstrAnnotation -> m SpecConstrAnnotation Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpecConstrAnnotation -> m SpecConstrAnnotation Source #

newtype SpecFailWarning Source #

Constructors

SpecFailForcedArgCount
Fields spec_failed_fun_name :: Name

Instances

Instances details

Outputable SpecFailWarning Source #
Instance details Defined in GHC.Core.Opt.SpecConstr Methods ppr :: SpecFailWarning -> SDoc Source #