| Copyright | (c) Christian Maeder and Uni Bremen 2002-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
HasCASL.ConvertTypePattern
Description
convert type patterns to type identifier applications
- toTypePattern :: (Id, [TypeArg]) -> TypePattern
- convertTypePatterns :: [TypePattern] -> Result [(Id, [TypeArg])]
- convertTypePattern :: TypePattern -> Result (Id, [TypeArg])
Documentation
toTypePattern :: (Id, [TypeArg]) -> TypePattern
store identifier application as a type pattern
convertTypePatterns :: [TypePattern] -> Result [(Id, [TypeArg])]
convert type patterns
convertTypePattern :: TypePattern -> Result (Id, [TypeArg])
convert a type pattern