hets -- a heterogenous Specification (CASL) tool set
Contents
Index
HasCASL.Merge
Portability
portable
Stability
experimental
Maintainer
hets@tzi.de
Description
merging parts of local environment
Synopsis
improveDiag
:: (
PosItem
a,
PrettyPrint
a) => a ->
Diagnosis
->
Diagnosis
mergeMap
:: (
Ord
a,
PosItem
a,
PrettyPrint
a) => (b -> b ->
Result
b) ->
Map
a b ->
Map
a b ->
Result
(
Map
a b)
mergeList
::
Eq
a => [a] -> [a] ->
Result
[a]
mergeTypeInfo
::
TypeMap
->
Int
->
TypeInfo
->
TypeInfo
->
Result
TypeInfo
mergeTypeDefn
::
TypeMap
->
Int
->
TypeDefn
->
TypeDefn
->
Result
TypeDefn
mergeScheme
::
TypeMap
->
Int
->
TypeScheme
->
TypeScheme
->
Result
TypeScheme
mergeOpInfo
::
TypeMap
->
Int
->
OpInfo
->
OpInfo
->
Result
OpInfo
mergeAttrs
:: [
OpAttr
] -> [
OpAttr
] ->
Result
[
OpAttr
]
mergeConstrInfos
:: [
ConstrInfo
] -> [
ConstrInfo
] ->
Result
[
ConstrInfo
]
Produced by
Haddock
version 0.6