| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Agda.Builtin.Char
Documentation
d_primIsLower_8 :: Char -> Bool #
d_primIsDigit_10 :: Char -> Bool #
d_primIsAlpha_12 :: Char -> Bool #
d_primIsSpace_14 :: Char -> Bool #
d_primIsAscii_16 :: Char -> Bool #
d_primIsLatin1_18 :: Char -> Bool #
d_primIsPrint_20 :: Char -> Bool #
d_primIsHexDigit_22 :: Char -> Bool #
d_primToUpper_24 :: Char -> Char #
d_primToLower_26 :: Char -> Char #
d_primCharToNat_28 :: Char -> Integer #
d_primNatToChar_30 :: Integer -> Char #
d_primCharEquality_32 :: Char -> Char -> Bool #