Module RW.Base

Exported Datatypes

Writing RWParameters .

Constructors:

• RWParameters :: Int -> Int -> RWParameters

  Fields:

  • minStrLen :: Int
  • alphabetLen :: Int

Represents a type in the compact data representation.

Constructors:

• RWType :: String -> [RWType] -> RWType

Known instances:

• Eq RWType

Exported Functions

defaultParams :: RWParameters   

Default RWParameters for writing compact data.

Further infos:

• solution complete, i.e., able to compute all solutions

monoRWType :: String -> RWType   

Creates a representation of a monomorphic type.

Further infos:

• solution complete, i.e., able to compute all solutions

readData :: ReadWrite a => String -> Maybe a   

Data reading and writing Parses a compact data representation and returns the value. If the parse failes (e.g. due to a type mismatch), Nothing is returned.

This operation might fail if the input is not well-formed.

readDataFile :: ReadWrite a => String -> IO (Maybe a)   

Reads a file containing a compact data representation, parses the contents and returns the value.

If the parse failes (e.g. due to a type mismatch or a bad input format), Nothing is returned.

writeDataFile :: ReadWrite a => String -> a -> IO ()   

Writes some data to a file containing a compact data representation.

writeDataFileP :: ReadWrite a => RWParameters -> String -> a -> IO ()   

Writes some data to a file containing a compact data representation and use specific RWParameters .

showData :: ReadWrite a => a -> String   

Converts a given data value into a compact string representation.

This is rarely what you want. Use writeDataFile if you want to write the data into a file.

showDataP :: ReadWrite a => RWParameters -> a -> String   

Converts data to a compact string representation using specific RWParameters .

This is rarely what you want. Use writeDataFileP if you want to write the data into a file.

Exported Classes

The class ReadWrite contains the interface to be implemented by compact readers and writers of data.

Methods: