Hat.Numeric

Documentation

gfromRat :: RealFloat a => RefSrcPos -> RefExp -> R (Fun Rational a)

afromRat :: RefAtom

hfromRat :: RealFloat a => R Rational -> RefExp -> R a

gshowSigned :: Real a => RefSrcPos -> RefExp -> R (Fun (Fun a ShowS) (Fun Int (Fun a ShowS)))

ashowSigned :: RefAtom

hshowSigned :: Real a => R (Fun a ShowS) -> R Int -> R a -> RefExp -> R ShowS

gshowIntAtBase :: Integral a => RefSrcPos -> RefExp -> R (Fun a (Fun (Fun Int Char) (Fun a ShowS)))

ashowIntAtBase :: RefAtom

hshowIntAtBase :: Integral a => R a -> R (Fun Int Char) -> R a -> R ShowS___1 -> RefExp -> R ShowS___2

gshowInt :: Integral a => RefSrcPos -> RefExp -> R (Fun a ShowS)

gshowOct :: Integral a => RefSrcPos -> RefExp -> R (Fun a ShowS)

gshowHex :: Integral a => RefSrcPos -> RefExp -> R (Fun a ShowS)

greadSigned :: Real a => RefSrcPos -> RefExp -> R (Fun (ReadS a) (ReadS a))

areadSigned :: RefAtom

hreadSigned :: Real a => R (ReadS a) -> RefExp -> R (ReadS a)

greadInt :: Integral a => RefSrcPos -> RefExp -> R (Fun a (Fun (Fun Char Bool) (Fun (Fun Char Int) (ReadS a))))

areadInt :: RefAtom

hreadInt :: Integral a => R a -> R (Fun Char Bool) -> R (Fun Char Int) -> R (ReadS___1 a) -> RefExp -> R (ReadS___2 a)

greadDec :: Integral a => RefSrcPos -> RefExp -> R (ReadS a)

greadOct :: Integral a => RefSrcPos -> RefExp -> R (ReadS a)

greadHex :: Integral a => RefSrcPos -> RefExp -> R (ReadS a)

gfloatToDigits :: RealFloat a => RefSrcPos -> RefExp -> R (Fun Integer (Fun a (Tuple2 (List Int) Int)))

afloatToDigits :: RefAtom

hfloatToDigits :: RealFloat a => R Integer -> R a -> RefExp -> R (Tuple2 (List Int) Int)

gshowEFloat :: RealFloat a => RefSrcPos -> RefExp -> R (Fun (Maybe Int) (Fun a ShowS))

ashowEFloat :: RefAtom

hshowEFloat :: RealFloat a => R (Maybe Int) -> R a -> RefExp -> R ShowS

gshowFFloat :: RealFloat a => RefSrcPos -> RefExp -> R (Fun (Maybe Int) (Fun a ShowS))

ashowFFloat :: RefAtom

hshowFFloat :: RealFloat a => R (Maybe Int) -> R a -> RefExp -> R ShowS

gshowGFloat :: RealFloat a => RefSrcPos -> RefExp -> R (Fun (Maybe Int) (Fun a ShowS))

ashowGFloat :: RefAtom

hshowGFloat :: RealFloat a => R (Maybe Int) -> R a -> RefExp -> R ShowS

gshowFloat :: RealFloat a => RefSrcPos -> RefExp -> R (Fun a ShowS)

greadFloat :: RealFloat a => RefSrcPos -> RefExp -> R (ReadS a)

areadFloat :: RefAtom

hreadFloat :: RealFloat a => R (ReadS___1 a) -> RefExp -> R (ReadS___2 a)

glexDigits :: RefSrcPos -> RefExp -> R (ReadS String)