 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
HasCASL.As | Portability | portable | Stability | experimental | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
abstract syntax for HasCASL
more liberal than Concrete-Syntax.txt
annotations are almost as for CASL
|
|
Synopsis |
|
|
|
|
abstract syntax entities |
|
data BasicSpec |
|
|
data BasicItem |
|
|
data SigItems |
|
|
data OpBrand |
indicator for predicate, operation or function | Constructors | | Instances | |
|
|
data Instance |
|
|
data ClassItem |
|
|
data ClassDecl |
|
|
data Variance |
|
|
data Kind |
kind or an extended kind | Constructors | | Instances | |
|
|
star :: Kind |
the Universe raw kind |
|
starPlus :: Kind |
the ExtKind star CoVar (Type+) |
|
funKind :: Kind |
the Kind of the function type |
|
prodKind :: Kind |
the Kind of the pair product type |
|
data TypeItem |
|
|
data Vars |
|
|
data TypePattern |
|
|
data Type |
|
|
mkProductType :: [Type] -> [Pos] -> Type |
|
data Arrow |
Constructors | FunArr | | PFunArr | | ContFunArr | | PContFunArr | |
| Instances | |
|
|
arrowId :: Arrow -> Id |
|
productId :: Id |
|
data Pred |
|
|
data Qual t |
|
|
data TypeScheme |
|
|
simpleTypeScheme :: Type -> TypeScheme |
|
logicalType :: Type |
|
predTypeScheme :: TypeScheme -> TypeScheme |
|
predType :: Type -> Type |
|
data Partiality |
|
|
data OpItem |
|
|
data BinOpAttr |
|
|
data OpAttr |
|
|
data DatatypeDecl |
|
|
data Alternative |
|
|
data Component |
|
|
data Quantifier |
Constructors | Universal | | Existential | | Unique | |
| Instances | |
|
|
data TypeQual |
|
|
data LetBrand |
|
|
data BracketKind |
|
|
getBrackets :: BracketKind -> (String, String) |
|
data Term |
|
|
mkTupleTerm :: [Term] -> [Pos] -> Term |
|
data Pattern |
|
|
mkTuplePattern :: [Pattern] -> [Pos] -> Pattern |
|
data ProgEq |
|
|
data SeparatorKind |
|
|
data VarDecl |
|
|
data TypeArg |
|
|
data GenVarDecl |
|
|
data OpId |
|
|
data InstOpId |
|
|
type TypeId = Id |
|
type UninstOpId = Id |
|
type Var = Id |
|
type ClassId = Id |
|
Produced by Haddock version 0.6 |