 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
HasCASL.AsUtils | Portability | portable | Stability | experimental | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
compute meaningful positions for various data types of the abstract syntax
|
|
Synopsis |
|
|
|
Documentation |
|
expected :: PrettyPrint a => a -> a -> String |
generate a comparison string |
|
posOfKind :: Kind -> Pos |
|
posOfVars :: Vars -> Pos |
|
posOfTypePattern :: TypePattern -> Pos |
|
posOfType :: Type -> Pos |
|
posOfTerm :: Term -> Pos |
|
posOfPat :: Pattern -> Pos |
|
Produced by Haddock version 0.6 |