dynamic-object-0.2: Object-oriented programming with duck typing and singleton classes.

Safe HaskellNone




class Typeable (UnderlyingReal a) => UseReal a Source

The declaration of instance Objective obj , instance UseReal obj means that the obj is an Object and is ready to tell the Members which type to use to represent the real numbers.

Associated Types

type UnderlyingReal a :: *Source

class Typeable (UnderlyingInteger a) => UseInteger a Source

Underlying integer types.

Associated Types

type UnderlyingInteger a :: *Source

class Typeable (UnderlyingString a) => UseString a Source

Underlying string types.

Associated Types

type UnderlyingString a :: *Source