hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.AsUtils
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
compute meaningful positions for various data types of the abstract syntax
Synopsis
expected :: PrettyPrint a => a -> a -> String
posOfKind :: Kind -> Pos
posOfVars :: Vars -> Pos
posOfTypePattern :: TypePattern -> Pos
posOfType :: Type -> Pos
posOfTerm :: Term -> Pos
posOfPat :: Pattern -> Pos
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