Safe Haskell | None |
---|
- class Typeable (UnderlyingReal a) => UseReal a where
- type UnderlyingReal a :: *
- class Typeable (UnderlyingInteger a) => UseInteger a where
- type UnderlyingInteger a :: *
- class Typeable (UnderlyingString a) => UseString a where
- type UnderlyingString a :: *
Documentation
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 Member
s which type to use
to represent the real numbers.
type UnderlyingReal a :: *Source
class Typeable (UnderlyingInteger a) => UseInteger a Source
Underlying integer types.
type UnderlyingInteger a :: *Source
UseInteger Precise | |
UseInteger DIT | |
(Typeable (UnderlyingInteger (Object u)), UseInteger u) => UseInteger (Object u) |