Safe Haskell	None
Language	GHC2021

System.CPUFeatures.X86.Constraint

Description

This module provides the constraint interface to detect CPU features. You can mark your function with Has<FEATURE NAME> => to indicate that it requires a specific CPU feature. You can detect the availability and get the constraint Has<FEATURE NAME> by pattern-matching on the variable query<FEATURE NAME>.

Example:

-- This function requires AVX2
someFunction :: HasAVX2 => ...

case queryAVX2 of
  Just Dict -> {- In this branch, HasAVX2 is available -} someFunction
  Nothing -> {- In this branch, HasAVX2 is not available -} error "AVX2 not available"

Documentation

class AESNI ~ 'True => HasAESNI Source #

Instances

Instances details

AESNI ~ 'True => HasAESNI Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAESNI :: Maybe (Dict HasAESNI) Source #

class (AMX_BF16 ~ 'True, HasAMX_TILE) => HasAMX_BF16 Source #

Instances

Instances details

(AMX_BF16 ~ 'True, HasAMX_TILE) => HasAMX_BF16 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAMX_BF16 :: Maybe (Dict HasAMX_BF16) Source #

class (AMX_FP16 ~ 'True, HasAMX_TILE) => HasAMX_FP16 Source #

Instances

Instances details

(AMX_FP16 ~ 'True, HasAMX_TILE) => HasAMX_FP16 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAMX_FP16 :: Maybe (Dict HasAMX_FP16) Source #

class (AMX_INT8 ~ 'True, HasAMX_TILE) => HasAMX_INT8 Source #

Instances

Instances details

(AMX_INT8 ~ 'True, HasAMX_TILE) => HasAMX_INT8 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAMX_INT8 :: Maybe (Dict HasAMX_INT8) Source #

class AMX_TILE ~ 'True => HasAMX_TILE Source #

Instances

Instances details

AMX_TILE ~ 'True => HasAMX_TILE Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAMX_TILE :: Maybe (Dict HasAMX_TILE) Source #

class (AVX ~ 'True, HasSSE4_2) => HasAVX Source #

Instances

Instances details

(AVX ~ 'True, HasSSE4_2) => HasAVX Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX :: Maybe (Dict HasAVX) Source #

class (AVX_VNNI ~ 'True, HasAVX2) => HasAVX_VNNI Source #

Instances

Instances details

(AVX_VNNI ~ 'True, HasAVX2) => HasAVX_VNNI Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX_VNNI :: Maybe (Dict HasAVX_VNNI) Source #

class (AVX10_1 ~ 'True, HasAVX2, HasF16C, HasFMA) => HasAVX10_1 Source #

Instances

Instances details

(AVX10_1 ~ 'True, HasAVX2, HasF16C, HasFMA) => HasAVX10_1 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX10_1 :: Maybe (Dict HasAVX10_1) Source #

class (AVX10_2 ~ 'True, HasAVX10_1) => HasAVX10_2 Source #

Instances

Instances details

(AVX10_2 ~ 'True, HasAVX10_1) => HasAVX10_2 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX10_2 :: Maybe (Dict HasAVX10_2) Source #

class (AVX2 ~ 'True, HasAVX) => HasAVX2 Source #

Instances

Instances details

(AVX2 ~ 'True, HasAVX) => HasAVX2 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX2 :: Maybe (Dict HasAVX2) Source #

class (AVX512_BF16 ~ 'True, HasAVX512BW) => HasAVX512_BF16 Source #

Instances

Instances details

(AVX512_BF16 ~ 'True, HasAVX512BW) => HasAVX512_BF16 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_BF16 :: Maybe (Dict HasAVX512_BF16) Source #

class (AVX512_BITALG ~ 'True, HasAVX512BW) => HasAVX512_BITALG Source #

Instances

Instances details

(AVX512_BITALG ~ 'True, HasAVX512BW) => HasAVX512_BITALG Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_BITALG :: Maybe (Dict HasAVX512_BITALG) Source #

class (AVX512_FP16 ~ 'True, HasAVX512BW) => HasAVX512_FP16 Source #

Instances

Instances details

(AVX512_FP16 ~ 'True, HasAVX512BW) => HasAVX512_FP16 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_FP16 :: Maybe (Dict HasAVX512_FP16) Source #

class (AVX512_IFMA ~ 'True, HasAVX512F) => HasAVX512_IFMA Source #

Instances

Instances details

(AVX512_IFMA ~ 'True, HasAVX512F) => HasAVX512_IFMA Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_IFMA :: Maybe (Dict HasAVX512_IFMA) Source #

class (AVX512_VBMI ~ 'True, HasAVX512BW) => HasAVX512_VBMI Source #

Instances

Instances details

(AVX512_VBMI ~ 'True, HasAVX512BW) => HasAVX512_VBMI Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_VBMI :: Maybe (Dict HasAVX512_VBMI) Source #

class (AVX512_VBMI2 ~ 'True, HasAVX512BW) => HasAVX512_VBMI2 Source #

Instances

Instances details

(AVX512_VBMI2 ~ 'True, HasAVX512BW) => HasAVX512_VBMI2 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_VBMI2 :: Maybe (Dict HasAVX512_VBMI2) Source #

class (AVX512_VNNI ~ 'True, HasAVX512F) => HasAVX512_VNNI Source #

Instances

Instances details

(AVX512_VNNI ~ 'True, HasAVX512F) => HasAVX512_VNNI Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_VNNI :: Maybe (Dict HasAVX512_VNNI) Source #

class (AVX512_VPOPCNTDQ ~ 'True, HasAVX512F) => HasAVX512_VPOPCNTDQ Source #

Instances

Instances details

(AVX512_VPOPCNTDQ ~ 'True, HasAVX512F) => HasAVX512_VPOPCNTDQ Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512_VPOPCNTDQ :: Maybe (Dict HasAVX512_VPOPCNTDQ) Source #

class (AVX512BW ~ 'True, HasAVX512F) => HasAVX512BW Source #

Instances

Instances details

(AVX512BW ~ 'True, HasAVX512F) => HasAVX512BW Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512BW :: Maybe (Dict HasAVX512BW) Source #

class (AVX512CD ~ 'True, HasAVX512F) => HasAVX512CD Source #

Instances

Instances details

(AVX512CD ~ 'True, HasAVX512F) => HasAVX512CD Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512CD :: Maybe (Dict HasAVX512CD) Source #

class (AVX512DQ ~ 'True, HasAVX512F) => HasAVX512DQ Source #

Instances

Instances details

(AVX512DQ ~ 'True, HasAVX512F) => HasAVX512DQ Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512DQ :: Maybe (Dict HasAVX512DQ) Source #

class (AVX512F ~ 'True, HasAVX2, HasF16C, HasFMA) => HasAVX512F Source #

Instances

Instances details

(AVX512F ~ 'True, HasAVX2, HasF16C, HasFMA) => HasAVX512F Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512F :: Maybe (Dict HasAVX512F) Source #

class (AVX512VL ~ 'True, HasAVX512F) => HasAVX512VL Source #

Instances

Instances details

(AVX512VL ~ 'True, HasAVX512F) => HasAVX512VL Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryAVX512VL :: Maybe (Dict HasAVX512VL) Source #

class BMI1 ~ 'True => HasBMI1 Source #

Instances

Instances details

BMI1 ~ 'True => HasBMI1 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryBMI1 :: Maybe (Dict HasBMI1) Source #

class BMI2 ~ 'True => HasBMI2 Source #

Instances

Instances details

BMI2 ~ 'True => HasBMI2 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryBMI2 :: Maybe (Dict HasBMI2) Source #

class (F16C ~ 'True, HasAVX) => HasF16C Source #

Instances

Instances details

(F16C ~ 'True, HasAVX) => HasF16C Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryF16C :: Maybe (Dict HasF16C) Source #

class (FMA ~ 'True, HasAVX) => HasFMA Source #

Instances

Instances details

(FMA ~ 'True, HasAVX) => HasFMA Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryFMA :: Maybe (Dict HasFMA) Source #

class GFNI ~ 'True => HasGFNI Source #

Instances

Instances details

GFNI ~ 'True => HasGFNI Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryGFNI :: Maybe (Dict HasGFNI) Source #

class PCLMULQDQ ~ 'True => HasPCLMULQDQ Source #

Instances

Instances details

PCLMULQDQ ~ 'True => HasPCLMULQDQ Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryPCLMULQDQ :: Maybe (Dict HasPCLMULQDQ) Source #

class POPCNT ~ 'True => HasPOPCNT Source #

Instances

Instances details

POPCNT ~ 'True => HasPOPCNT Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryPOPCNT :: Maybe (Dict HasPOPCNT) Source #

class RDRAND ~ 'True => HasRDRAND Source #

Instances

Instances details

RDRAND ~ 'True => HasRDRAND Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryRDRAND :: Maybe (Dict HasRDRAND) Source #

class SHA ~ 'True => HasSHA Source #

Instances

Instances details

SHA ~ 'True => HasSHA Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

querySHA :: Maybe (Dict HasSHA) Source #

class SSE3 ~ 'True => HasSSE3 Source #

Instances

Instances details

SSE3 ~ 'True => HasSSE3 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

querySSE3 :: Maybe (Dict HasSSE3) Source #

class (SSE4_1 ~ 'True, HasSSSE3) => HasSSE4_1 Source #

Instances

Instances details

(SSE4_1 ~ 'True, HasSSSE3) => HasSSE4_1 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

querySSE4_1 :: Maybe (Dict HasSSE4_1) Source #

class (SSE4_2 ~ 'True, HasSSE4_1) => HasSSE4_2 Source #

Instances

Instances details

(SSE4_2 ~ 'True, HasSSE4_1) => HasSSE4_2 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

querySSE4_2 :: Maybe (Dict HasSSE4_2) Source #

class (SSSE3 ~ 'True, HasSSE3) => HasSSSE3 Source #

Instances

Instances details

(SSSE3 ~ 'True, HasSSE3) => HasSSSE3 Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

querySSSE3 :: Maybe (Dict HasSSSE3) Source #

class (VAES ~ 'True, HasAVX2, HasAESNI) => HasVAES Source #

Instances

Instances details

(VAES ~ 'True, HasAVX2, HasAESNI) => HasVAES Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryVAES :: Maybe (Dict HasVAES) Source #

class (VPCLMULQDQ ~ 'True, HasAVX, HasPCLMULQDQ) => HasVPCLMULQDQ Source #

Instances

Instances details

(VPCLMULQDQ ~ 'True, HasAVX, HasPCLMULQDQ) => HasVPCLMULQDQ Source #
Instance details Defined in System.CPUFeatures.X86.Constraint.Unsafe

queryVPCLMULQDQ :: Maybe (Dict HasVPCLMULQDQ) Source #

data Dict c Source #

Constructors

c => Dict