Flint2-0.1.0.5: Haskell bindings for the flint library for number theory
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Number.Flint.Calcium.Fexpr.Instances

Documentation

class FlintExpression a where Source #

Methods

toFexpr :: a -> IO Fexpr Source #

Instances

Instances details
FlintExpression Arf Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: Arf -> IO Fexpr Source #

FlintExpression FEXR_Builtin Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: FEXR_Builtin -> IO Fexpr Source #

FlintExpression Fmpq Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: Fmpq -> IO Fexpr Source #

FlintExpression Fmpz Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: Fmpz -> IO Fexpr Source #

FlintExpression CDouble Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: CDouble -> IO Fexpr Source #

FlintExpression CLong Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: CLong -> IO Fexpr Source #

FlintExpression CULong Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: CULong -> IO Fexpr Source #

FlintExpression String Source # 
Instance details

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: String -> IO Fexpr Source #

lift1 :: (Ptr CFexpr -> Ptr CFexpr -> IO a) -> Fexpr -> Fexpr Source #

lift2 :: (Ptr CFexpr -> Ptr CFexpr -> Ptr CFexpr -> IO a) -> Fexpr -> Fexpr -> Fexpr Source #

liftTo :: (Ptr CFexpr -> t -> IO a) -> t -> IO Fexpr Source #

Orphan instances

Num Fexpr Source # 
Instance details

Methods

(+) :: Fexpr -> Fexpr -> Fexpr #

(-) :: Fexpr -> Fexpr -> Fexpr #

(*) :: Fexpr -> Fexpr -> Fexpr #

negate :: Fexpr -> Fexpr #

abs :: Fexpr -> Fexpr #

signum :: Fexpr -> Fexpr #

fromInteger :: Integer -> Fexpr #

Show Fexpr Source # 
Instance details

Methods

showsPrec :: Int -> Fexpr -> ShowS #

show :: Fexpr -> String #

showList :: [Fexpr] -> ShowS #