Data.Object.Dynamic.Underlying

Documentation

class Typeable (UnderlyingReal a) => UseReal a

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 :: *

Instances

UseReal Precise

UseReal DIT

(Typeable (UnderlyingReal (Object u)), UseReal u) => UseReal (Object u)

class Typeable (UnderlyingInteger a) => UseInteger a

Underlying integer types.

Associated Types

type UnderlyingInteger a :: *

Instances

UseInteger Precise

UseInteger DIT

(Typeable (UnderlyingInteger (Object u)), UseInteger u) => UseInteger (Object u)

class Typeable (UnderlyingString a) => UseString a

Underlying string types.

Associated Types

type UnderlyingString a :: *

Instances

UseString Precise

UseString DIT

(Typeable (UnderlyingString (Object u)), UseString u) => UseString (Object u)