Safe Haskell | None |
---|---|
Language | Haskell2010 |
SpecConstr
Documentation
specConstrProgram :: ModGuts -> CoreM ModGuts #
data SpecConstrAnnotation :: * Source #
Constructors
NoSpecConstr | |
ForceSpecConstr |
Instances
ghc-8.0.2: The GHC API
Safe Haskell | None |
---|---|
Language | Haskell2010 |
SpecConstr
specConstrProgram :: ModGuts -> CoreM ModGuts #