DBDirect generates a Haskell module from a database. It first reads the system catalog of the database into a Catalog data type. After that it pretty prints that data structure in an appropiate Haskell module which can be used to perform queries on the database.