Safe Haskell | None |
---|---|
Language | Haskell98 |
SpecConstr
Documentation
data SpecConstrAnnotationSource
Constructors
NoSpecConstr | |
ForceSpecConstr |
ghc-7.8.20140130: The GHC API
Safe Haskell | None |
---|---|
Language | Haskell98 |
SpecConstr
data SpecConstrAnnotationSource
Constructors
NoSpecConstr | |
ForceSpecConstr |