Cross Reference: /hets/HasCASL/doc/StaticAna.tex

Lines Matching refs:item
105 \item function arrows have lowest infix priority and associate to the right
106 \item next come products with (generalized) infix $\times$ notation
107 \item next comes lazy type construction
113 \item A single token is taken as nullary type constructor name
114 \item empty braces or brackets are taken as an id (with two tokens) as above
115 \item braces or brackets with one argument refer to an unary outfix type
117 \item brackets with one or more arguments in argument positions are considered
119 \item parenthesis may only contains a single argument. Tuple do not exist.
120 \item The empty tuple is illegal. Instead the builtin type 
164 \item There are simple value and pattern declarations. 
165 \item Type patterns (with the implicit kind \texttt{Type})
172 \item Type patterns may be declared to be isomorphic, this corresponds to a
174 \item A type pattern may be defined as predicate subtype via a
177 \item A type pattern may be a type alias. When comparing types these aliases
245 \item[As.hs] abstract syntax
246 \item[AsToLe.hs] the static analysis
247 \item[AsUtils.hs] helpers for \texttt{As}
248 \item[ClassAna.hs] analyse classes
249 \item[ClassDecl.hs] analyse class declarations
250 \item[DataAna.hs] analyse data type definitions
251 \item[HToken.hs] extension of \texttt{Common.Token} for HasCASL
253 \item[Le.hs] analysed local environment
254 \item[Logic\_HasCASL.hs] instance for \texttt{Logic.Logic}
255 \item[Merge.hs] consistently merge together repeated or extended items
256 \item[MixAna.hs] top-level mixfix-analysis
257 \item[Morphism.hs] morphisms for \texttt{Logic\_HasCASL}
258 \item[OpDecl.hs] analyse declarations
259 \item[ParseItem.hs] parsing basic (HasCASL) items
260 \item[ParseTerm.hs] parsing classes, types, terms and formulas
261 \item[PrintAs.hs] pretty printing the abstract syntax
262 \item[PrintLe.hs] pretty printing the analysed abstract syntax
263 \item[RunStaticAna.hs] wrapper for \texttt{Common.RunParsers}
264 \item[TypeAna.hs] analyse types
265 \item[TypeDecl.hs] analyse type declarations
266 \item[Unify.hs] unification of types
267 \item[hacapa.hs] counterpart to \texttt{CASL/capa.hs}