| |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||
This is the core file of the DBSpec files. It defines a DBInfo and important functions on it. $Revision: 1.8 $ | |||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||||
data DBInfo | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
data TInfo | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
data CInfo | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
data DBOptions | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
makeDBSpec | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
makeTInfo | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
makeCInfo | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
ppDBInfo :: DBInfo -> Doc | |||||||||||||||||||||||||||||||||||
Pretty prints a DBInfo | |||||||||||||||||||||||||||||||||||
ppTInfo :: TInfo -> Doc | |||||||||||||||||||||||||||||||||||
ppCInfo :: CInfo -> Doc | |||||||||||||||||||||||||||||||||||
ppDBOptions :: DBOptions -> Doc | |||||||||||||||||||||||||||||||||||
dbInfoToDoc :: DBInfo -> Doc | |||||||||||||||||||||||||||||||||||
Creates a valid declaration of a DBInfo. The variable name will be the same as the database name | |||||||||||||||||||||||||||||||||||
finalizeSpec :: DBInfo -> DBInfo | |||||||||||||||||||||||||||||||||||
Does a final touching up of a DBInfo before it is used by i.e DBDirect. This converts any Bounded Strings to ordinary strings if that flag is set. | |||||||||||||||||||||||||||||||||||
constructNonClashingDBInfo :: DBInfo -> DBInfo | |||||||||||||||||||||||||||||||||||
Constructs a DBInfo that doesn't cause nameclashes | |||||||||||||||||||||||||||||||||||
Produced by Haddock version 0.8 |