| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
System.CPUFeatures.RISCV.TypeBool
Description
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 the Vector extension
someFunction :: V ~ True => ...
case sV of
STrue -> {- In this branch, V is True -} someFunction
SFalse -> {- In this branch, V is False -} error "Vector extension not available"Documentation
type family Zihintpause :: Bool Source #