Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Fixed.Generic

Documentation

newtype F (a :: k) n Source #

Constructors

MkF n

Instances

Instances details

(Typeable k, Typeable a, Data n) => Data (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> F a n -> c (F a n) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (F a n) # toConstr :: F a n -> Constr # dataTypeOf :: F a n -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (F a n)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (F a n)) # gmapT :: (forall b. Data b => b -> b) -> F a n -> F a n # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> F a n -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> F a n -> r # gmapQ :: (forall d. Data d => d -> u) -> F a n -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> F a n -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> F a n -> m (F a n) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> F a n -> m (F a n) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> F a n -> m (F a n) #
Bounded n => Bounded (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods minBound :: F a n # maxBound :: F a n #
Enum n => Enum (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods succ :: F a n -> F a n # pred :: F a n -> F a n # toEnum :: Int -> F a n # fromEnum :: F a n -> Int # enumFrom :: F a n -> [F a n] # enumFromThen :: F a n -> F a n -> [F a n] # enumFromTo :: F a n -> F a n -> [F a n] # enumFromThenTo :: F a n -> F a n -> F a n -> [F a n] #
(HasResolution a, Integral n) => Num (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods (+) :: F a n -> F a n -> F a n # (-) :: F a n -> F a n -> F a n # (*) :: F a n -> F a n -> F a n # negate :: F a n -> F a n # abs :: F a n -> F a n # signum :: F a n -> F a n # fromInteger :: Integer -> F a n #
(HasResolution a, Integral n) => Read (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods readsPrec :: Int -> ReadS (F a n) # readList :: ReadS [F a n] # readPrec :: ReadPrec (F a n) # readListPrec :: ReadPrec [F a n] #
(HasResolution a, Integral n) => Fractional (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods (/) :: F a n -> F a n -> F a n # recip :: F a n -> F a n # fromRational :: Rational -> F a n #
(HasResolution a, Integral n) => Real (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods toRational :: F a n -> Rational #
(HasResolution a, Integral n) => RealFrac (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods properFraction :: Integral b => F a n -> (b, F a n) # truncate :: Integral b => F a n -> b # round :: Integral b => F a n -> b # ceiling :: Integral b => F a n -> b # floor :: Integral b => F a n -> b #
(HasResolution a, Show n, Integral n) => Show (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods showsPrec :: Int -> F a n -> ShowS # show :: F a n -> String # showList :: [F a n] -> ShowS #
Eq n => Eq (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods (==) :: F a n -> F a n -> Bool # (/=) :: F a n -> F a n -> Bool #
Ord n => Ord (F a n) Source #
Instance details Defined in Data.Fixed.Generic Methods compare :: F a n -> F a n -> Ordering # (<) :: F a n -> F a n -> Bool # (<=) :: F a n -> F a n -> Bool # (>) :: F a n -> F a n -> Bool # (>=) :: F a n -> F a n -> Bool # max :: F a n -> F a n -> F a n # min :: F a n -> F a n -> F a n #

showF :: forall {k} (a :: k) n. (HasResolution a, Show n, Integral n) => Bool -> F a n -> String Source #

changeUnit :: forall {k1} {k2} (a :: k1) n (a' :: k2). F a n -> F a' n Source #