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

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