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