hets -- a heterogenous Specification (CASL) tool set
Contents
Index
HasCASL.ClassAna
Portability
portable
Stability
experimental
Maintainer
hets@tzi.de
Description
auxiliary functions for raw kinds
Synopsis
anaClassId
::
ClassId
->
State
Env
(
Maybe
Kind
)
toIntersection
:: [
Kind
] ->
Kind
mkIntersection
:: [
Kind
] -> [
Kind
]
rawKind
::
Kind
->
Kind
checkIntersection
::
Kind
-> [
Kind
] -> [
Diagnosis
]
diffKindDiag
:: (
PosItem
a,
PrettyPrint
a) => a ->
Kind
->
Kind
-> [
Diagnosis
]
minKind
::
Bool
->
Kind
->
Kind
->
Maybe
Kind
maxVar
::
Variance
->
Variance
->
Maybe
Variance
minVar
::
Variance
->
Variance
->
Maybe
Variance
checkKinds
:: (
PosItem
a,
PrettyPrint
a) => a ->
Kind
->
Kind
->
State
Env
()
cyclicClassId
::
ClassId
->
Kind
->
Bool
Produced by
Haddock
version 0.6