tfwh-0.3.7.0
TFwH.Chap03
Contents
Description
Synopsis
floorS :: Float -> Integer Source #
尻高版 floor
floor0n :: Float -> Integer Source #
最初の素朴な版 floor (負値)
floor0p :: Float -> Integer Source #
最初の素朴な版 floor (非負値)
floor1 :: Float -> Integer Source #
二分探索版 floor
shrink :: Float -> Interval -> Interval Source #
区間の縮小
choose :: Interval -> Integer Source #
新しい境界の選択
bound :: Float -> Interval Source #
最初の区間
lower :: Float -> Integer Source #
最初の下側境界
upper :: Float -> Integer Source #
最初の上側境界
data Nat Source #
自然数
Constructors
Instances
Methods
(==) :: Nat -> Nat -> Bool #
(/=) :: Nat -> Nat -> Bool #
Num クラスのインスタンス
(+) :: Nat -> Nat -> Nat #
(-) :: Nat -> Nat -> Nat #
(*) :: Nat -> Nat -> Nat #
negate :: Nat -> Nat #
abs :: Nat -> Nat #
signum :: Nat -> Nat #
fromInteger :: Integer -> Nat #
compare :: Nat -> Nat -> Ordering #
(<) :: Nat -> Nat -> Bool #
(<=) :: Nat -> Nat -> Bool #
(>) :: Nat -> Nat -> Bool #
(>=) :: Nat -> Nat -> Bool #
max :: Nat -> Nat -> Nat #
min :: Nat -> Nat -> Nat #
showsPrec :: Int -> Nat -> ShowS #
show :: Nat -> String #
showList :: [Nat] -> ShowS #