Pugs.Context

|  | Contents | Index
Pugs.Context
Synopsis
countTree :: Tree Type -> Int
deltaType :: ClassTree -> Type -> Type -> Int
junctivate :: (t -> t -> t) -> (t -> t -> t) -> (ClassTree -> Type -> Type -> t) -> ClassTree -> Type -> Type -> t
isaType :: ClassTree -> String -> Type -> Bool
isaType' :: ClassTree -> Type -> Type -> Bool
distanceType :: ClassTree -> Type -> Type -> Int
castOk :: a -> b -> Bool
compareList :: [Type] -> [Type] -> Int
findList :: Type -> Tree Type -> [Type]
prettyTypes :: String
initTree :: Tree Type
Produced by Haddock version ADDOCK_VERSION