Safe Haskell | None |
---|---|
Language | Haskell2010 |
SpecConstr
Documentation
data SpecConstrAnnotation Source #
Constructors
NoSpecConstr | |
ForceSpecConstr |
ghc-8.4.2: The GHC API
Safe Haskell | None |
---|---|
Language | Haskell2010 |
SpecConstr
data SpecConstrAnnotation Source #
Constructors
NoSpecConstr | |
ForceSpecConstr |