Argo.Type.Decimal

Documentation

data Decimal

Constructors

Decimal Integer Integer

Instances

Eq Decimal

Defined in Argo.Type.Decimal

Methods

(==) :: Decimal -> Decimal -> Bool

(/=) :: Decimal -> Decimal -> Bool

Show Decimal

Defined in Argo.Type.Decimal

Methods

showsPrec :: Int -> Decimal -> ShowS

show :: Decimal -> String

showList :: [Decimal] -> ShowS

Generic Decimal

Defined in Argo.Type.Decimal

Associated Types

type Rep Decimal :: Type -> Type

Methods

from :: Decimal -> Rep Decimal x

to :: Rep Decimal x -> Decimal

NFData Decimal

Defined in Argo.Type.Decimal

Methods

rnf :: Decimal -> ()

HasCodec Decimal

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec Decimal

Lift Decimal

Defined in Argo.Type.Decimal

Methods

lift :: Decimal -> Q Exp

liftTyped :: Decimal -> Q (TExp Decimal)

type Rep Decimal

Defined in Argo.Type.Decimal

type Rep Decimal = D1 ('MetaData "Decimal" "Argo.Type.Decimal" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'False) (C1 ('MetaCons "Decimal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

negate :: Decimal -> Decimal

decimal :: Integer -> Integer -> Decimal

normalize :: Decimal -> Decimal

fromInteger :: Integer -> Decimal

toInteger :: Decimal -> Maybe Integer

fromRealFloat :: RealFloat a => a -> Maybe Decimal

toRealFloat :: RealFloat a => Decimal -> a

fromDigits :: [Int] -> Int -> Decimal

toRational :: Decimal -> Rational

fromRational :: Rational -> Maybe Decimal

factor :: (Num a, Integral b) => b -> a -> b -> (a, b)