Documentation

class AESNI ~ 'True => HasAESNI Source #

queryAESNI :: Maybe (Dict HasAESNI) Source #

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

queryAMX_BF16 :: Maybe (Dict HasAMX_BF16) Source #

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

queryAMX_FP16 :: Maybe (Dict HasAMX_FP16) Source #

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

queryAMX_INT8 :: Maybe (Dict HasAMX_INT8) Source #

class AMX_TILE ~ 'True => HasAMX_TILE Source #

queryAMX_TILE :: Maybe (Dict HasAMX_TILE) Source #

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

queryAVX :: Maybe (Dict HasAVX) Source #

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

queryAVX_VNNI :: Maybe (Dict HasAVX_VNNI) Source #

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

queryAVX10_1 :: Maybe (Dict HasAVX10_1) Source #

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

queryAVX10_2 :: Maybe (Dict HasAVX10_2) Source #

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

queryAVX2 :: Maybe (Dict HasAVX2) Source #

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

queryAVX512_BF16 :: Maybe (Dict HasAVX512_BF16) Source #

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

queryAVX512_BITALG :: Maybe (Dict HasAVX512_BITALG) Source #

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

queryAVX512_FP16 :: Maybe (Dict HasAVX512_FP16) Source #

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

queryAVX512_IFMA :: Maybe (Dict HasAVX512_IFMA) Source #

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

queryAVX512_VBMI :: Maybe (Dict HasAVX512_VBMI) Source #

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

queryAVX512_VBMI2 :: Maybe (Dict HasAVX512_VBMI2) Source #

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

queryAVX512_VNNI :: Maybe (Dict HasAVX512_VNNI) Source #

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

queryAVX512_VPOPCNTDQ :: Maybe (Dict HasAVX512_VPOPCNTDQ) Source #

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

queryAVX512BW :: Maybe (Dict HasAVX512BW) Source #

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

queryAVX512CD :: Maybe (Dict HasAVX512CD) Source #

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

queryAVX512DQ :: Maybe (Dict HasAVX512DQ) Source #

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

queryAVX512F :: Maybe (Dict HasAVX512F) Source #

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

queryAVX512VL :: Maybe (Dict HasAVX512VL) Source #

class BMI1 ~ 'True => HasBMI1 Source #

queryBMI1 :: Maybe (Dict HasBMI1) Source #

class BMI2 ~ 'True => HasBMI2 Source #

queryBMI2 :: Maybe (Dict HasBMI2) Source #

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

queryF16C :: Maybe (Dict HasF16C) Source #

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

queryFMA :: Maybe (Dict HasFMA) Source #

class GFNI ~ 'True => HasGFNI Source #

queryGFNI :: Maybe (Dict HasGFNI) Source #

class PCLMULQDQ ~ 'True => HasPCLMULQDQ Source #

queryPCLMULQDQ :: Maybe (Dict HasPCLMULQDQ) Source #

class POPCNT ~ 'True => HasPOPCNT Source #

queryPOPCNT :: Maybe (Dict HasPOPCNT) Source #

class RDRAND ~ 'True => HasRDRAND Source #

queryRDRAND :: Maybe (Dict HasRDRAND) Source #

class SHA ~ 'True => HasSHA Source #

querySHA :: Maybe (Dict HasSHA) Source #

class SSE3 ~ 'True => HasSSE3 Source #

querySSE3 :: Maybe (Dict HasSSE3) Source #

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

querySSE4_1 :: Maybe (Dict HasSSE4_1) Source #

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

querySSE4_2 :: Maybe (Dict HasSSE4_2) Source #

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

querySSSE3 :: Maybe (Dict HasSSSE3) Source #

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

queryVAES :: Maybe (Dict HasVAES) Source #

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

queryVPCLMULQDQ :: Maybe (Dict HasVPCLMULQDQ) Source #

unsafeAssumeAESNI :: (HasAESNI => a) -> a Source #

unsafeAssumeBMI1 :: (HasBMI1 => a) -> a Source #

unsafeAssumeBMI2 :: (HasBMI2 => a) -> a Source #

unsafeAssumeGFNI :: (HasGFNI => a) -> a Source #

unsafeAssumePCLMULQDQ :: (HasPCLMULQDQ => a) -> a Source #

unsafeAssumePOPCNT :: (HasPOPCNT => a) -> a Source #

unsafeAssumeRDRAND :: (HasRDRAND => a) -> a Source #

unsafeAssumeSHA :: (HasSHA => a) -> a Source #

unsafeAssumeSSE3 :: (HasSSE3 => a) -> a Source #

unsafeAssumeSSSE3 :: (HasSSSE3 => a) -> a Source #

unsafeAssumeSSE4_1 :: (HasSSE4_1 => a) -> a Source #

unsafeAssumeSSE4_2 :: (HasSSE4_2 => a) -> a Source #

unsafeAssumeAVX :: (HasAVX => a) -> a Source #

unsafeAssumeAVX2 :: (HasAVX2 => a) -> a Source #

unsafeAssumeF16C :: (HasF16C => a) -> a Source #

unsafeAssumeFMA :: (HasFMA => a) -> a Source #

unsafeAssumeAVX_VNNI :: (HasAVX_VNNI => a) -> a Source #

unsafeAssumeAVX512F :: (HasAVX512F => a) -> a Source #

unsafeAssumeAVX512VL :: (HasAVX512VL => a) -> a Source #

unsafeAssumeAVX512BW :: (HasAVX512BW => a) -> a Source #

unsafeAssumeAVX512DQ :: (HasAVX512DQ => a) -> a Source #

unsafeAssumeAVX512CD :: (HasAVX512CD => a) -> a Source #

unsafeAssumeAVX512_BF16 :: (HasAVX512_BF16 => a) -> a Source #

unsafeAssumeAVX512_BITALG :: (HasAVX512_BITALG => a) -> a Source #

unsafeAssumeAVX512_FP16 :: (HasAVX512_FP16 => a) -> a Source #

unsafeAssumeAVX512_IFMA :: (HasAVX512_IFMA => a) -> a Source #

unsafeAssumeAVX512_VBMI :: (HasAVX512_VBMI => a) -> a Source #

unsafeAssumeAVX512_VBMI2 :: (HasAVX512_VBMI2 => a) -> a Source #

unsafeAssumeAVX512_VNNI :: (HasAVX512_VNNI => a) -> a Source #

unsafeAssumeAVX512_VPOPCNTDQ :: (HasAVX512_VPOPCNTDQ => a) -> a Source #

unsafeAssumeAVX10_1 :: (HasAVX10_1 => a) -> a Source #

unsafeAssumeAVX10_2 :: (HasAVX10_2 => a) -> a Source #

unsafeAssumeVAES :: (HasVAES => a) -> a Source #

unsafeAssumeVPCLMULQDQ :: (HasVPCLMULQDQ => a) -> a Source #

unsafeAssumeAMX_TILE :: (HasAMX_TILE => a) -> a Source #

unsafeAssumeAMX_BF16 :: (HasAMX_BF16 => a) -> a Source #

unsafeAssumeAMX_FP16 :: (HasAMX_FP16 => a) -> a Source #

unsafeAssumeAMX_INT8 :: (HasAMX_INT8 => a) -> a Source #

data Dict c Source #