Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Futhark.IR.Prop.Constants
Description
Possibly convenient facilities for constructing constants.
Documentation
class IsValue a where Source #
If a Haskell type is an instance of IsValue
, it means that a
value of that type can be converted to a Futhark PrimValue
.
This is intended to cut down on boilerplate when writing compiler
code - for example, you'll quickly grow tired of writing Constant
(LogVal True) loc
.
Instances
IsValue Int16 Source # | |
IsValue Int32 Source # | |
IsValue Int64 Source # | |
IsValue Int8 Source # | |
IsValue Word16 Source # | |
IsValue Word32 Source # | |
IsValue Word64 Source # | |
IsValue Word8 Source # | |
IsValue FloatValue Source # | |
Defined in Futhark.IR.Prop.Constants Methods value :: FloatValue -> PrimValue Source # | |
IsValue IntValue Source # | |
IsValue PrimValue Source # | |
IsValue Bool Source # | |
IsValue Double Source # | |
IsValue Float Source # | |