Documentation

class FEAT_AES ~ 'True => HasFEAT_AES Source #

queryFEAT_AES :: Maybe (Dict HasFEAT_AES) Source #

class FEAT_AFP ~ 'True => HasFEAT_AFP Source #

queryFEAT_AFP :: Maybe (Dict HasFEAT_AFP) Source #

class FEAT_BF16 ~ 'True => HasFEAT_BF16 Source #

queryFEAT_BF16 :: Maybe (Dict HasFEAT_BF16) Source #

class FEAT_BTI ~ 'True => HasFEAT_BTI Source #

queryFEAT_BTI :: Maybe (Dict HasFEAT_BTI) Source #

class FEAT_CSV2 ~ 'True => HasFEAT_CSV2 Source #

queryFEAT_CSV2 :: Maybe (Dict HasFEAT_CSV2) Source #

class FEAT_CSV3 ~ 'True => HasFEAT_CSV3 Source #

queryFEAT_CSV3 :: Maybe (Dict HasFEAT_CSV3) Source #

class FEAT_DIT ~ 'True => HasFEAT_DIT Source #

queryFEAT_DIT :: Maybe (Dict HasFEAT_DIT) Source #

class FEAT_DotProd ~ 'True => HasFEAT_DotProd Source #

queryFEAT_DotProd :: Maybe (Dict HasFEAT_DotProd) Source #

class FEAT_DPB ~ 'True => HasFEAT_DPB Source #

queryFEAT_DPB :: Maybe (Dict HasFEAT_DPB) Source #

class FEAT_DPB2 ~ 'True => HasFEAT_DPB2 Source #

queryFEAT_DPB2 :: Maybe (Dict HasFEAT_DPB2) Source #

class FEAT_ECV ~ 'True => HasFEAT_ECV Source #

queryFEAT_ECV :: Maybe (Dict HasFEAT_ECV) Source #

class FEAT_FCMA ~ 'True => HasFEAT_FCMA Source #

queryFEAT_FCMA :: Maybe (Dict HasFEAT_FCMA) Source #

class FEAT_FHM ~ 'True => HasFEAT_FHM Source #

queryFEAT_FHM :: Maybe (Dict HasFEAT_FHM) Source #

class FEAT_FlagM ~ 'True => HasFEAT_FlagM Source #

queryFEAT_FlagM :: Maybe (Dict HasFEAT_FlagM) Source #

class FEAT_FlagM2 ~ 'True => HasFEAT_FlagM2 Source #

queryFEAT_FlagM2 :: Maybe (Dict HasFEAT_FlagM2) Source #

class FEAT_FP16 ~ 'True => HasFEAT_FP16 Source #

queryFEAT_FP16 :: Maybe (Dict HasFEAT_FP16) Source #

class FEAT_FPAC ~ 'True => HasFEAT_FPAC Source #

queryFEAT_FPAC :: Maybe (Dict HasFEAT_FPAC) Source #

class FEAT_FRINTTS ~ 'True => HasFEAT_FRINTTS Source #

queryFEAT_FRINTTS :: Maybe (Dict HasFEAT_FRINTTS) Source #

class FEAT_I8MM ~ 'True => HasFEAT_I8MM Source #

queryFEAT_I8MM :: Maybe (Dict HasFEAT_I8MM) Source #

class FEAT_JSCVT ~ 'True => HasFEAT_JSCVT Source #

queryFEAT_JSCVT :: Maybe (Dict HasFEAT_JSCVT) Source #

class FEAT_LRCPC ~ 'True => HasFEAT_LRCPC Source #

queryFEAT_LRCPC :: Maybe (Dict HasFEAT_LRCPC) Source #

class FEAT_LRCPC2 ~ 'True => HasFEAT_LRCPC2 Source #

queryFEAT_LRCPC2 :: Maybe (Dict HasFEAT_LRCPC2) Source #

class FEAT_LSE ~ 'True => HasFEAT_LSE Source #

queryFEAT_LSE :: Maybe (Dict HasFEAT_LSE) Source #

class FEAT_LSE2 ~ 'True => HasFEAT_LSE2 Source #

queryFEAT_LSE2 :: Maybe (Dict HasFEAT_LSE2) Source #

class FEAT_PAuth ~ 'True => HasFEAT_PAuth Source #

queryFEAT_PAuth :: Maybe (Dict HasFEAT_PAuth) Source #

class FEAT_PAuth2 ~ 'True => HasFEAT_PAuth2 Source #

queryFEAT_PAuth2 :: Maybe (Dict HasFEAT_PAuth2) Source #

class FEAT_PMULL ~ 'True => HasFEAT_PMULL Source #

queryFEAT_PMULL :: Maybe (Dict HasFEAT_PMULL) Source #

class FEAT_RDM ~ 'True => HasFEAT_RDM Source #

queryFEAT_RDM :: Maybe (Dict HasFEAT_RDM) Source #

class FEAT_RPRES ~ 'True => HasFEAT_RPRES Source #

queryFEAT_RPRES :: Maybe (Dict HasFEAT_RPRES) Source #

class FEAT_SB ~ 'True => HasFEAT_SB Source #

queryFEAT_SB :: Maybe (Dict HasFEAT_SB) Source #

class FEAT_SHA1 ~ 'True => HasFEAT_SHA1 Source #

queryFEAT_SHA1 :: Maybe (Dict HasFEAT_SHA1) Source #

class FEAT_SHA256 ~ 'True => HasFEAT_SHA256 Source #

queryFEAT_SHA256 :: Maybe (Dict HasFEAT_SHA256) Source #

class FEAT_SHA3 ~ 'True => HasFEAT_SHA3 Source #

queryFEAT_SHA3 :: Maybe (Dict HasFEAT_SHA3) Source #

class FEAT_SHA512 ~ 'True => HasFEAT_SHA512 Source #

queryFEAT_SHA512 :: Maybe (Dict HasFEAT_SHA512) Source #

class FEAT_SME ~ 'True => HasFEAT_SME Source #

queryFEAT_SME :: Maybe (Dict HasFEAT_SME) Source #

class FEAT_SME_F64F64 ~ 'True => HasFEAT_SME_F64F64 Source #

queryFEAT_SME_F64F64 :: Maybe (Dict HasFEAT_SME_F64F64) Source #

class FEAT_SME_I16I64 ~ 'True => HasFEAT_SME_I16I64 Source #

queryFEAT_SME_I16I64 :: Maybe (Dict HasFEAT_SME_I16I64) Source #

class FEAT_SME2 ~ 'True => HasFEAT_SME2 Source #

queryFEAT_SME2 :: Maybe (Dict HasFEAT_SME2) Source #

class FEAT_SPECRES ~ 'True => HasFEAT_SPECRES Source #

queryFEAT_SPECRES :: Maybe (Dict HasFEAT_SPECRES) Source #

class FEAT_SSBS ~ 'True => HasFEAT_SSBS Source #

queryFEAT_SSBS :: Maybe (Dict HasFEAT_SSBS) Source #

class FEAT_SVE ~ 'True => HasFEAT_SVE Source #

queryFEAT_SVE :: Maybe (Dict HasFEAT_SVE) Source #

class FEAT_SVE2 ~ 'True => HasFEAT_SVE2 Source #

queryFEAT_SVE2 :: Maybe (Dict HasFEAT_SVE2) Source #

class FEAT_WFxT ~ 'True => HasFEAT_WFxT Source #

queryFEAT_WFxT :: Maybe (Dict HasFEAT_WFxT) Source #

unsafeAssumeFEAT_AES :: (HasFEAT_AES => a) -> a Source #

unsafeAssumeFEAT_AFP :: (HasFEAT_AFP => a) -> a Source #

unsafeAssumeFEAT_BF16 :: (HasFEAT_BF16 => a) -> a Source #

unsafeAssumeFEAT_BTI :: (HasFEAT_BTI => a) -> a Source #

unsafeAssumeFEAT_CSV2 :: (HasFEAT_CSV2 => a) -> a Source #

unsafeAssumeFEAT_CSV3 :: (HasFEAT_CSV3 => a) -> a Source #

unsafeAssumeFEAT_DIT :: (HasFEAT_DIT => a) -> a Source #

unsafeAssumeFEAT_DotProd :: (HasFEAT_DotProd => a) -> a Source #

unsafeAssumeFEAT_DPB :: (HasFEAT_DPB => a) -> a Source #

unsafeAssumeFEAT_DPB2 :: (HasFEAT_DPB2 => a) -> a Source #

unsafeAssumeFEAT_ECV :: (HasFEAT_ECV => a) -> a Source #

unsafeAssumeFEAT_FCMA :: (HasFEAT_FCMA => a) -> a Source #

unsafeAssumeFEAT_FHM :: (HasFEAT_FHM => a) -> a Source #

unsafeAssumeFEAT_FlagM :: (HasFEAT_FlagM => a) -> a Source #

unsafeAssumeFEAT_FlagM2 :: (HasFEAT_FlagM2 => a) -> a Source #

unsafeAssumeFEAT_FP16 :: (HasFEAT_FP16 => a) -> a Source #

unsafeAssumeFEAT_FPAC :: (HasFEAT_FPAC => a) -> a Source #

unsafeAssumeFEAT_FRINTTS :: (HasFEAT_FRINTTS => a) -> a Source #

unsafeAssumeFEAT_I8MM :: (HasFEAT_I8MM => a) -> a Source #

unsafeAssumeFEAT_JSCVT :: (HasFEAT_JSCVT => a) -> a Source #

unsafeAssumeFEAT_LRCPC :: (HasFEAT_LRCPC => a) -> a Source #

unsafeAssumeFEAT_LRCPC2 :: (HasFEAT_LRCPC2 => a) -> a Source #

unsafeAssumeFEAT_LSE :: (HasFEAT_LSE => a) -> a Source #

unsafeAssumeFEAT_LSE2 :: (HasFEAT_LSE2 => a) -> a Source #

unsafeAssumeFEAT_PAuth :: (HasFEAT_PAuth => a) -> a Source #

unsafeAssumeFEAT_PAuth2 :: (HasFEAT_PAuth2 => a) -> a Source #

unsafeAssumeFEAT_PMULL :: (HasFEAT_PMULL => a) -> a Source #

unsafeAssumeFEAT_RDM :: (HasFEAT_RDM => a) -> a Source #

unsafeAssumeFEAT_RPRES :: (HasFEAT_RPRES => a) -> a Source #

unsafeAssumeFEAT_SB :: (HasFEAT_SB => a) -> a Source #

unsafeAssumeFEAT_SHA1 :: (HasFEAT_SHA1 => a) -> a Source #

unsafeAssumeFEAT_SHA256 :: (HasFEAT_SHA256 => a) -> a Source #

unsafeAssumeFEAT_SHA3 :: (HasFEAT_SHA3 => a) -> a Source #

unsafeAssumeFEAT_SHA512 :: (HasFEAT_SHA512 => a) -> a Source #

unsafeAssumeFEAT_SME :: (HasFEAT_SME => a) -> a Source #

unsafeAssumeFEAT_SME_F64F64 :: (HasFEAT_SME_F64F64 => a) -> a Source #

unsafeAssumeFEAT_SME_I16I64 :: (HasFEAT_SME_I16I64 => a) -> a Source #

unsafeAssumeFEAT_SME2 :: (HasFEAT_SME2 => a) -> a Source #

unsafeAssumeFEAT_SPECRES :: (HasFEAT_SPECRES => a) -> a Source #

unsafeAssumeFEAT_SSBS :: (HasFEAT_SSBS => a) -> a Source #

unsafeAssumeFEAT_SVE :: (HasFEAT_SVE => a) -> a Source #

unsafeAssumeFEAT_SVE2 :: (HasFEAT_SVE2 => a) -> a Source #

unsafeAssumeFEAT_WFxT :: (HasFEAT_WFxT => a) -> a Source #

data Dict c Source #