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