| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PTS.Value.Check
Synopsis
- valueType_ :: (Specification s, AsErr err, PrettyPrec err, PrettyPrec a) => (a -> Maybe (ValueIntro err s a)) -> ValueElim err s a -> ValueIntro err s a
Documentation
valueType_ :: (Specification s, AsErr err, PrettyPrec err, PrettyPrec a) => (a -> Maybe (ValueIntro err s a)) -> ValueElim err s a -> ValueIntro err s a Source #
Get a type of ValueElim.
TODO: implement valueType for ValueIntro too.