Safe HaskellNone

MAlonzo.Code.Agda.Builtin.Char

Documentation

type T_Char_6 = Char Source #

d_primIsLower_8 :: Char -> Bool Source #

d_primIsDigit_10 :: Char -> Bool Source #

d_primIsAlpha_12 :: Char -> Bool Source #

d_primIsSpace_14 :: Char -> Bool Source #

d_primIsAscii_16 :: Char -> Bool Source #

d_primIsLatin1_18 :: Char -> Bool Source #

d_primIsPrint_20 :: Char -> Bool Source #

d_primIsHexDigit_22 :: Char -> Bool Source #

d_primToUpper_24 :: Char -> Char Source #

d_primToLower_26 :: Char -> Char Source #

d_primCharToNat_28 :: Char -> Integer Source #

d_primNatToChar_30 :: Integer -> Char Source #

d_primCharEquality_32 :: Char -> Char -> Bool Source #