Lines Matching defs:Type
43 \texttt{Type}.)
54 \texttt{Type} (or \emph{star} in Haskell) and the builtin kind constructor
66 The application of a type constructor (\texttt{Pair : Type -> Type -> Type})
72 __ * __ : Type -> Type -> Type
73 [__] : Type -> Type
76 In Haskell kinds are written using the star (*) instead of \texttt{Type}, but
84 __ -> __ : Type- -> Type+ -> Type
88 class Monad : Type -> Type
100 Type constructor names are declared with a kind. These names may be mixfix
128 Type names cannot be overloaded!
130 Type names may be redeclared, but must then have equal kinds. Only
161 \subsubsection*{Type 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
184 Type variables must be simple ids and there kind can either be an anonymous
210 Type casts (via \texttt{as}) or type containment tests (via\texttt{in})