Safe Haskell	Safe
Language	Haskell2010

Futhark.Util.IntegralExp

Description

It is occasionally useful to define generic functions that can not only compute their result as an integer, but also as a symbolic expression in the form of an AST.

There are some Haskell hacks for this - it is for example not hard to define an instance of Num that constructs an AST. However, this falls down for some other interesting classes, like Integral, which requires both the problematic method fromInteger, and also that the type is an instance of Enum.

We can always just define hobbled instances that call error for those methods that are impractical, but this is ugly.

Hence, this module defines similes to standard Haskell numeric typeclasses that have been modified to make generic functions slightly easier to write.

Synopsis

class Num e => IntegralExp e where
- quot :: e -> e -> e
- rem :: e -> e -> e
- div :: e -> e -> e
- mod :: e -> e -> e
- sgn :: e -> Maybe Int
- fromInt8 :: Int8 -> e
- fromInt16 :: Int16 -> e
- fromInt32 :: Int32 -> e
- fromInt64 :: Int64 -> e
newtype Wrapped a = Wrapped {
- wrappedValue :: a
}
quotRoundingUp :: IntegralExp num => num -> num -> num

Documentation

class Num e => IntegralExp e where Source #

Methods

quot :: e -> e -> e Source #

rem :: e -> e -> e Source #

div :: e -> e -> e Source #

mod :: e -> e -> e Source #

sgn :: e -> Maybe Int Source #

fromInt8 :: Int8 -> e Source #

fromInt16 :: Int16 -> e Source #

fromInt32 :: Int32 -> e Source #

fromInt64 :: Int64 -> e Source #

Instances

Integral a => IntegralExp (Wrapped a) Source #
Instance details Defined in Futhark.Util.IntegralExp Methods quot :: Wrapped a -> Wrapped a -> Wrapped a Source # rem :: Wrapped a -> Wrapped a -> Wrapped a Source # div :: Wrapped a -> Wrapped a -> Wrapped a Source # mod :: Wrapped a -> Wrapped a -> Wrapped a Source # sgn :: Wrapped a -> Maybe Int Source # fromInt8 :: Int8 -> Wrapped a Source # fromInt16 :: Int16 -> Wrapped a Source # fromInt32 :: Int32 -> Wrapped a Source # fromInt64 :: Int64 -> Wrapped a Source #
Pretty v => IntegralExp (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods quot :: PrimExp v -> PrimExp v -> PrimExp v Source # rem :: PrimExp v -> PrimExp v -> PrimExp v Source # div :: PrimExp v -> PrimExp v -> PrimExp v Source # mod :: PrimExp v -> PrimExp v -> PrimExp v Source # sgn :: PrimExp v -> Maybe Int Source # fromInt8 :: Int8 -> PrimExp v Source # fromInt16 :: Int16 -> PrimExp v Source # fromInt32 :: Int32 -> PrimExp v Source # fromInt64 :: Int64 -> PrimExp v Source #
IntegralExp (Count u) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods quot :: Count u -> Count u -> Count u Source # rem :: Count u -> Count u -> Count u Source # div :: Count u -> Count u -> Count u Source # mod :: Count u -> Count u -> Count u Source # sgn :: Count u -> Maybe Int Source # fromInt8 :: Int8 -> Count u Source # fromInt16 :: Int16 -> Count u Source # fromInt32 :: Int32 -> Count u Source # fromInt64 :: Int64 -> Count u Source #

newtype Wrapped a Source #

This wrapper allows you to use a type that is an instance of the true class whenever the simile class is required.

Constructors

Wrapped
Fields wrappedValue :: a

Instances

Eq a => Eq (Wrapped a) Source #
Instance details Defined in Futhark.Util.IntegralExp Methods (==) :: Wrapped a -> Wrapped a -> Bool # (/=) :: Wrapped a -> Wrapped a -> Bool #
Num a => Num (Wrapped a) Source #
Instance details Defined in Futhark.Util.IntegralExp Methods (+) :: Wrapped a -> Wrapped a -> Wrapped a # (-) :: Wrapped a -> Wrapped a -> Wrapped a # (*) :: Wrapped a -> Wrapped a -> Wrapped a # negate :: Wrapped a -> Wrapped a # abs :: Wrapped a -> Wrapped a # signum :: Wrapped a -> Wrapped a # fromInteger :: Integer -> Wrapped a #
Ord a => Ord (Wrapped a) Source #
Instance details Defined in Futhark.Util.IntegralExp Methods compare :: Wrapped a -> Wrapped a -> Ordering # (<) :: Wrapped a -> Wrapped a -> Bool # (<=) :: Wrapped a -> Wrapped a -> Bool # (>) :: Wrapped a -> Wrapped a -> Bool # (>=) :: Wrapped a -> Wrapped a -> Bool # max :: Wrapped a -> Wrapped a -> Wrapped a # min :: Wrapped a -> Wrapped a -> Wrapped a #
Show a => Show (Wrapped a) Source #
Instance details Defined in Futhark.Util.IntegralExp Methods showsPrec :: Int -> Wrapped a -> ShowS # show :: Wrapped a -> String # showList :: [Wrapped a] -> ShowS #
Integral a => IntegralExp (Wrapped a) Source #
Instance details Defined in Futhark.Util.IntegralExp Methods quot :: Wrapped a -> Wrapped a -> Wrapped a Source # rem :: Wrapped a -> Wrapped a -> Wrapped a Source # div :: Wrapped a -> Wrapped a -> Wrapped a Source # mod :: Wrapped a -> Wrapped a -> Wrapped a Source # sgn :: Wrapped a -> Maybe Int Source # fromInt8 :: Int8 -> Wrapped a Source # fromInt16 :: Int16 -> Wrapped a Source # fromInt32 :: Int32 -> Wrapped a Source # fromInt64 :: Int64 -> Wrapped a Source #

quotRoundingUp :: IntegralExp num => num -> num -> num Source #

Like IntegralExp, but rounds up.