Object-1.0: Object oriented programming for haskell using multiparameter typeclasses.

Safe HaskellNone
LanguageHaskell98

Object.Templates

Synopsis

Documentation

makeName :: String -> Q [Dec] Source

takes lower case foo and makes 'type Foo = Method (T_f,T_o,T_o)' 'foo = Method (T_f,T_o,T_o) :: Foo'

makeObject :: Name -> Q [Dec] Source

takes a Type with one record constructor 'setGetFunctional ''Foo' and produces set and get instances for all fields

makeObjectFlexible :: Name -> Q [Dec] Source