Safe Haskell	Safe
Language	Haskell2010

Futhark.IR.Primitive

Contents

Types
Values
Operations
Comparison Operations
Type Of
Primitive functions
Utility
Prettyprinting

Description

Definitions of primitive types, the values that inhabit these types, and operations on these values. A primitive value can also be called a scalar.

Essentially, this module describes the subset of the (internal) Futhark language that operates on primitive types.

Synopsis

data IntType
- = Int8
- | Int16
- | Int32
- | Int64
allIntTypes :: [IntType]
data FloatType
- = Float32
- | Float64
allFloatTypes :: [FloatType]
data PrimType
- = IntType IntType
- | FloatType FloatType
- | Bool
- | Cert
allPrimTypes :: [PrimType]
data Int8
data Int16
data Int32
data Int64
data IntValue
- = Int8Value !Int8
- | Int16Value !Int16
- | Int32Value !Int32
- | Int64Value !Int64
intValue :: Integral int => IntType -> int -> IntValue
intValueType :: IntValue -> IntType
valueIntegral :: Integral int => IntValue -> int
data FloatValue
- = Float32Value !Float
- | Float64Value !Double
floatValue :: Real num => FloatType -> num -> FloatValue
floatValueType :: FloatValue -> FloatType
data PrimValue
- = IntValue !IntValue
- | FloatValue !FloatValue
- | BoolValue !Bool
- | Checked
primValueType :: PrimValue -> PrimType
blankPrimValue :: PrimType -> PrimValue
data Overflow
- = OverflowWrap
- | OverflowUndef
data Safety
- = Unsafe
- | Safe
data UnOp
- = Not
- | Complement IntType
- | Abs IntType
- | FAbs FloatType
- | SSignum IntType
- | USignum IntType
allUnOps :: [UnOp]
data BinOp
- = Add IntType Overflow
- | FAdd FloatType
- | Sub IntType Overflow
- | FSub FloatType
- | Mul IntType Overflow
- | FMul FloatType
- | UDiv IntType Safety
- | UDivUp IntType Safety
- | SDiv IntType Safety
- | SDivUp IntType Safety
- | FDiv FloatType
- | FMod FloatType
- | UMod IntType Safety
- | SMod IntType Safety
- | SQuot IntType Safety
- | SRem IntType Safety
- | SMin IntType
- | UMin IntType
- | FMin FloatType
- | SMax IntType
- | UMax IntType
- | FMax FloatType
- | Shl IntType
- | LShr IntType
- | AShr IntType
- | And IntType
- | Or IntType
- | Xor IntType
- | Pow IntType
- | FPow FloatType
- | LogAnd
- | LogOr
allBinOps :: [BinOp]
data ConvOp
- = ZExt IntType IntType
- | SExt IntType IntType
- | FPConv FloatType FloatType
- | FPToUI FloatType IntType
- | FPToSI FloatType IntType
- | UIToFP IntType FloatType
- | SIToFP IntType FloatType
- | IToB IntType
- | BToI IntType
allConvOps :: [ConvOp]
data CmpOp
- = CmpEq PrimType
- | CmpUlt IntType
- | CmpUle IntType
- | CmpSlt IntType
- | CmpSle IntType
- | FCmpLt FloatType
- | FCmpLe FloatType
- | CmpLlt
- | CmpLle
allCmpOps :: [CmpOp]
doUnOp :: UnOp -> PrimValue -> Maybe PrimValue
doComplement :: IntValue -> IntValue
doAbs :: IntValue -> IntValue
doFAbs :: FloatValue -> FloatValue
doSSignum :: IntValue -> IntValue
doUSignum :: IntValue -> IntValue
doBinOp :: BinOp -> PrimValue -> PrimValue -> Maybe PrimValue
doAdd :: IntValue -> IntValue -> IntValue
doMul :: IntValue -> IntValue -> IntValue
doSDiv :: IntValue -> IntValue -> Maybe IntValue
doSMod :: IntValue -> IntValue -> Maybe IntValue
doPow :: IntValue -> IntValue -> Maybe IntValue
doConvOp :: ConvOp -> PrimValue -> Maybe PrimValue
doZExt :: IntValue -> IntType -> IntValue
doSExt :: IntValue -> IntType -> IntValue
doFPConv :: FloatValue -> FloatType -> FloatValue
doFPToUI :: FloatValue -> IntType -> IntValue
doFPToSI :: FloatValue -> IntType -> IntValue
doUIToFP :: IntValue -> FloatType -> FloatValue
doSIToFP :: IntValue -> FloatType -> FloatValue
intToInt64 :: IntValue -> Int64
intToWord64 :: IntValue -> Word64
doCmpOp :: CmpOp -> PrimValue -> PrimValue -> Maybe Bool
doCmpEq :: PrimValue -> PrimValue -> Bool
doCmpUlt :: IntValue -> IntValue -> Bool
doCmpUle :: IntValue -> IntValue -> Bool
doCmpSlt :: IntValue -> IntValue -> Bool
doCmpSle :: IntValue -> IntValue -> Bool
doFCmpLt :: FloatValue -> FloatValue -> Bool
doFCmpLe :: FloatValue -> FloatValue -> Bool
binOpType :: BinOp -> PrimType
unOpType :: UnOp -> PrimType
cmpOpType :: CmpOp -> PrimType
convOpType :: ConvOp -> (PrimType, PrimType)
primFuns :: Map String ([PrimType], PrimType, [PrimValue] -> Maybe PrimValue)
zeroIsh :: PrimValue -> Bool
zeroIshInt :: IntValue -> Bool
oneIsh :: PrimValue -> Bool
oneIshInt :: IntValue -> Bool
negativeIsh :: PrimValue -> Bool
primBitSize :: PrimType -> Int
primByteSize :: Num a => PrimType -> a
intByteSize :: Num a => IntType -> a
floatByteSize :: Num a => FloatType -> a
commutativeBinOp :: BinOp -> Bool
convOpFun :: ConvOp -> String
prettySigned :: Bool -> PrimType -> String

Types

data IntType Source #

An integer type, ordered by size. Note that signedness is not a property of the type, but a property of the operations performed on values of these types.

Constructors

Int8
Int16
Int32
Int64

Instances

Instances details

Bounded IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods minBound :: IntType # maxBound :: IntType #
Enum IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods succ :: IntType -> IntType # pred :: IntType -> IntType # toEnum :: Int -> IntType # fromEnum :: IntType -> Int # enumFrom :: IntType -> [IntType] # enumFromThen :: IntType -> IntType -> [IntType] # enumFromTo :: IntType -> IntType -> [IntType] # enumFromThenTo :: IntType -> IntType -> IntType -> [IntType] #
Eq IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: IntType -> IntType -> Bool # (/=) :: IntType -> IntType -> Bool #
Ord IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: IntType -> IntType -> Ordering # (<) :: IntType -> IntType -> Bool # (<=) :: IntType -> IntType -> Bool # (>) :: IntType -> IntType -> Bool # (>=) :: IntType -> IntType -> Bool # max :: IntType -> IntType -> IntType # min :: IntType -> IntType -> IntType #
Show IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> IntType -> ShowS # show :: IntType -> String # showList :: [IntType] -> ShowS #
Generic IntType Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep IntType :: Type -> Type # Methods from :: IntType -> Rep IntType x # to :: Rep IntType x -> IntType #
Pretty IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: IntType -> Doc # pprPrec :: Int -> IntType -> Doc # pprList :: [IntType] -> Doc #
SexpIso IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar IntType #
type Rep IntType Source #
Instance details Defined in Futhark.IR.Primitive type Rep IntType = D1 ('MetaData "IntType" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) ((C1 ('MetaCons "Int8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Int16" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Int32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Int64" 'PrefixI 'False) (U1 :: Type -> Type)))

allIntTypes :: [IntType] Source #

A list of all integer types.

data FloatType Source #

A floating point type.

Constructors

Float32
Float64

Instances

Instances details

Bounded FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods minBound :: FloatType # maxBound :: FloatType #
Enum FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods succ :: FloatType -> FloatType # pred :: FloatType -> FloatType # toEnum :: Int -> FloatType # fromEnum :: FloatType -> Int # enumFrom :: FloatType -> [FloatType] # enumFromThen :: FloatType -> FloatType -> [FloatType] # enumFromTo :: FloatType -> FloatType -> [FloatType] # enumFromThenTo :: FloatType -> FloatType -> FloatType -> [FloatType] #
Eq FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: FloatType -> FloatType -> Bool # (/=) :: FloatType -> FloatType -> Bool #
Ord FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: FloatType -> FloatType -> Ordering # (<) :: FloatType -> FloatType -> Bool # (<=) :: FloatType -> FloatType -> Bool # (>) :: FloatType -> FloatType -> Bool # (>=) :: FloatType -> FloatType -> Bool # max :: FloatType -> FloatType -> FloatType # min :: FloatType -> FloatType -> FloatType #
Show FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> FloatType -> ShowS # show :: FloatType -> String # showList :: [FloatType] -> ShowS #
Generic FloatType Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep FloatType :: Type -> Type # Methods from :: FloatType -> Rep FloatType x # to :: Rep FloatType x -> FloatType #
Pretty FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: FloatType -> Doc # pprPrec :: Int -> FloatType -> Doc # pprList :: [FloatType] -> Doc #
SexpIso FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar FloatType #
type Rep FloatType Source #
Instance details Defined in Futhark.IR.Primitive type Rep FloatType = D1 ('MetaData "FloatType" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (C1 ('MetaCons "Float32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Float64" 'PrefixI 'False) (U1 :: Type -> Type))

allFloatTypes :: [FloatType] Source #

A list of all floating-point types.

data PrimType Source #

Low-level primitive types.

Constructors

IntType IntType
FloatType FloatType
Bool
Cert

Instances

Instances details

Bounded PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods minBound :: PrimType # maxBound :: PrimType #
Enum PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods succ :: PrimType -> PrimType # pred :: PrimType -> PrimType # toEnum :: Int -> PrimType # fromEnum :: PrimType -> Int # enumFrom :: PrimType -> [PrimType] # enumFromThen :: PrimType -> PrimType -> [PrimType] # enumFromTo :: PrimType -> PrimType -> [PrimType] # enumFromThenTo :: PrimType -> PrimType -> PrimType -> [PrimType] #
Eq PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: PrimType -> PrimType -> Bool # (/=) :: PrimType -> PrimType -> Bool #
Ord PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: PrimType -> PrimType -> Ordering # (<) :: PrimType -> PrimType -> Bool # (<=) :: PrimType -> PrimType -> Bool # (>) :: PrimType -> PrimType -> Bool # (>=) :: PrimType -> PrimType -> Bool # max :: PrimType -> PrimType -> PrimType # min :: PrimType -> PrimType -> PrimType #
Show PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> PrimType -> ShowS # show :: PrimType -> String # showList :: [PrimType] -> ShowS #
Generic PrimType Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep PrimType :: Type -> Type # Methods from :: PrimType -> Rep PrimType x # to :: Rep PrimType x -> PrimType #
Pretty PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: PrimType -> Doc # pprPrec :: Int -> PrimType -> Doc # pprList :: [PrimType] -> Doc #
SexpIso PrimType Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar PrimType #
type Rep PrimType Source #
Instance details Defined in Futhark.IR.Primitive type Rep PrimType = D1 ('MetaData "PrimType" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) ((C1 ('MetaCons "IntType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "FloatType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cert" 'PrefixI 'False) (U1 :: Type -> Type)))

allPrimTypes :: [PrimType] Source #

A list of all primitive types.

data Int8 #

8-bit signed integer type

Instances

Instances details

Bounded Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int8 # maxBound :: Int8 #
Enum Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods succ :: Int8 -> Int8 # pred :: Int8 -> Int8 # toEnum :: Int -> Int8 # fromEnum :: Int8 -> Int # enumFrom :: Int8 -> [Int8] # enumFromThen :: Int8 -> Int8 -> [Int8] # enumFromTo :: Int8 -> Int8 -> [Int8] # enumFromThenTo :: Int8 -> Int8 -> Int8 -> [Int8] #
Eq Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int8 -> Int8 -> Bool # (/=) :: Int8 -> Int8 -> Bool #
Integral Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods quot :: Int8 -> Int8 -> Int8 # rem :: Int8 -> Int8 -> Int8 # div :: Int8 -> Int8 -> Int8 # mod :: Int8 -> Int8 -> Int8 # quotRem :: Int8 -> Int8 -> (Int8, Int8) # divMod :: Int8 -> Int8 -> (Int8, Int8) # toInteger :: Int8 -> Integer #
Num Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods (+) :: Int8 -> Int8 -> Int8 # (-) :: Int8 -> Int8 -> Int8 # (*) :: Int8 -> Int8 -> Int8 # negate :: Int8 -> Int8 # abs :: Int8 -> Int8 # signum :: Int8 -> Int8 # fromInteger :: Integer -> Int8 #
Ord Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods compare :: Int8 -> Int8 -> Ordering # (<) :: Int8 -> Int8 -> Bool # (<=) :: Int8 -> Int8 -> Bool # (>) :: Int8 -> Int8 -> Bool # (>=) :: Int8 -> Int8 -> Bool # max :: Int8 -> Int8 -> Int8 # min :: Int8 -> Int8 -> Int8 #
Read Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int8 # readList :: ReadS [Int8] # readPrec :: ReadPrec Int8 # readListPrec :: ReadPrec [Int8] #
Real Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods toRational :: Int8 -> Rational #
Show Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods showsPrec :: Int -> Int8 -> ShowS # show :: Int8 -> String # showList :: [Int8] -> ShowS #
Ix Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods range :: (Int8, Int8) -> [Int8] # index :: (Int8, Int8) -> Int8 -> Int # unsafeIndex :: (Int8, Int8) -> Int8 -> Int # inRange :: (Int8, Int8) -> Int8 -> Bool # rangeSize :: (Int8, Int8) -> Int # unsafeRangeSize :: (Int8, Int8) -> Int #
Hashable Int8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int8 -> Int # hash :: Int8 -> Int #
ToJSON Int8
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Int8 -> Value # toEncoding :: Int8 -> Encoding # toJSONList :: [Int8] -> Value # toEncodingList :: [Int8] -> Encoding #
ToJSONKey Int8
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Int8 # toJSONKeyList :: ToJSONKeyFunction [Int8] #
FromJSON Int8
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int8 # parseJSONList :: Value -> Parser [Int8] #
FromJSONKey Int8
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Int8 # fromJSONKeyList :: FromJSONKeyFunction [Int8] #
PrintfArg Int8	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int8 -> FieldFormatter # parseFormat :: Int8 -> ModifierParser #
Storable Int8	Since: base-2.1
Instance details Defined in Foreign.Storable Methods sizeOf :: Int8 -> Int # alignment :: Int8 -> Int # peekElemOff :: Ptr Int8 -> Int -> IO Int8 # pokeElemOff :: Ptr Int8 -> Int -> Int8 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int8 # pokeByteOff :: Ptr b -> Int -> Int8 -> IO () # peek :: Ptr Int8 -> IO Int8 # poke :: Ptr Int8 -> Int8 -> IO () #
Bits Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods (.&.) :: Int8 -> Int8 -> Int8 # (.\|.) :: Int8 -> Int8 -> Int8 # xor :: Int8 -> Int8 -> Int8 # complement :: Int8 -> Int8 # shift :: Int8 -> Int -> Int8 # rotate :: Int8 -> Int -> Int8 # zeroBits :: Int8 # bit :: Int -> Int8 # setBit :: Int8 -> Int -> Int8 # clearBit :: Int8 -> Int -> Int8 # complementBit :: Int8 -> Int -> Int8 # testBit :: Int8 -> Int -> Bool # bitSizeMaybe :: Int8 -> Maybe Int # bitSize :: Int8 -> Int # isSigned :: Int8 -> Bool # shiftL :: Int8 -> Int -> Int8 # unsafeShiftL :: Int8 -> Int -> Int8 # shiftR :: Int8 -> Int -> Int8 # unsafeShiftR :: Int8 -> Int -> Int8 # rotateL :: Int8 -> Int -> Int8 # rotateR :: Int8 -> Int -> Int8 # popCount :: Int8 -> Int #
FiniteBits Int8	Since: base-4.6.0.0
Instance details Defined in GHC.Int Methods finiteBitSize :: Int8 -> Int # countLeadingZeros :: Int8 -> Int # countTrailingZeros :: Int8 -> Int #
Binary Int8
Instance details Defined in Data.Binary.Class Methods put :: Int8 -> Put # get :: Get Int8 # putList :: [Int8] -> Put #
NFData Int8
Instance details Defined in Control.DeepSeq Methods rnf :: Int8 -> () #
ToConst Int8
Instance details Defined in Language.C.Quote.Base Methods toConst :: Int8 -> SrcLoc -> Const #
ToExp Int8
Instance details Defined in Language.C.Quote.Base Methods toExp :: Int8 -> SrcLoc -> Exp #
Pretty Int8
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: Int8 -> Doc # pprPrec :: Int -> Int8 -> Doc # pprList :: [Int8] -> Doc #
Variate Int8
Instance details Defined in System.Random.PCG.Class Methods uniform :: Generator g m => g -> m Int8 # uniformR :: Generator g m => (Int8, Int8) -> g -> m Int8 # uniformB :: Generator g m => Int8 -> g -> m Int8 #
Pretty Int8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int8 -> Doc ann # prettyList :: [Int8] -> Doc ann #
Prim Int8
Instance details Defined in Data.Primitive.Types Methods sizeOf# :: Int8 -> Int# # alignment# :: Int8 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Int8 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int8 #) # writeByteArray# :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int8 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Int8 # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int8 #) # writeOffAddr# :: Addr# -> Int# -> Int8 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Int8 -> State# s -> State# s #
Uniform Int8
Instance details Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int8 #
UniformRange Int8
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Int8, Int8) -> g -> m Int8 #
Unbox Int8
Instance details Defined in Data.Vector.Unboxed.Base
IsValue Int8 Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: Int8 -> PrimValue Source #
IntExp Int8 Source #
Instance details Defined in Futhark.Analysis.PrimExp
NumExp Int8 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int8 v Source #
IsPrimValue Int8 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int8 -> PrimValue Source #
Lift Int8
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int8 -> Q Exp # liftTyped :: Int8 -> Q (TExp Int8) #
IArray UArray Int8
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int8 -> (i, i) # numElements :: Ix i => UArray i Int8 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int8)] -> UArray i Int8 unsafeAt :: Ix i => UArray i Int8 -> Int -> Int8 unsafeReplace :: Ix i => UArray i Int8 -> [(Int, Int8)] -> UArray i Int8 unsafeAccum :: Ix i => (Int8 -> e' -> Int8) -> UArray i Int8 -> [(Int, e')] -> UArray i Int8 unsafeAccumArray :: Ix i => (Int8 -> e' -> Int8) -> Int8 -> (i, i) -> [(Int, e')] -> UArray i Int8
Vector Vector Int8
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Int8 -> m (Vector Int8) # basicUnsafeThaw :: PrimMonad m => Vector Int8 -> m (Mutable Vector (PrimState m) Int8) # basicLength :: Vector Int8 -> Int # basicUnsafeSlice :: Int -> Int -> Vector Int8 -> Vector Int8 # basicUnsafeIndexM :: Monad m => Vector Int8 -> Int -> m Int8 # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Int8 -> Vector Int8 -> m () # elemseq :: Vector Int8 -> Int8 -> b -> b #
MVector MVector Int8
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int8 -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Int8 -> MVector s Int8 # basicOverlaps :: MVector s Int8 -> MVector s Int8 -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Int8) # basicInitialize :: PrimMonad m => MVector (PrimState m) Int8 -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Int8 -> m (MVector (PrimState m) Int8) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Int8 -> Int -> m Int8 # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Int8 -> Int -> Int8 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Int8 -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Int8 -> Int8 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Int8 -> MVector (PrimState m) Int8 -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Int8 -> MVector (PrimState m) Int8 -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Int8 -> Int -> m (MVector (PrimState m) Int8) #
MArray (STUArray s) Int8 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int8 -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Int8 -> ST s Int newArray :: Ix i => (i, i) -> Int8 -> ST s (STUArray s i Int8) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int8) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int8) unsafeRead :: Ix i => STUArray s i Int8 -> Int -> ST s Int8 unsafeWrite :: Ix i => STUArray s i Int8 -> Int -> Int8 -> ST s ()
type Unsigned Int8
Instance details Defined in System.Random.PCG.Class type Unsigned Int8 = Word8
newtype Vector Int8
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Int8 = V_Int8 (Vector Int8)
newtype MVector s Int8
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Int8 = MV_Int8 (MVector s Int8)

data Int16 #

16-bit signed integer type

Instances

Instances details

Bounded Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int16 # maxBound :: Int16 #
Enum Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods succ :: Int16 -> Int16 # pred :: Int16 -> Int16 # toEnum :: Int -> Int16 # fromEnum :: Int16 -> Int # enumFrom :: Int16 -> [Int16] # enumFromThen :: Int16 -> Int16 -> [Int16] # enumFromTo :: Int16 -> Int16 -> [Int16] # enumFromThenTo :: Int16 -> Int16 -> Int16 -> [Int16] #
Eq Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int16 -> Int16 -> Bool # (/=) :: Int16 -> Int16 -> Bool #
Integral Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods quot :: Int16 -> Int16 -> Int16 # rem :: Int16 -> Int16 -> Int16 # div :: Int16 -> Int16 -> Int16 # mod :: Int16 -> Int16 -> Int16 # quotRem :: Int16 -> Int16 -> (Int16, Int16) # divMod :: Int16 -> Int16 -> (Int16, Int16) # toInteger :: Int16 -> Integer #
Num Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods (+) :: Int16 -> Int16 -> Int16 # (-) :: Int16 -> Int16 -> Int16 # (*) :: Int16 -> Int16 -> Int16 # negate :: Int16 -> Int16 # abs :: Int16 -> Int16 # signum :: Int16 -> Int16 # fromInteger :: Integer -> Int16 #
Ord Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods compare :: Int16 -> Int16 -> Ordering # (<) :: Int16 -> Int16 -> Bool # (<=) :: Int16 -> Int16 -> Bool # (>) :: Int16 -> Int16 -> Bool # (>=) :: Int16 -> Int16 -> Bool # max :: Int16 -> Int16 -> Int16 # min :: Int16 -> Int16 -> Int16 #
Read Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int16 # readList :: ReadS [Int16] # readPrec :: ReadPrec Int16 # readListPrec :: ReadPrec [Int16] #
Real Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods toRational :: Int16 -> Rational #
Show Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods showsPrec :: Int -> Int16 -> ShowS # show :: Int16 -> String # showList :: [Int16] -> ShowS #
Ix Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods range :: (Int16, Int16) -> [Int16] # index :: (Int16, Int16) -> Int16 -> Int # unsafeIndex :: (Int16, Int16) -> Int16 -> Int # inRange :: (Int16, Int16) -> Int16 -> Bool # rangeSize :: (Int16, Int16) -> Int # unsafeRangeSize :: (Int16, Int16) -> Int #
Hashable Int16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int16 -> Int # hash :: Int16 -> Int #
ToJSON Int16
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Int16 -> Value # toEncoding :: Int16 -> Encoding # toJSONList :: [Int16] -> Value # toEncodingList :: [Int16] -> Encoding #
ToJSONKey Int16
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Int16 # toJSONKeyList :: ToJSONKeyFunction [Int16] #
FromJSON Int16
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int16 # parseJSONList :: Value -> Parser [Int16] #
FromJSONKey Int16
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Int16 # fromJSONKeyList :: FromJSONKeyFunction [Int16] #
PrintfArg Int16	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int16 -> FieldFormatter # parseFormat :: Int16 -> ModifierParser #
Storable Int16	Since: base-2.1
Instance details Defined in Foreign.Storable Methods sizeOf :: Int16 -> Int # alignment :: Int16 -> Int # peekElemOff :: Ptr Int16 -> Int -> IO Int16 # pokeElemOff :: Ptr Int16 -> Int -> Int16 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int16 # pokeByteOff :: Ptr b -> Int -> Int16 -> IO () # peek :: Ptr Int16 -> IO Int16 # poke :: Ptr Int16 -> Int16 -> IO () #
Bits Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods (.&.) :: Int16 -> Int16 -> Int16 # (.\|.) :: Int16 -> Int16 -> Int16 # xor :: Int16 -> Int16 -> Int16 # complement :: Int16 -> Int16 # shift :: Int16 -> Int -> Int16 # rotate :: Int16 -> Int -> Int16 # zeroBits :: Int16 # bit :: Int -> Int16 # setBit :: Int16 -> Int -> Int16 # clearBit :: Int16 -> Int -> Int16 # complementBit :: Int16 -> Int -> Int16 # testBit :: Int16 -> Int -> Bool # bitSizeMaybe :: Int16 -> Maybe Int # bitSize :: Int16 -> Int # isSigned :: Int16 -> Bool # shiftL :: Int16 -> Int -> Int16 # unsafeShiftL :: Int16 -> Int -> Int16 # shiftR :: Int16 -> Int -> Int16 # unsafeShiftR :: Int16 -> Int -> Int16 # rotateL :: Int16 -> Int -> Int16 # rotateR :: Int16 -> Int -> Int16 # popCount :: Int16 -> Int #
FiniteBits Int16	Since: base-4.6.0.0
Instance details Defined in GHC.Int Methods finiteBitSize :: Int16 -> Int # countLeadingZeros :: Int16 -> Int # countTrailingZeros :: Int16 -> Int #
Binary Int16
Instance details Defined in Data.Binary.Class Methods put :: Int16 -> Put # get :: Get Int16 # putList :: [Int16] -> Put #
NFData Int16
Instance details Defined in Control.DeepSeq Methods rnf :: Int16 -> () #
ToConst Int16
Instance details Defined in Language.C.Quote.Base Methods toConst :: Int16 -> SrcLoc -> Const #
ToExp Int16
Instance details Defined in Language.C.Quote.Base Methods toExp :: Int16 -> SrcLoc -> Exp #
Pretty Int16
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: Int16 -> Doc # pprPrec :: Int -> Int16 -> Doc # pprList :: [Int16] -> Doc #
Variate Int16
Instance details Defined in System.Random.PCG.Class Methods uniform :: Generator g m => g -> m Int16 # uniformR :: Generator g m => (Int16, Int16) -> g -> m Int16 # uniformB :: Generator g m => Int16 -> g -> m Int16 #
Pretty Int16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int16 -> Doc ann # prettyList :: [Int16] -> Doc ann #
Prim Int16
Instance details Defined in Data.Primitive.Types Methods sizeOf# :: Int16 -> Int# # alignment# :: Int16 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Int16 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16 #) # writeByteArray# :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int16 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Int16 # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int16 #) # writeOffAddr# :: Addr# -> Int# -> Int16 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Int16 -> State# s -> State# s #
Uniform Int16
Instance details Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int16 #
UniformRange Int16
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Int16, Int16) -> g -> m Int16 #
Unbox Int16
Instance details Defined in Data.Vector.Unboxed.Base
IsValue Int16 Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: Int16 -> PrimValue Source #
IntExp Int16 Source #
Instance details Defined in Futhark.Analysis.PrimExp
NumExp Int16 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int16 v Source #
IsPrimValue Int16 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int16 -> PrimValue Source #
Lift Int16
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int16 -> Q Exp # liftTyped :: Int16 -> Q (TExp Int16) #
IArray UArray Int16
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int16 -> (i, i) # numElements :: Ix i => UArray i Int16 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int16)] -> UArray i Int16 unsafeAt :: Ix i => UArray i Int16 -> Int -> Int16 unsafeReplace :: Ix i => UArray i Int16 -> [(Int, Int16)] -> UArray i Int16 unsafeAccum :: Ix i => (Int16 -> e' -> Int16) -> UArray i Int16 -> [(Int, e')] -> UArray i Int16 unsafeAccumArray :: Ix i => (Int16 -> e' -> Int16) -> Int16 -> (i, i) -> [(Int, e')] -> UArray i Int16
Vector Vector Int16
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Int16 -> m (Vector Int16) # basicUnsafeThaw :: PrimMonad m => Vector Int16 -> m (Mutable Vector (PrimState m) Int16) # basicLength :: Vector Int16 -> Int # basicUnsafeSlice :: Int -> Int -> Vector Int16 -> Vector Int16 # basicUnsafeIndexM :: Monad m => Vector Int16 -> Int -> m Int16 # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Int16 -> Vector Int16 -> m () # elemseq :: Vector Int16 -> Int16 -> b -> b #
MVector MVector Int16
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int16 -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Int16 -> MVector s Int16 # basicOverlaps :: MVector s Int16 -> MVector s Int16 -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Int16) # basicInitialize :: PrimMonad m => MVector (PrimState m) Int16 -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Int16 -> m (MVector (PrimState m) Int16) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Int16 -> Int -> m Int16 # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Int16 -> Int -> Int16 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Int16 -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Int16 -> Int16 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Int16 -> MVector (PrimState m) Int16 -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Int16 -> MVector (PrimState m) Int16 -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Int16 -> Int -> m (MVector (PrimState m) Int16) #
MArray (STUArray s) Int16 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int16 -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Int16 -> ST s Int newArray :: Ix i => (i, i) -> Int16 -> ST s (STUArray s i Int16) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int16) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int16) unsafeRead :: Ix i => STUArray s i Int16 -> Int -> ST s Int16 unsafeWrite :: Ix i => STUArray s i Int16 -> Int -> Int16 -> ST s ()
type Unsigned Int16
Instance details Defined in System.Random.PCG.Class type Unsigned Int16 = Word16
newtype Vector Int16
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Int16 = V_Int16 (Vector Int16)
newtype MVector s Int16
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Int16 = MV_Int16 (MVector s Int16)

data Int32 #

32-bit signed integer type

Instances

Instances details

Bounded Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int32 # maxBound :: Int32 #
Enum Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods succ :: Int32 -> Int32 # pred :: Int32 -> Int32 # toEnum :: Int -> Int32 # fromEnum :: Int32 -> Int # enumFrom :: Int32 -> [Int32] # enumFromThen :: Int32 -> Int32 -> [Int32] # enumFromTo :: Int32 -> Int32 -> [Int32] # enumFromThenTo :: Int32 -> Int32 -> Int32 -> [Int32] #
Eq Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int32 -> Int32 -> Bool # (/=) :: Int32 -> Int32 -> Bool #
Integral Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods quot :: Int32 -> Int32 -> Int32 # rem :: Int32 -> Int32 -> Int32 # div :: Int32 -> Int32 -> Int32 # mod :: Int32 -> Int32 -> Int32 # quotRem :: Int32 -> Int32 -> (Int32, Int32) # divMod :: Int32 -> Int32 -> (Int32, Int32) # toInteger :: Int32 -> Integer #
Num Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods (+) :: Int32 -> Int32 -> Int32 # (-) :: Int32 -> Int32 -> Int32 # (*) :: Int32 -> Int32 -> Int32 # negate :: Int32 -> Int32 # abs :: Int32 -> Int32 # signum :: Int32 -> Int32 # fromInteger :: Integer -> Int32 #
Ord Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods compare :: Int32 -> Int32 -> Ordering # (<) :: Int32 -> Int32 -> Bool # (<=) :: Int32 -> Int32 -> Bool # (>) :: Int32 -> Int32 -> Bool # (>=) :: Int32 -> Int32 -> Bool # max :: Int32 -> Int32 -> Int32 # min :: Int32 -> Int32 -> Int32 #
Read Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int32 # readList :: ReadS [Int32] # readPrec :: ReadPrec Int32 # readListPrec :: ReadPrec [Int32] #
Real Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods toRational :: Int32 -> Rational #
Show Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods showsPrec :: Int -> Int32 -> ShowS # show :: Int32 -> String # showList :: [Int32] -> ShowS #
Ix Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods range :: (Int32, Int32) -> [Int32] # index :: (Int32, Int32) -> Int32 -> Int # unsafeIndex :: (Int32, Int32) -> Int32 -> Int # inRange :: (Int32, Int32) -> Int32 -> Bool # rangeSize :: (Int32, Int32) -> Int # unsafeRangeSize :: (Int32, Int32) -> Int #
Hashable Int32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int32 -> Int # hash :: Int32 -> Int #
ToJSON Int32
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Int32 -> Value # toEncoding :: Int32 -> Encoding # toJSONList :: [Int32] -> Value # toEncodingList :: [Int32] -> Encoding #
ToJSONKey Int32
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Int32 # toJSONKeyList :: ToJSONKeyFunction [Int32] #
FromJSON Int32
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int32 # parseJSONList :: Value -> Parser [Int32] #
FromJSONKey Int32
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Int32 # fromJSONKeyList :: FromJSONKeyFunction [Int32] #
PrintfArg Int32	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int32 -> FieldFormatter # parseFormat :: Int32 -> ModifierParser #
Storable Int32	Since: base-2.1
Instance details Defined in Foreign.Storable Methods sizeOf :: Int32 -> Int # alignment :: Int32 -> Int # peekElemOff :: Ptr Int32 -> Int -> IO Int32 # pokeElemOff :: Ptr Int32 -> Int -> Int32 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int32 # pokeByteOff :: Ptr b -> Int -> Int32 -> IO () # peek :: Ptr Int32 -> IO Int32 # poke :: Ptr Int32 -> Int32 -> IO () #
Bits Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods (.&.) :: Int32 -> Int32 -> Int32 # (.\|.) :: Int32 -> Int32 -> Int32 # xor :: Int32 -> Int32 -> Int32 # complement :: Int32 -> Int32 # shift :: Int32 -> Int -> Int32 # rotate :: Int32 -> Int -> Int32 # zeroBits :: Int32 # bit :: Int -> Int32 # setBit :: Int32 -> Int -> Int32 # clearBit :: Int32 -> Int -> Int32 # complementBit :: Int32 -> Int -> Int32 # testBit :: Int32 -> Int -> Bool # bitSizeMaybe :: Int32 -> Maybe Int # bitSize :: Int32 -> Int # isSigned :: Int32 -> Bool # shiftL :: Int32 -> Int -> Int32 # unsafeShiftL :: Int32 -> Int -> Int32 # shiftR :: Int32 -> Int -> Int32 # unsafeShiftR :: Int32 -> Int -> Int32 # rotateL :: Int32 -> Int -> Int32 # rotateR :: Int32 -> Int -> Int32 # popCount :: Int32 -> Int #
FiniteBits Int32	Since: base-4.6.0.0
Instance details Defined in GHC.Int Methods finiteBitSize :: Int32 -> Int # countLeadingZeros :: Int32 -> Int # countTrailingZeros :: Int32 -> Int #
Binary Int32
Instance details Defined in Data.Binary.Class Methods put :: Int32 -> Put # get :: Get Int32 # putList :: [Int32] -> Put #
ToValue Int32
Instance details Defined in Text.Blaze Methods toValue :: Int32 -> AttributeValue # preEscapedToValue :: Int32 -> AttributeValue #
ToMarkup Int32
Instance details Defined in Text.Blaze Methods toMarkup :: Int32 -> Markup # preEscapedToMarkup :: Int32 -> Markup #
NFData Int32
Instance details Defined in Control.DeepSeq Methods rnf :: Int32 -> () #
ToConst Int32
Instance details Defined in Language.C.Quote.Base Methods toConst :: Int32 -> SrcLoc -> Const #
ToExp Int32
Instance details Defined in Language.C.Quote.Base Methods toExp :: Int32 -> SrcLoc -> Exp #
Pretty Int32
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: Int32 -> Doc # pprPrec :: Int -> Int32 -> Doc # pprList :: [Int32] -> Doc #
Variate Int32
Instance details Defined in System.Random.PCG.Class Methods uniform :: Generator g m => g -> m Int32 # uniformR :: Generator g m => (Int32, Int32) -> g -> m Int32 # uniformB :: Generator g m => Int32 -> g -> m Int32 #
Pretty Int32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int32 -> Doc ann # prettyList :: [Int32] -> Doc ann #
Prim Int32
Instance details Defined in Data.Primitive.Types Methods sizeOf# :: Int32 -> Int# # alignment# :: Int32 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Int32 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32 #) # writeByteArray# :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int32 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Int32 # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int32 #) # writeOffAddr# :: Addr# -> Int# -> Int32 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Int32 -> State# s -> State# s #
Uniform Int32
Instance details Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int32 #
UniformRange Int32
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Int32, Int32) -> g -> m Int32 #
Unbox Int32
Instance details Defined in Data.Vector.Unboxed.Base
IsValue Int32 Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: Int32 -> PrimValue Source #
IntExp Int32 Source #
Instance details Defined in Futhark.Analysis.PrimExp
NumExp Int32 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int32 v Source #
IsPrimValue Int32 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int32 -> PrimValue Source #
Lift Int32
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int32 -> Q Exp # liftTyped :: Int32 -> Q (TExp Int32) #
IArray UArray Int32
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int32 -> (i, i) # numElements :: Ix i => UArray i Int32 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int32)] -> UArray i Int32 unsafeAt :: Ix i => UArray i Int32 -> Int -> Int32 unsafeReplace :: Ix i => UArray i Int32 -> [(Int, Int32)] -> UArray i Int32 unsafeAccum :: Ix i => (Int32 -> e' -> Int32) -> UArray i Int32 -> [(Int, e')] -> UArray i Int32 unsafeAccumArray :: Ix i => (Int32 -> e' -> Int32) -> Int32 -> (i, i) -> [(Int, e')] -> UArray i Int32
Vector Vector Int32
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Int32 -> m (Vector Int32) # basicUnsafeThaw :: PrimMonad m => Vector Int32 -> m (Mutable Vector (PrimState m) Int32) # basicLength :: Vector Int32 -> Int # basicUnsafeSlice :: Int -> Int -> Vector Int32 -> Vector Int32 # basicUnsafeIndexM :: Monad m => Vector Int32 -> Int -> m Int32 # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Int32 -> Vector Int32 -> m () # elemseq :: Vector Int32 -> Int32 -> b -> b #
MVector MVector Int32
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int32 -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Int32 -> MVector s Int32 # basicOverlaps :: MVector s Int32 -> MVector s Int32 -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Int32) # basicInitialize :: PrimMonad m => MVector (PrimState m) Int32 -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Int32 -> m (MVector (PrimState m) Int32) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Int32 -> Int -> m Int32 # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Int32 -> Int -> Int32 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Int32 -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Int32 -> Int32 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Int32 -> MVector (PrimState m) Int32 -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Int32 -> MVector (PrimState m) Int32 -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Int32 -> Int -> m (MVector (PrimState m) Int32) #
MArray (STUArray s) Int32 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int32 -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Int32 -> ST s Int newArray :: Ix i => (i, i) -> Int32 -> ST s (STUArray s i Int32) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32) unsafeRead :: Ix i => STUArray s i Int32 -> Int -> ST s Int32 unsafeWrite :: Ix i => STUArray s i Int32 -> Int -> Int32 -> ST s ()
type Unsigned Int32
Instance details Defined in System.Random.PCG.Class type Unsigned Int32 = Word32
newtype Vector Int32
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Int32 = V_Int32 (Vector Int32)
newtype MVector s Int32
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Int32 = MV_Int32 (MVector s Int32)

data Int64 #

64-bit signed integer type

Instances

Instances details

Bounded Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int64 # maxBound :: Int64 #
Enum Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods succ :: Int64 -> Int64 # pred :: Int64 -> Int64 # toEnum :: Int -> Int64 # fromEnum :: Int64 -> Int # enumFrom :: Int64 -> [Int64] # enumFromThen :: Int64 -> Int64 -> [Int64] # enumFromTo :: Int64 -> Int64 -> [Int64] # enumFromThenTo :: Int64 -> Int64 -> Int64 -> [Int64] #
Eq Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods (==) :: Int64 -> Int64 -> Bool # (/=) :: Int64 -> Int64 -> Bool #
Integral Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods quot :: Int64 -> Int64 -> Int64 # rem :: Int64 -> Int64 -> Int64 # div :: Int64 -> Int64 -> Int64 # mod :: Int64 -> Int64 -> Int64 # quotRem :: Int64 -> Int64 -> (Int64, Int64) # divMod :: Int64 -> Int64 -> (Int64, Int64) # toInteger :: Int64 -> Integer #
Num Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods (+) :: Int64 -> Int64 -> Int64 # (-) :: Int64 -> Int64 -> Int64 # (*) :: Int64 -> Int64 -> Int64 # negate :: Int64 -> Int64 # abs :: Int64 -> Int64 # signum :: Int64 -> Int64 # fromInteger :: Integer -> Int64 #
Ord Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods compare :: Int64 -> Int64 -> Ordering # (<) :: Int64 -> Int64 -> Bool # (<=) :: Int64 -> Int64 -> Bool # (>) :: Int64 -> Int64 -> Bool # (>=) :: Int64 -> Int64 -> Bool # max :: Int64 -> Int64 -> Int64 # min :: Int64 -> Int64 -> Int64 #
Read Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods readsPrec :: Int -> ReadS Int64 # readList :: ReadS [Int64] # readPrec :: ReadPrec Int64 # readListPrec :: ReadPrec [Int64] #
Real Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods toRational :: Int64 -> Rational #
Show Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods showsPrec :: Int -> Int64 -> ShowS # show :: Int64 -> String # showList :: [Int64] -> ShowS #
Ix Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods range :: (Int64, Int64) -> [Int64] # index :: (Int64, Int64) -> Int64 -> Int # unsafeIndex :: (Int64, Int64) -> Int64 -> Int # inRange :: (Int64, Int64) -> Int64 -> Bool # rangeSize :: (Int64, Int64) -> Int # unsafeRangeSize :: (Int64, Int64) -> Int #
Hashable Int64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int64 -> Int # hash :: Int64 -> Int #
ToJSON Int64
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Int64 -> Value # toEncoding :: Int64 -> Encoding # toJSONList :: [Int64] -> Value # toEncodingList :: [Int64] -> Encoding #
ToJSONKey Int64
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Int64 # toJSONKeyList :: ToJSONKeyFunction [Int64] #
FromJSON Int64
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int64 # parseJSONList :: Value -> Parser [Int64] #
FromJSONKey Int64
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Int64 # fromJSONKeyList :: FromJSONKeyFunction [Int64] #
PrintfArg Int64	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Int64 -> FieldFormatter # parseFormat :: Int64 -> ModifierParser #
Storable Int64	Since: base-2.1
Instance details Defined in Foreign.Storable Methods sizeOf :: Int64 -> Int # alignment :: Int64 -> Int # peekElemOff :: Ptr Int64 -> Int -> IO Int64 # pokeElemOff :: Ptr Int64 -> Int -> Int64 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int64 # pokeByteOff :: Ptr b -> Int -> Int64 -> IO () # peek :: Ptr Int64 -> IO Int64 # poke :: Ptr Int64 -> Int64 -> IO () #
Bits Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods (.&.) :: Int64 -> Int64 -> Int64 # (.\|.) :: Int64 -> Int64 -> Int64 # xor :: Int64 -> Int64 -> Int64 # complement :: Int64 -> Int64 # shift :: Int64 -> Int -> Int64 # rotate :: Int64 -> Int -> Int64 # zeroBits :: Int64 # bit :: Int -> Int64 # setBit :: Int64 -> Int -> Int64 # clearBit :: Int64 -> Int -> Int64 # complementBit :: Int64 -> Int -> Int64 # testBit :: Int64 -> Int -> Bool # bitSizeMaybe :: Int64 -> Maybe Int # bitSize :: Int64 -> Int # isSigned :: Int64 -> Bool # shiftL :: Int64 -> Int -> Int64 # unsafeShiftL :: Int64 -> Int -> Int64 # shiftR :: Int64 -> Int -> Int64 # unsafeShiftR :: Int64 -> Int -> Int64 # rotateL :: Int64 -> Int -> Int64 # rotateR :: Int64 -> Int -> Int64 # popCount :: Int64 -> Int #
FiniteBits Int64	Since: base-4.6.0.0
Instance details Defined in GHC.Int Methods finiteBitSize :: Int64 -> Int # countLeadingZeros :: Int64 -> Int # countTrailingZeros :: Int64 -> Int #
Binary Int64
Instance details Defined in Data.Binary.Class Methods put :: Int64 -> Put # get :: Get Int64 # putList :: [Int64] -> Put #
ToValue Int64
Instance details Defined in Text.Blaze Methods toValue :: Int64 -> AttributeValue # preEscapedToValue :: Int64 -> AttributeValue #
ToMarkup Int64
Instance details Defined in Text.Blaze Methods toMarkup :: Int64 -> Markup # preEscapedToMarkup :: Int64 -> Markup #
NFData Int64
Instance details Defined in Control.DeepSeq Methods rnf :: Int64 -> () #
ToConst Int64
Instance details Defined in Language.C.Quote.Base Methods toConst :: Int64 -> SrcLoc -> Const #
ToExp Int64
Instance details Defined in Language.C.Quote.Base Methods toExp :: Int64 -> SrcLoc -> Exp #
Pretty Int64
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: Int64 -> Doc # pprPrec :: Int -> Int64 -> Doc # pprList :: [Int64] -> Doc #
Variate Int64
Instance details Defined in System.Random.PCG.Class Methods uniform :: Generator g m => g -> m Int64 # uniformR :: Generator g m => (Int64, Int64) -> g -> m Int64 # uniformB :: Generator g m => Int64 -> g -> m Int64 #
Pretty Int64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int64 -> Doc ann # prettyList :: [Int64] -> Doc ann #
Prim Int64
Instance details Defined in Data.Primitive.Types Methods sizeOf# :: Int64 -> Int# # alignment# :: Int64 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Int64 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64 #) # writeByteArray# :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int64 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Int64 # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int64 #) # writeOffAddr# :: Addr# -> Int# -> Int64 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Int64 -> State# s -> State# s #
Uniform Int64
Instance details Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Int64 #
UniformRange Int64
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Int64, Int64) -> g -> m Int64 #
Unbox Int64
Instance details Defined in Data.Vector.Unboxed.Base
IsValue Int64 Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: Int64 -> PrimValue Source #
IntExp Int64 Source #
Instance details Defined in Futhark.Analysis.PrimExp
NumExp Int64 Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods fromInteger' :: Integer -> TPrimExp Int64 v Source #
IsPrimValue Int64 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int64 -> PrimValue Source #
Lift Int64
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int64 -> Q Exp # liftTyped :: Int64 -> Q (TExp Int64) #
IArray UArray Int64
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Int64 -> (i, i) # numElements :: Ix i => UArray i Int64 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int64)] -> UArray i Int64 unsafeAt :: Ix i => UArray i Int64 -> Int -> Int64 unsafeReplace :: Ix i => UArray i Int64 -> [(Int, Int64)] -> UArray i Int64 unsafeAccum :: Ix i => (Int64 -> e' -> Int64) -> UArray i Int64 -> [(Int, e')] -> UArray i Int64 unsafeAccumArray :: Ix i => (Int64 -> e' -> Int64) -> Int64 -> (i, i) -> [(Int, e')] -> UArray i Int64
UTF8Bytes ByteString Int64
Instance details Defined in Codec.Binary.UTF8.Generic Methods bsplit :: Int64 -> ByteString -> (ByteString, ByteString) # bdrop :: Int64 -> ByteString -> ByteString # buncons :: ByteString -> Maybe (Word8, ByteString) # elemIndex :: Word8 -> ByteString -> Maybe Int64 # empty :: ByteString # null :: ByteString -> Bool # pack :: [Word8] -> ByteString # tail :: ByteString -> ByteString #
Vector Vector Int64
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Int64 -> m (Vector Int64) # basicUnsafeThaw :: PrimMonad m => Vector Int64 -> m (Mutable Vector (PrimState m) Int64) # basicLength :: Vector Int64 -> Int # basicUnsafeSlice :: Int -> Int -> Vector Int64 -> Vector Int64 # basicUnsafeIndexM :: Monad m => Vector Int64 -> Int -> m Int64 # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Int64 -> Vector Int64 -> m () # elemseq :: Vector Int64 -> Int64 -> b -> b #
MVector MVector Int64
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int64 -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Int64 -> MVector s Int64 # basicOverlaps :: MVector s Int64 -> MVector s Int64 -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Int64) # basicInitialize :: PrimMonad m => MVector (PrimState m) Int64 -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Int64 -> m (MVector (PrimState m) Int64) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Int64 -> Int -> m Int64 # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Int64 -> Int -> Int64 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Int64 -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Int64 -> Int64 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Int64 -> MVector (PrimState m) Int64 -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Int64 -> MVector (PrimState m) Int64 -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Int64 -> Int -> m (MVector (PrimState m) Int64) #
Pretty (ShapeDecl Int64) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ShapeDecl Int64 -> Doc # pprPrec :: Int -> ShapeDecl Int64 -> Doc # pprList :: [ShapeDecl Int64] -> Doc #
MArray (STUArray s) Int64 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Int64 -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Int64 -> ST s Int newArray :: Ix i => (i, i) -> Int64 -> ST s (STUArray s i Int64) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int64) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int64) unsafeRead :: Ix i => STUArray s i Int64 -> Int -> ST s Int64 unsafeWrite :: Ix i => STUArray s i Int64 -> Int -> Int64 -> ST s ()
type Unsigned Int64
Instance details Defined in System.Random.PCG.Class type Unsigned Int64 = Word64
newtype Vector Int64
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Int64 = V_Int64 (Vector Int64)
newtype MVector s Int64
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Int64 = MV_Int64 (MVector s Int64)

Values

data IntValue Source #

An integer value.

Constructors

Int8Value !Int8
Int16Value !Int16
Int32Value !Int32
Int64Value !Int64

Instances

Instances details

Eq IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: IntValue -> IntValue -> Bool # (/=) :: IntValue -> IntValue -> Bool #
Ord IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: IntValue -> IntValue -> Ordering # (<) :: IntValue -> IntValue -> Bool # (<=) :: IntValue -> IntValue -> Bool # (>) :: IntValue -> IntValue -> Bool # (>=) :: IntValue -> IntValue -> Bool # max :: IntValue -> IntValue -> IntValue # min :: IntValue -> IntValue -> IntValue #
Show IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> IntValue -> ShowS # show :: IntValue -> String # showList :: [IntValue] -> ShowS #
Generic IntValue Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep IntValue :: Type -> Type # Methods from :: IntValue -> Rep IntValue x # to :: Rep IntValue x -> IntValue #
ToExp IntValue Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericC Methods toExp :: IntValue -> SrcLoc -> Exp #
Pretty IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: IntValue -> Doc # pprPrec :: Int -> IntValue -> Doc # pprList :: [IntValue] -> Doc #
SexpIso IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar IntValue #
IsValue IntValue Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: IntValue -> PrimValue Source #
type Rep IntValue Source #
Instance details Defined in Futhark.IR.Primitive type Rep IntValue = D1 ('MetaData "IntValue" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) ((C1 ('MetaCons "Int8Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int8)) :+: C1 ('MetaCons "Int16Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int16))) :+: (C1 ('MetaCons "Int32Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32)) :+: C1 ('MetaCons "Int64Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64))))

intValue :: Integral int => IntType -> int -> IntValue Source #

Create an IntValue from a type and an Integer.

intValueType :: IntValue -> IntType Source #

The type of an integer value.

valueIntegral :: Integral int => IntValue -> int Source #

Convert an IntValue to any Integral type.

data FloatValue Source #

A floating-point value.

Constructors

Float32Value !Float
Float64Value !Double

Instances

Instances details

Eq FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: FloatValue -> FloatValue -> Bool # (/=) :: FloatValue -> FloatValue -> Bool #
Ord FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: FloatValue -> FloatValue -> Ordering # (<) :: FloatValue -> FloatValue -> Bool # (<=) :: FloatValue -> FloatValue -> Bool # (>) :: FloatValue -> FloatValue -> Bool # (>=) :: FloatValue -> FloatValue -> Bool # max :: FloatValue -> FloatValue -> FloatValue # min :: FloatValue -> FloatValue -> FloatValue #
Show FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> FloatValue -> ShowS # show :: FloatValue -> String # showList :: [FloatValue] -> ShowS #
Generic FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep FloatValue :: Type -> Type # Methods from :: FloatValue -> Rep FloatValue x # to :: Rep FloatValue x -> FloatValue #
ToExp FloatValue Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericC Methods toExp :: FloatValue -> SrcLoc -> Exp #
Pretty FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: FloatValue -> Doc # pprPrec :: Int -> FloatValue -> Doc # pprList :: [FloatValue] -> Doc #
SexpIso FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar FloatValue #
IsValue FloatValue Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: FloatValue -> PrimValue Source #
type Rep FloatValue Source #
Instance details Defined in Futhark.IR.Primitive type Rep FloatValue = D1 ('MetaData "FloatValue" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (C1 ('MetaCons "Float32Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Float)) :+: C1 ('MetaCons "Float64Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))

floatValue :: Real num => FloatType -> num -> FloatValue Source #

Create a FloatValue from a type and a Rational.

floatValueType :: FloatValue -> FloatType Source #

The type of a floating-point value.

data PrimValue Source #

Non-array values.

Constructors

IntValue !IntValue
FloatValue !FloatValue
BoolValue !Bool
Checked	The only value of type `cert`.

Instances

Instances details

Eq PrimValue Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: PrimValue -> PrimValue -> Bool # (/=) :: PrimValue -> PrimValue -> Bool #
Ord PrimValue Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: PrimValue -> PrimValue -> Ordering # (<) :: PrimValue -> PrimValue -> Bool # (<=) :: PrimValue -> PrimValue -> Bool # (>) :: PrimValue -> PrimValue -> Bool # (>=) :: PrimValue -> PrimValue -> Bool # max :: PrimValue -> PrimValue -> PrimValue # min :: PrimValue -> PrimValue -> PrimValue #
Show PrimValue Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> PrimValue -> ShowS # show :: PrimValue -> String # showList :: [PrimValue] -> ShowS #
Generic PrimValue Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep PrimValue :: Type -> Type # Methods from :: PrimValue -> Rep PrimValue x # to :: Rep PrimValue x -> PrimValue #
ToExp PrimValue Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericC Methods toExp :: PrimValue -> SrcLoc -> Exp #
Pretty PrimValue Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: PrimValue -> Doc # pprPrec :: Int -> PrimValue -> Doc # pprList :: [PrimValue] -> Doc #
SexpIso PrimValue Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar PrimValue #
IsValue PrimValue Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: PrimValue -> PrimValue Source #
type Rep PrimValue Source #
Instance details Defined in Futhark.IR.Primitive type Rep PrimValue = D1 ('MetaData "PrimValue" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) ((C1 ('MetaCons "IntValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IntValue)) :+: C1 ('MetaCons "FloatValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FloatValue))) :+: (C1 ('MetaCons "BoolValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Checked" 'PrefixI 'False) (U1 :: Type -> Type)))

primValueType :: PrimValue -> PrimType Source #

The type of a basic value.

blankPrimValue :: PrimType -> PrimValue Source #

A "blank" value of the given primitive type - this is zero, or whatever is close to it. Don't depend on this value, but use it for e.g. creating arrays to be populated by do-loops.

Operations

data Overflow Source #

What to do in case of arithmetic overflow. Futhark's semantics are that overflow does wraparound, but for generated code (like address arithmetic), it can be beneficial for overflow to be undefined behaviour, as it allows better optimisation of things such as GPU kernels.

Note that all values of this type are considered equal for Eq and Ord.

Constructors

OverflowWrap
OverflowUndef

Instances

Instances details

Eq Overflow Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: Overflow -> Overflow -> Bool # (/=) :: Overflow -> Overflow -> Bool #
Ord Overflow Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: Overflow -> Overflow -> Ordering # (<) :: Overflow -> Overflow -> Bool # (<=) :: Overflow -> Overflow -> Bool # (>) :: Overflow -> Overflow -> Bool # (>=) :: Overflow -> Overflow -> Bool # max :: Overflow -> Overflow -> Overflow # min :: Overflow -> Overflow -> Overflow #
Show Overflow Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> Overflow -> ShowS # show :: Overflow -> String # showList :: [Overflow] -> ShowS #
Generic Overflow Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep Overflow :: Type -> Type # Methods from :: Overflow -> Rep Overflow x # to :: Rep Overflow x -> Overflow #
SexpIso Overflow Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar Overflow #
type Rep Overflow Source #
Instance details Defined in Futhark.IR.Primitive type Rep Overflow = D1 ('MetaData "Overflow" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (C1 ('MetaCons "OverflowWrap" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverflowUndef" 'PrefixI 'False) (U1 :: Type -> Type))

data Safety Source #

Whether something is safe or unsafe (mostly function calls, and in the context of whether operations are dynamically checked). When we inline an Unsafe function, we remove all safety checks in its body. The Ord instance picks Unsafe as being less than Safe.

For operations like integer division, a safe division will not explode the computer in case of division by zero, but instead return some unspecified value. This always involves a run-time check, so generally the unsafe variant is what the compiler will insert, but guarded by an explicit assertion elsewhere. Safe operations are useful when the optimiser wants to move e.g. a division to a location where the divisor may be zero, but where the result will only be used when it is non-zero (so it doesn't matter what result is provided with a zero divisor, as long as the program keeps running).

Constructors

Unsafe
Safe

Instances

Instances details

Eq Safety Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: Safety -> Safety -> Bool # (/=) :: Safety -> Safety -> Bool #
Ord Safety Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: Safety -> Safety -> Ordering # (<) :: Safety -> Safety -> Bool # (<=) :: Safety -> Safety -> Bool # (>) :: Safety -> Safety -> Bool # (>=) :: Safety -> Safety -> Bool # max :: Safety -> Safety -> Safety # min :: Safety -> Safety -> Safety #
Show Safety Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> Safety -> ShowS # show :: Safety -> String # showList :: [Safety] -> ShowS #
Generic Safety Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep Safety :: Type -> Type # Methods from :: Safety -> Rep Safety x # to :: Rep Safety x -> Safety #
SexpIso Safety Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar Safety #
type Rep Safety Source #
Instance details Defined in Futhark.IR.Primitive type Rep Safety = D1 ('MetaData "Safety" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (C1 ('MetaCons "Unsafe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Safe" 'PrefixI 'False) (U1 :: Type -> Type))

data UnOp Source #

Various unary operators. It is a bit ad-hoc what is a unary operator and what is a built-in function. Perhaps these should all go away eventually.

Constructors

Not	E.g., `! True == False`.
Complement IntType	E.g., `~(~1) = 1`.
Abs IntType	`abs(-2) = 2`.
FAbs FloatType	`fabs(-2.0) = 2.0`.
SSignum IntType	Signed sign function: `ssignum(-2)` = -1.
USignum IntType	Unsigned sign function: `usignum(2)` = 1.

Instances

Instances details

Eq UnOp Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
Ord UnOp Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: UnOp -> UnOp -> Ordering # (<) :: UnOp -> UnOp -> Bool # (<=) :: UnOp -> UnOp -> Bool # (>) :: UnOp -> UnOp -> Bool # (>=) :: UnOp -> UnOp -> Bool # max :: UnOp -> UnOp -> UnOp # min :: UnOp -> UnOp -> UnOp #
Show UnOp Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #
Generic UnOp Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep UnOp :: Type -> Type # Methods from :: UnOp -> Rep UnOp x # to :: Rep UnOp x -> UnOp #
Pretty UnOp Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: UnOp -> Doc # pprPrec :: Int -> UnOp -> Doc # pprList :: [UnOp] -> Doc #
SexpIso UnOp Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar UnOp #
type Rep UnOp Source #
Instance details Defined in Futhark.IR.Primitive type Rep UnOp = D1 ('MetaData "UnOp" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) ((C1 ('MetaCons "Not" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Complement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "Abs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)))) :+: (C1 ('MetaCons "FAbs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)) :+: (C1 ('MetaCons "SSignum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "USignum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)))))

allUnOps :: [UnOp] Source #

A list of all unary operators for all types.

data BinOp Source #

Binary operators. These correspond closely to the binary operators in LLVM. Most are parametrised by their expected input and output types.

Constructors

Add IntType Overflow	Integer addition.
FAdd FloatType	Floating-point addition.
Sub IntType Overflow	Integer subtraction.
FSub FloatType	Floating-point subtraction.
Mul IntType Overflow	Integer multiplication.
FMul FloatType	Floating-point multiplication.
UDiv IntType Safety	Unsigned integer division. Rounds towards negativity infinity. Note: this is different from LLVM.
UDivUp IntType Safety	Unsigned integer division. Rounds towards positive infinity.
SDiv IntType Safety	Signed integer division. Rounds towards negativity infinity. Note: this is different from LLVM.
SDivUp IntType Safety	Signed integer division. Rounds towards positive infinity.
FDiv FloatType	Floating-point division.
FMod FloatType	Floating-point modulus.
UMod IntType Safety	Unsigned integer modulus; the countepart to `UDiv`.
SMod IntType Safety	Signed integer modulus; the countepart to `SDiv`.
SQuot IntType Safety	Signed integer division. Rounds towards zero. This corresponds to the `sdiv` instruction in LLVM and integer division in C.
SRem IntType Safety	Signed integer division. Rounds towards zero. This corresponds to the `srem` instruction in LLVM and integer modulo in C.
SMin IntType	Returns the smallest of two signed integers.
UMin IntType	Returns the smallest of two unsigned integers.
FMin FloatType	Returns the smallest of two floating-point numbers.
SMax IntType	Returns the greatest of two signed integers.
UMax IntType	Returns the greatest of two unsigned integers.
FMax FloatType	Returns the greatest of two floating-point numbers.
Shl IntType	Left-shift.
LShr IntType	Logical right-shift, zero-extended.
AShr IntType	Arithmetic right-shift, sign-extended.
And IntType	Bitwise and.
Or IntType	Bitwise or.
Xor IntType	Bitwise exclusive-or.
Pow IntType	Integer exponentiation.
FPow FloatType	Floating-point exponentiation.
LogAnd	Boolean and - not short-circuiting.
LogOr	Boolean or - not short-circuiting.

Instances

Instances details

Eq BinOp Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Ord BinOp Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: BinOp -> BinOp -> Ordering # (<) :: BinOp -> BinOp -> Bool # (<=) :: BinOp -> BinOp -> Bool # (>) :: BinOp -> BinOp -> Bool # (>=) :: BinOp -> BinOp -> Bool # max :: BinOp -> BinOp -> BinOp # min :: BinOp -> BinOp -> BinOp #
Show BinOp Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Generic BinOp Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep BinOp :: Type -> Type # Methods from :: BinOp -> Rep BinOp x # to :: Rep BinOp x -> BinOp #
Pretty BinOp Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: BinOp -> Doc # pprPrec :: Int -> BinOp -> Doc # pprList :: [BinOp] -> Doc #
SexpIso BinOp Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar BinOp #
type Rep BinOp Source #
Instance details Defined in Futhark.IR.Primitive type Rep BinOp = D1 ('MetaData "BinOp" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (((((C1 ('MetaCons "Add" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Overflow)) :+: C1 ('MetaCons "FAdd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "Sub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Overflow)) :+: C1 ('MetaCons "FSub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)))) :+: ((C1 ('MetaCons "Mul" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Overflow)) :+: C1 ('MetaCons "FMul" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "UDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)) :+: C1 ('MetaCons "UDivUp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety))))) :+: (((C1 ('MetaCons "SDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)) :+: C1 ('MetaCons "SDivUp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety))) :+: (C1 ('MetaCons "FDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)) :+: C1 ('MetaCons "FMod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)))) :+: ((C1 ('MetaCons "UMod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)) :+: C1 ('MetaCons "SMod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety))) :+: (C1 ('MetaCons "SQuot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)) :+: C1 ('MetaCons "SRem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)))))) :+: ((((C1 ('MetaCons "SMin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "UMin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType))) :+: (C1 ('MetaCons "FMin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)) :+: C1 ('MetaCons "SMax" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)))) :+: ((C1 ('MetaCons "UMax" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "FMax" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "Shl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "LShr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType))))) :+: (((C1 ('MetaCons "AShr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "And" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType))) :+: (C1 ('MetaCons "Or" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "Xor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)))) :+: ((C1 ('MetaCons "Pow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "FPow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "LogAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogOr" 'PrefixI 'False) (U1 :: Type -> Type))))))

allBinOps :: [BinOp] Source #

A list of all binary operators for all types.

data ConvOp Source #

Conversion operators try to generalise the from t0 x to t1 instructions from LLVM.

Constructors

ZExt IntType IntType	Zero-extend the former integer type to the latter. If the new type is smaller, the result is a truncation.
SExt IntType IntType	Sign-extend the former integer type to the latter. If the new type is smaller, the result is a truncation.
FPConv FloatType FloatType	Convert value of the former floating-point type to the latter. If the new type is smaller, the result is a truncation.
FPToUI FloatType IntType	Convert a floating-point value to the nearest unsigned integer (rounding towards zero).
FPToSI FloatType IntType	Convert a floating-point value to the nearest signed integer (rounding towards zero).
UIToFP IntType FloatType	Convert an unsigned integer to a floating-point value.
SIToFP IntType FloatType	Convert a signed integer to a floating-point value.
IToB IntType	Convert an integer to a boolean value. Zero becomes false; anything else is true.
BToI IntType	Convert a boolean to an integer. True is converted to 1 and False to 0.

Instances

Instances details

Eq ConvOp Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: ConvOp -> ConvOp -> Bool # (/=) :: ConvOp -> ConvOp -> Bool #
Ord ConvOp Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: ConvOp -> ConvOp -> Ordering # (<) :: ConvOp -> ConvOp -> Bool # (<=) :: ConvOp -> ConvOp -> Bool # (>) :: ConvOp -> ConvOp -> Bool # (>=) :: ConvOp -> ConvOp -> Bool # max :: ConvOp -> ConvOp -> ConvOp # min :: ConvOp -> ConvOp -> ConvOp #
Show ConvOp Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> ConvOp -> ShowS # show :: ConvOp -> String # showList :: [ConvOp] -> ShowS #
Generic ConvOp Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep ConvOp :: Type -> Type # Methods from :: ConvOp -> Rep ConvOp x # to :: Rep ConvOp x -> ConvOp #
Pretty ConvOp Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: ConvOp -> Doc # pprPrec :: Int -> ConvOp -> Doc # pprList :: [ConvOp] -> Doc #
SexpIso ConvOp Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar ConvOp #
type Rep ConvOp Source #
Instance details Defined in Futhark.IR.Primitive type Rep ConvOp = D1 ('MetaData "ConvOp" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (((C1 ('MetaCons "ZExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "SExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType))) :+: (C1 ('MetaCons "FPConv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)) :+: C1 ('MetaCons "FPToUI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)))) :+: ((C1 ('MetaCons "FPToSI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "UIToFP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "SIToFP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)) :+: (C1 ('MetaCons "IToB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "BToI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType))))))

allConvOps :: [ConvOp] Source #

A list of all conversion operators for all types.

data CmpOp Source #

Comparison operators are like BinOps, but they always return a boolean value. The somewhat ugly constructor names are straight out of LLVM.

Constructors

CmpEq PrimType	All types equality.
CmpUlt IntType	Unsigned less than.
CmpUle IntType	Unsigned less than or equal.
CmpSlt IntType	Signed less than.
CmpSle IntType	Signed less than or equal.
FCmpLt FloatType	Floating-point less than.
FCmpLe FloatType	Floating-point less than or equal.
CmpLlt	Boolean less than.
CmpLle	Boolean less than or equal.

Instances

Instances details

Eq CmpOp Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: CmpOp -> CmpOp -> Bool # (/=) :: CmpOp -> CmpOp -> Bool #
Ord CmpOp Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: CmpOp -> CmpOp -> Ordering # (<) :: CmpOp -> CmpOp -> Bool # (<=) :: CmpOp -> CmpOp -> Bool # (>) :: CmpOp -> CmpOp -> Bool # (>=) :: CmpOp -> CmpOp -> Bool # max :: CmpOp -> CmpOp -> CmpOp # min :: CmpOp -> CmpOp -> CmpOp #
Show CmpOp Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> CmpOp -> ShowS # show :: CmpOp -> String # showList :: [CmpOp] -> ShowS #
Generic CmpOp Source #
Instance details Defined in Futhark.IR.Primitive Associated Types type Rep CmpOp :: Type -> Type # Methods from :: CmpOp -> Rep CmpOp x # to :: Rep CmpOp x -> CmpOp #
Pretty CmpOp Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: CmpOp -> Doc # pprPrec :: Int -> CmpOp -> Doc # pprList :: [CmpOp] -> Doc #
SexpIso CmpOp Source #
Instance details Defined in Futhark.IR.Primitive Methods sexpIso :: SexpGrammar CmpOp #
type Rep CmpOp Source #
Instance details Defined in Futhark.IR.Primitive type Rep CmpOp = D1 ('MetaData "CmpOp" "Futhark.IR.Primitive" "futhark-0.18.2-inplace" 'False) (((C1 ('MetaCons "CmpEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrimType)) :+: C1 ('MetaCons "CmpUlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType))) :+: (C1 ('MetaCons "CmpUle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "CmpSlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)))) :+: ((C1 ('MetaCons "CmpSle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntType)) :+: C1 ('MetaCons "FCmpLt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType))) :+: (C1 ('MetaCons "FCmpLe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FloatType)) :+: (C1 ('MetaCons "CmpLlt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CmpLle" 'PrefixI 'False) (U1 :: Type -> Type)))))