Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data NameVersion Source #
Instances
concatInfo :: [Info] -> Info Source #
class Informative a where Source #
Instances
Informative Operation Source # | |
Informative Interpretation Source # | |
Defined in HOL.OpenTheory.Package | |
Informative a => Informative [a] Source # | |
(Informative a, Informative b) => Informative (a, b) Source # | |
data Interpretation Source #
Instances
Eq Interpretation Source # | |
Defined in HOL.OpenTheory.Package (==) :: Interpretation -> Interpretation -> Bool # (/=) :: Interpretation -> Interpretation -> Bool # | |
Ord Interpretation Source # | |
Defined in HOL.OpenTheory.Package compare :: Interpretation -> Interpretation -> Ordering # (<) :: Interpretation -> Interpretation -> Bool # (<=) :: Interpretation -> Interpretation -> Bool # (>) :: Interpretation -> Interpretation -> Bool # (>=) :: Interpretation -> Interpretation -> Bool # max :: Interpretation -> Interpretation -> Interpretation # min :: Interpretation -> Interpretation -> Interpretation # | |
Show Interpretation Source # | |
Defined in HOL.OpenTheory.Package showsPrec :: Int -> Interpretation -> ShowS # show :: Interpretation -> String # showList :: [Interpretation] -> ShowS # | |
Informative Interpretation Source # | |
Defined in HOL.OpenTheory.Package |
readInterpretation :: FilePath -> [Interpretation] -> IO Interpret Source #
Package | |
|
directoryVersion :: NameVersion -> IO FilePath Source #
readVersion :: Theory -> Interpret -> NameVersion -> IO Theory Source #