hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.Sign
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
CASL signature
Synopsis
data FunKind
= Total
| Partial
data OpType = OpType {
opKind :: FunKind
opArgs :: [SORT]
opRes :: SORT
}
data PredType = PredType {
predArgs :: [SORT]
}
data Sign = Sign {
sortSet :: (Set SORT)
sortRel :: (Rel SORT)
opMap :: (Map Id (Set OpType))
assocOps :: (Map Id (Set OpType))
predMap :: (Map Id (Set PredType))
varMap :: (Map SIMPLE_ID (Set SORT))
sentences :: [Named FORMULA]
envDiags :: [Diagnosis]
}
emptySign :: Sign
subsortsOf :: SORT -> Sign -> Set SORT
supersortsOf :: SORT -> Sign -> Set SORT
toOP_TYPE :: OpType -> OP_TYPE
toPRED_TYPE :: PredType -> PRED_TYPE
diffSig :: Sign -> Sign -> Sign
diffMapSet :: (Ord a, Ord b) => Map a (Set b) -> Map a (Set b) -> Map a (Set b)
addSig :: Sign -> Sign -> Sign
isEmptySig :: Sign -> Bool
isSubSig :: Sign -> Sign -> Bool
partOps :: Set OpType -> Set OpType
remPartOps :: Set OpType -> Set OpType
remPartOpsM :: Ord a => Map a (Set OpType) -> Map a (Set OpType)
addPartOps :: Set OpType -> Set OpType
addPartOpsM :: Ord a => Map a (Set OpType) -> Map a (Set OpType)
addDiags :: [Diagnosis] -> State Sign ()
addSort :: SORT -> State Sign ()
checkSort :: SORT -> State Sign ()
addSubsort :: SORT -> SORT -> State Sign ()
closeSubsortRel :: State Sign ()
addVars :: VAR_DECL -> State Sign ()
addVar :: SORT -> SIMPLE_ID -> State Sign ()
Produced by Haddock version 0.6