hets -- a heterogenous Specification (CASL) tool set
Contents
Index
HasCASL.OpDecl
Portability
portable
Stability
experimental
Maintainer
hets@tzi.de
Description
analyse operation declarations
Synopsis
anaAttr
::
GlobalAnnos
->
TypeScheme
->
OpAttr
->
State
Env
(
Maybe
OpAttr
)
filterVars
::
Assumps
->
Assumps
patternsToType
:: [
Pattern
] ->
Type
->
Type
tuplePatternToType
::
Pattern
->
Type
anaOpItem
::
GlobalAnnos
->
OpBrand
->
OpItem
->
State
Env
OpItem
getUninstOpId
::
TypeScheme
->
OpId
-> (
OpId
,
TypeScheme
)
anaOpId
::
OpBrand
->
TypeScheme
-> [
OpAttr
] ->
OpId
->
State
Env
(
Maybe
OpId
)
anaTypeScheme
::
TypeScheme
->
State
Env
(
Maybe
TypeScheme
)
anaProgEq
::
GlobalAnnos
->
ProgEq
->
State
Env
ProgEq
getApplConstr
::
Pattern
-> (
Pattern
, [
Pattern
])
Produced by
Haddock
version 0.6