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