hets -- a heterogenous Specification (CASL) tool set
Contents
Index
HasCASL.TypeAna
Portability
portable
Stability
experimental
Maintainer
hets@tzi.de
Description
analyse classes and types
Synopsis
toKind
::
Maybe
Kind
->
Kind
anaKind
::
Kind
->
State
Env
Kind
anaKindM
::
Kind
->
State
Env
(
Maybe
Kind
)
data
ApplMode
=
OnlyArg
|
TopLevel
mkTypeConstrAppls
::
ApplMode
->
Type
->
State
Env
(
Maybe
Type
)
lesserKind
::
Kind
->
Kind
->
Bool
inferRawKind
::
Type
->
State
Env
Kind
checkTypeRawKind
::
Type
->
Kind
->
State
Env
()
getIdRawKind
::
Id
->
State
Env
Kind
getRawKind
::
TypeMap
->
Id
->
Maybe
Kind
checkMaybeKinds
:: (
PosItem
a,
PrettyPrint
a) => a ->
Maybe
Kind
->
Maybe
Kind
->
State
Env
(
Maybe
Kind
)
checkFunKind
::
Maybe
Kind
->
Type
->
Type
->
Kind
->
State
Env
(
Maybe
Kind
)
inferKind
::
Maybe
Kind
->
Type
->
State
Env
(
Maybe
Kind
)
getIdKind
::
Id
->
State
Env
(
Maybe
Kind
)
getKind
::
TypeMap
->
Id
->
Maybe
Kind
isTypeVar
::
TypeMap
->
Id
->
Bool
anaType
:: (
Maybe
Kind
,
Type
) ->
State
Env
(
Kind
,
Maybe
Type
)
anaStarType
::
Type
->
State
Env
(
Maybe
Type
)
mkBracketToken
::
BracketKind
-> [
Pos
] -> [
Token
]
Produced by
Haddock
version 0.6