hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.Class
Synopsis
addClassToHierarchy
::
AModule
->
KindEnv
->
AHsDecl
->
ClassHierarchy
->
ClassHierarchy
emptyClassHierarchy
::
ClassHierarchy
printClassHierarchy
::
ClassHierarchy
->
IO
()
entails
::
ClassHierarchy
-> [
Pred
] ->
Pred
->
Bool
bySuper
::
ClassHierarchy
->
Pred
-> [
Pred
]
reducePred
::
ClassHierarchy
->
Pred
->
Maybe
[
Pred
]
classMethodAssumps
::
ClassHierarchy
-> [
Assump
]
type
ClassHierarchy
=
Env
ClassRecord
reduce
::
ClassHierarchy
-> [
Tyvar
] -> [
Tyvar
] -> [
Pred
] -> ([
Pred
], [
Pred
])
split
::
ClassHierarchy
-> [
Tyvar
] -> [
Pred
] -> ([
Pred
], [
Pred
])
useDefaults
::
ClassHierarchy
-> [
Tyvar
] -> [
Pred
] -> [
Pred
]
topDefaults
::
ClassHierarchy
-> [
Pred
] ->
Maybe
Subst
Produced by
Haddock
version 0.6