{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{- |
Description: x86 features as type-level booleans

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

Example:

> -- This function requires AVX2
> someFunction :: AVX2 ~ True => ...
>
> case sAVX2 of
>   STrue -> {- In this branch, AVX2 is True -} someFunction
>   SFalse -> {- In this branch, AVX2 is False -} error "AVX2 not available"
-}
module System.CPUFeatures.X86.TypeBool
  (AESNI, sAESNI
  ,AMX_BF16, sAMX_BF16
  ,AMX_FP16, sAMX_FP16
  ,AMX_INT8, sAMX_INT8
  ,AMX_TILE, sAMX_TILE
  ,AVX, sAVX
  ,AVX_VNNI, sAVX_VNNI
  ,AVX10_1, sAVX10_1
  ,AVX10_2, sAVX10_2
  ,AVX2, sAVX2
  ,AVX512_BF16, sAVX512_BF16
  ,AVX512_BITALG, sAVX512_BITALG
  ,AVX512_FP16, sAVX512_FP16
  ,AVX512_IFMA, sAVX512_IFMA
  ,AVX512_VBMI, sAVX512_VBMI
  ,AVX512_VBMI2, sAVX512_VBMI2
  ,AVX512_VNNI, sAVX512_VNNI
  ,AVX512_VPOPCNTDQ, sAVX512_VPOPCNTDQ
  ,AVX512BW, sAVX512BW
  ,AVX512CD, sAVX512CD
  ,AVX512DQ, sAVX512DQ
  ,AVX512F, sAVX512F
  ,AVX512VL, sAVX512VL
  ,BMI1, sBMI1
  ,BMI2, sBMI2
  ,F16C, sF16C
  ,FMA, sFMA
  ,GFNI, sGFNI
  ,PCLMULQDQ, sPCLMULQDQ
  ,POPCNT, sPOPCNT
  ,RDRAND, sRDRAND
  ,SHA, sSHA
  ,SSE3, sSSE3
  ,SSE4_1, sSSE4_1
  ,SSE4_2, sSSE4_2
  ,SSSE3, sSSSE3
  ,VAES, sVAES
  ,VPCLMULQDQ, sVPCLMULQDQ
  ,SBool(..)
  ) where
import System.CPUFeatures.X86.Bool
import System.CPUFeatures.Util

type family AESNI :: Bool
type family AMX_BF16 :: Bool
type family AMX_FP16 :: Bool
type family AMX_INT8 :: Bool
type family AMX_TILE :: Bool
type family AVX :: Bool
type family AVX_VNNI :: Bool
type family AVX10_1 :: Bool
type family AVX10_2 :: Bool
type family AVX2 :: Bool
type family AVX512_BF16 :: Bool
type family AVX512_BITALG :: Bool
type family AVX512_FP16 :: Bool
type family AVX512_IFMA :: Bool
type family AVX512_VBMI :: Bool
type family AVX512_VBMI2 :: Bool
type family AVX512_VNNI :: Bool
type family AVX512_VPOPCNTDQ :: Bool
type family AVX512BW :: Bool
type family AVX512CD :: Bool
type family AVX512DQ :: Bool
type family AVX512F :: Bool
type family AVX512VL :: Bool
type family BMI1 :: Bool
type family BMI2 :: Bool
type family F16C :: Bool
type family FMA :: Bool
type family GFNI :: Bool
type family PCLMULQDQ :: Bool
type family POPCNT :: Bool
type family RDRAND :: Bool
type family SHA :: Bool
type family SSE3 :: Bool
type family SSE4_1 :: Bool
type family SSE4_2 :: Bool
type family SSSE3 :: Bool
type family VAES :: Bool
type family VPCLMULQDQ :: Bool

sAESNI :: SBool AESNI
sAMX_BF16 :: SBool AMX_BF16
sAMX_FP16 :: SBool AMX_FP16
sAMX_INT8 :: SBool AMX_INT8
sAMX_TILE :: SBool AMX_TILE
sAVX :: SBool AVX
sAVX_VNNI :: SBool AVX_VNNI
sAVX10_1 :: SBool AVX10_1
sAVX10_2 :: SBool AVX10_2
sAVX2 :: SBool AVX2
sAVX512_BF16 :: SBool AVX512_BF16
sAVX512_BITALG :: SBool AVX512_BITALG
sAVX512_FP16 :: SBool AVX512_FP16
sAVX512_IFMA :: SBool AVX512_IFMA
sAVX512_VBMI :: SBool AVX512_VBMI
sAVX512_VBMI2 :: SBool AVX512_VBMI2
sAVX512_VNNI :: SBool AVX512_VNNI
sAVX512_VPOPCNTDQ :: SBool AVX512_VPOPCNTDQ
sAVX512BW :: SBool AVX512BW
sAVX512CD :: SBool AVX512CD
sAVX512DQ :: SBool AVX512DQ
sAVX512F :: SBool AVX512F
sAVX512VL :: SBool AVX512VL
sBMI1 :: SBool BMI1
sBMI2 :: SBool BMI2
sF16C :: SBool F16C
sFMA :: SBool FMA
sGFNI :: SBool GFNI
sPCLMULQDQ :: SBool PCLMULQDQ
sPOPCNT :: SBool POPCNT
sRDRAND :: SBool RDRAND
sSHA :: SBool SHA
sSSE3 :: SBool SSE3
sSSE4_1 :: SBool SSE4_1
sSSE4_2 :: SBool SSE4_2
sSSSE3 :: SBool SSSE3
sVAES :: SBool VAES
sVPCLMULQDQ :: SBool VPCLMULQDQ

sAESNI :: SBool AESNI
sAESNI = Bool -> SBool AESNI
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAESNI
sAMX_BF16 :: SBool AMX_BF16
sAMX_BF16 = Bool -> SBool AMX_BF16
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAMX_BF16
sAMX_FP16 :: SBool AMX_FP16
sAMX_FP16 = Bool -> SBool AMX_FP16
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAMX_FP16
sAMX_INT8 :: SBool AMX_INT8
sAMX_INT8 = Bool -> SBool AMX_INT8
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAMX_INT8
sAMX_TILE :: SBool AMX_TILE
sAMX_TILE = Bool -> SBool AMX_TILE
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAMX_TILE
sAVX :: SBool AVX
sAVX = Bool -> SBool AVX
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX
sAVX_VNNI :: SBool AVX_VNNI
sAVX_VNNI = Bool -> SBool AVX_VNNI
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX_VNNI
sAVX10_1 :: SBool AVX10_1
sAVX10_1 = Bool -> SBool AVX10_1
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX10_1
sAVX10_2 :: SBool AVX10_2
sAVX10_2 = Bool -> SBool AVX10_2
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX10_2
sAVX2 :: SBool AVX2
sAVX2 = Bool -> SBool AVX2
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX2
sAVX512_BF16 :: SBool AVX512_BF16
sAVX512_BF16 = Bool -> SBool AVX512_BF16
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_BF16
sAVX512_BITALG :: SBool AVX512_BITALG
sAVX512_BITALG = Bool -> SBool AVX512_BITALG
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_BITALG
sAVX512_FP16 :: SBool AVX512_FP16
sAVX512_FP16 = Bool -> SBool AVX512_FP16
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_FP16
sAVX512_IFMA :: SBool AVX512_IFMA
sAVX512_IFMA = Bool -> SBool AVX512_IFMA
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_IFMA
sAVX512_VBMI :: SBool AVX512_VBMI
sAVX512_VBMI = Bool -> SBool AVX512_VBMI
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_VBMI
sAVX512_VBMI2 :: SBool AVX512_VBMI2
sAVX512_VBMI2 = Bool -> SBool AVX512_VBMI2
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_VBMI2
sAVX512_VNNI :: SBool AVX512_VNNI
sAVX512_VNNI = Bool -> SBool AVX512_VNNI
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_VNNI
sAVX512_VPOPCNTDQ :: SBool AVX512_VPOPCNTDQ
sAVX512_VPOPCNTDQ = Bool -> SBool AVX512_VPOPCNTDQ
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512_VPOPCNTDQ
sAVX512BW :: SBool AVX512BW
sAVX512BW = Bool -> SBool AVX512BW
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512BW
sAVX512CD :: SBool AVX512CD
sAVX512CD = Bool -> SBool AVX512CD
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512CD
sAVX512DQ :: SBool AVX512DQ
sAVX512DQ = Bool -> SBool AVX512DQ
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512DQ
sAVX512F :: SBool AVX512F
sAVX512F = Bool -> SBool AVX512F
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512F
sAVX512VL :: SBool AVX512VL
sAVX512VL = Bool -> SBool AVX512VL
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bAVX512VL
sBMI1 :: SBool BMI1
sBMI1 = Bool -> SBool BMI1
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bBMI1
sBMI2 :: SBool BMI2
sBMI2 = Bool -> SBool BMI2
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bBMI2
sF16C :: SBool F16C
sF16C = Bool -> SBool F16C
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bF16C
sFMA :: SBool FMA
sFMA = Bool -> SBool FMA
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bFMA
sGFNI :: SBool GFNI
sGFNI = Bool -> SBool GFNI
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bGFNI
sPCLMULQDQ :: SBool PCLMULQDQ
sPCLMULQDQ = Bool -> SBool PCLMULQDQ
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bPCLMULQDQ
sPOPCNT :: SBool POPCNT
sPOPCNT = Bool -> SBool POPCNT
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bPOPCNT
sRDRAND :: SBool RDRAND
sRDRAND = Bool -> SBool RDRAND
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bRDRAND
sSHA :: SBool SHA
sSHA = Bool -> SBool SHA
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bSHA
sSSE3 :: SBool SSE3
sSSE3 = Bool -> SBool SSE3
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bSSE3
sSSE4_1 :: SBool SSE4_1
sSSE4_1 = Bool -> SBool SSE4_1
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bSSE4_1
sSSE4_2 :: SBool SSE4_2
sSSE4_2 = Bool -> SBool SSE4_2
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bSSE4_2
sSSSE3 :: SBool SSSE3
sSSSE3 = Bool -> SBool SSSE3
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bSSSE3
sVAES :: SBool VAES
sVAES = Bool -> SBool VAES
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bVAES
sVPCLMULQDQ :: SBool VPCLMULQDQ
sVPCLMULQDQ = Bool -> SBool VPCLMULQDQ
forall (a :: Bool). Bool -> SBool a
unsafeBoolToSBool Bool
bVPCLMULQDQ