hets -- a heterogenous Specification (CASL) tool setContentsIndex
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